On Multivariate Hermitian Quadratic Forms

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

研究成果: Contribution to journalArticle査読

1 被引用数 (Scopus)

抄録

Multivariate Hermitian quadratic forms play an important role in the real quantifier elimination algorithm based on the computation of comprehensive Gröbner systems introduced by V. Weispfenning and further improved by us. Our algorithm needs the computation of a certain type of saturation ideal in a parametric polynomial ring. In this paper, we study multivariate Hermitian quadratic forms in more detail and show several facts which have special importance in a parametric polynomial ring. Our results enable us to have an efficient method to compute the saturation ideal, which brings us a drastic improvement of our real quantifier elimination software.

本文言語英語
ページ(範囲)79-93
ページ数15
ジャーナルMathematics in Computer Science
13
1-2
DOI
出版ステータス出版済み - 6 1 2019
外部発表はい

All Science Journal Classification (ASJC) codes

  • Computational Mathematics
  • Computational Theory and Mathematics
  • Applied Mathematics

フィンガープリント 「On Multivariate Hermitian Quadratic Forms」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル