Improving a CGS-QE algorithm

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

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

4 被引用数 (Scopus)

抄録

A real quantifier elimination algorithm based on computation of comprehensive Gröbner systems introduced by Weispfenning and recently improved by us has a weak point that it cannot handle a formula with many inequalities. In this paper, we further improve the algorithm so that we can handle more inequalities.

本文言語英語
ホスト出版物のタイトルMathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers
編集者Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
出版社Springer Verlag
ページ231-235
ページ数5
ISBN(印刷版)9783319328584
DOI
出版ステータス出版済み - 1 1 2016
外部発表はい
イベント6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 - Berlin, ドイツ
継続期間: 11 11 201511 13 2015

出版物シリーズ

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

その他

その他6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015
国/地域ドイツ
CityBerlin
Period11/11/1511/13/15

All Science Journal Classification (ASJC) codes

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

フィンガープリント

「Improving a CGS-QE algorithm」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル