Improving a CGS-QE algorithm

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationMathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers
EditorsIlias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
PublisherSpringer Verlag
Pages231-235
Number of pages5
ISBN (Print)9783319328584
DOIs
Publication statusPublished - Jan 1 2016
Externally publishedYes
Event6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 - Berlin, Germany
Duration: Nov 11 2015Nov 13 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9582
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015
CountryGermany
CityBerlin
Period11/11/1511/13/15

Fingerprint

Quantifier Elimination

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Fukasaku, R., Iwane, H., & Sato, Y. (2016). Improving a CGS-QE algorithm. In I. S. Kotsireas, S. M. Rump, & C. K. Yap (Eds.), 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); Vol. 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. ed. / 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); Vol. 9582).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fukasaku, R, Iwane, H & Sato, Y 2016, Improving a CGS-QE algorithm. in IS Kotsireas, SM Rump & CK Yap (eds), 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), vol. 9582, Springer Verlag, pp. 231-235, 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, Berlin, Germany, 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. In Kotsireas IS, Rump SM, Yap CK, editors, 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. editor / 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

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 -