Title:Algorithmic Reformulation of Polynomial Problems
Authors:Brown, Christopher W.
Serial Number:2007-01
Publication Date:6-13-2007
Abstract:This paper considers the problem of existential quantifier elimination for real algebra (QE). It introduces an algorithmic framework for exploring reformulations of QE problems, with the goal of finding reformulations that make difficult problems tractable for QE implementations, or for which these implementations find simpler solutions. The program qfr is introduced, which implements this approach, and its performance on some example problems is reported.
View ReportView bibtex