QE software based on comprehensive Gröbner systems

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

抄録

We introduce two quantifier elimination softwares, one is in the domain of an algebraically closed field and another is of a real closed field. Both softwares are based on the computations of comprehensive Gröbner systems.

本文言語英語
ホスト出版物のタイトルMathematical Software, ICMS 2014 - 4th International Congress, Proceedings
出版社Springer Verlag
ページ512-517
ページ数6
ISBN(印刷版)9783662441985
DOI
出版ステータス出版済み - 1 1 2014
外部発表はい
イベント4th International Congress on Mathematical Software, ICMS 2014 - Seoul, 大韓民国
継続期間: 8 5 20148 9 2014

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
8592 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

会議

会議4th International Congress on Mathematical Software, ICMS 2014
国/地域大韓民国
CitySeoul
Period8/5/148/9/14

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「QE software based on comprehensive Gröbner systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル