On real roots counting for non-radical parametric ideals

Ryoya Fukasaku, Yosuke Sato

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

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationMathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings
EditorsIlias S. Kotsireas, Johannes Blomer, Dimitris E. Simos, Temur Kutsia
PublisherSpringer Verlag
Pages258-263
Number of pages6
ISBN (Print)9783319724522
DOIs
Publication statusPublished - 2017
Externally publishedYes
Event7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 - Vienna, Austria
Duration: Nov 15 2017Nov 17 2017

Publication series

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

Conference

Conference7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017
Country/TerritoryAustria
CityVienna
Period11/15/1711/17/17

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'On real roots counting for non-radical parametric ideals'. Together they form a unique fingerprint.

Cite this