@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",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 ; Conference date: 11-11-2015 Through 13-11-2015",
year = "2016",
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",
}