Improving a CGS-QE algorithm

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

研究成果: 著書/レポートタイプへの貢献会議での発言

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
外部発表Yes
イベント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
ドイツ
Berlin
期間11/11/1511/13/15

Fingerprint

Quantifier Elimination

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Fukasaku, R., Iwane, H., & Sato, Y. (2016). Improving a CGS-QE algorithm. : I. S. Kotsireas, S. M. Rump, & C. K. Yap (版), Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers (pp. 231-235). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9582). Springer Verlag. https://doi.org/10.1007/978-3-319-32859-1_20

Improving a CGS-QE algorithm. / Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke.

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, 2016. p. 231-235 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻 9582).

研究成果: 著書/レポートタイプへの貢献会議での発言

Fukasaku, R, Iwane, H & Sato, Y 2016, Improving a CGS-QE algorithm. : IS Kotsireas, SM Rump & CK Yap (版), Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 巻. 9582, Springer Verlag, pp. 231-235, 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, Berlin, ドイツ, 11/11/15. https://doi.org/10.1007/978-3-319-32859-1_20
Fukasaku R, Iwane H, Sato Y. Improving a CGS-QE algorithm. : Kotsireas IS, Rump SM, Yap CK, 編集者, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Springer Verlag. 2016. p. 231-235. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-32859-1_20
Fukasaku, Ryoya ; Iwane, Hidenao ; Sato, Yosuke. / Improving a CGS-QE algorithm. 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, 2016. pp. 231-235 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{38dfe9a8cf764657a104c1b9db293561,
title = "Improving a CGS-QE algorithm",
abstract = "A real quantifier elimination algorithm based on computation of comprehensive Gr{\"o}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.",
author = "Ryoya Fukasaku and Hidenao Iwane and Yosuke Sato",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-32859-1_20",
language = "English",
isbn = "9783319328584",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "231--235",
editor = "Kotsireas, {Ilias S.} and Rump, {Siegfried M.} and Yap, {Chee K.}",
booktitle = "Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers",
address = "Germany",

}

TY - GEN

T1 - Improving a CGS-QE algorithm

AU - Fukasaku, Ryoya

AU - Iwane, Hidenao

AU - Sato, Yosuke

PY - 2016/1/1

Y1 - 2016/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84964017501&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84964017501&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-32859-1_20

DO - 10.1007/978-3-319-32859-1_20

M3 - Conference contribution

AN - SCOPUS:84964017501

SN - 9783319328584

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 231

EP - 235

BT - Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers

A2 - Kotsireas, Ilias S.

A2 - Rump, Siegfried M.

A2 - Yap, Chee K.

PB - Springer Verlag

ER -