文献

J-GLOBAL ID：201902240506256685   整理番号：19A1767982

多変量Hermite二次形式について【JST・京大機械翻訳】

On Multivariate Hermitian Quadratic Forms

著者 (3件)： Fukasaku Ryoya (Tokyo University of Science, Tokyo, Japan) ,  Iwane Hidenao (Fujitsu Laboratories LTD/National Institute of Informatics, Kanagawa, Japan) ,  Sato Yosuke (Tokyo University of Science, Tokyo, Japan)
資料名： Mathematics in Computer Science  (Mathematics in Computer Science)
巻： 13  号： 1-2  ページ： 79-93  発行年： 2019年 
JST資料番号： W4715A  ISSN： 1661-8270  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 多変量Hermite二次形式は,Vによって導入された包括的Grobnerシステムの計算に基づく実際の量子化器除去アルゴリズムにおいて重要な役割を果たす。Weispfenningと著者らによってさらに改善した。著者らのアルゴリズムは,パラメトリック多項式リングで理想的なある種の飽和の計算を必要とする。本論文では,より詳細に多変量Hermite二次形式を研究し,パラメトリック多項式リングにおいて特別な重要性を持ついくつかの事実を示した。著者らの結果は,飽和理想を計算するために効率的方法を持つことを可能にして,それは著者らの実際の量子化器除去ソフトウェアの劇的な改良をもたらした。Copyright 2018 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  *二次形式 ,  量子化器 ,  アルゴリズム ,  ソフトウェア ,  *多変量

著者キーワード (3件)： 量子化器除去 ,  実閉場 ,  包括的Grobnerシステム

分類 (1件)： AD・DA変換回路  (NC05080M)

タイトルに関連する用語 (2件)： 多変量 ,  二次形式