Improving a CGS-QE algorithm

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

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

4 Citations (Scopus)

Abstract

A real quantifier elimination algorithm based on computation of comprehensive Grö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.

Original languageEnglish
Title of host publicationMathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers
EditorsIlias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
PublisherSpringer Verlag
Pages231-235
Number of pages5
ISBN (Print)9783319328584
DOIs
Publication statusPublished - Jan 1 2016
Externally publishedYes
Event6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 - Berlin, Germany
Duration: Nov 11 2015Nov 13 2015

Publication series

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

Other

Other6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015
CountryGermany
CityBerlin
Period11/11/1511/13/15

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Improving a CGS-QE algorithm'. Together they form a unique fingerprint.

Cite this