QE software based on comprehensive Gröbner systems

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

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationMathematical Software, ICMS 2014 - 4th International Congress, Proceedings
PublisherSpringer Verlag
Pages512-517
Number of pages6
ISBN (Print)9783662441985
DOIs
Publication statusPublished - Jan 1 2014
Externally publishedYes
Event4th International Congress on Mathematical Software, ICMS 2014 - Seoul, Korea, Republic of
Duration: Aug 5 2014Aug 9 2014

Publication series

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

Conference

Conference4th International Congress on Mathematical Software, ICMS 2014
CountryKorea, Republic of
CitySeoul
Period8/5/148/9/14

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'QE software based on comprehensive Gröbner systems'. Together they form a unique fingerprint.

Cite this