@inproceedings{d57451ce3fad44bca81ef594d3eab5c7,
title = "On real roots counting for non-radical parametric ideals",
abstract = "An algorithm we have introduced has a great effect on quantifier elimination of a first order formula containing many equalities. When the parametric ideal generated by the underlying equalities is not radical, however, our algorithm tends to produce an unnecessarily complicated formula. In this short paper, we show a result concerning Hermitian quadratic forms. It enables us to improve our algorithm so that we can get a simple formula without any radical computation.",
author = "Ryoya Fukasaku and Yosuke Sato",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 ; Conference date: 15-11-2017 Through 17-11-2017",
year = "2017",
doi = "10.1007/978-3-319-72453-9_18",
language = "English",
isbn = "9783319724522",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "258--263",
editor = "Kotsireas, {Ilias S.} and Johannes Blomer and Simos, {Dimitris E.} and Temur Kutsia",
booktitle = "Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings",
address = "Germany",
}