2014 | OriginalPaper | Buchkapitel
QE Software Based on Comprehensive Gröbner Systems
verfasst von : Ryoya Fukasaku
Erschienen in: Mathematical Software – ICMS 2014
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We introduce two quantifier elimination softwares, one is in the domain of an algebraically closed field and another is of a real closed field. Both softwares are based on the computations of comprehensive Gröbner systems.