ベキ級数イデアルのGrÖbner基底

• Item type: SIG Technical Reports(1)
• 公開日: 1985-11-13
• タイトル: ベキ級数イデアルのGrÖbner基底
• タイトル / 言語: en
• タイトル: GRÖBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
• 言語: eng
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 日大
• 著者所属: 都立大
• 著者所属: 理研
• 著者所属(英): en
• 著者所属(英): Department of Mathematics, Nihon University
• 著者所属(英): en
• 著者所属(英): Department of Mathematics, Tokyo Metropolitan University
• 著者所属(英): en
• 著者所属(英): The Institute of Physical and Chemical Research
• 著者名: 小林, 英恒; 古川, 昭夫; 佐々木, 建昭
• 著者名(英): H., Kobayashi; A., Furukawa; T., Sasaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: This paper develops a theory of Grobner basis of ideal of convergent power series. The basis is constructed by calculating "S-power series" successively where the S-power series is an analogue of S-polynomial and constructed so as to cancel the head terms of initial polynomials of two power series. By using the finite generation property of monoideal it is proved that a finite number of successive constructions of S-power series provide us a Grobner basis of power series ideal.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper develops a theory of Grobner basis of ideal of convergent power series. The basis is constructed by calculating "S-power series" successively, where the S-power series is an analogue of S-polynomial and constructed so as to cancel the head terms of initial polynomials of two power series. By using the finite generation property of monoideal, it is proved that a finite number of successive constructions of S-power series provide us a Grobner basis of power series ideal.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1985, 号 47(1985-PRO-034), p. 1-8, 発行日 1985-11-13
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会