REMIS Example Data

The Davenport-Heintz Example

Context	ofsf
Domain	reals
Fileid	davhei
Name	DavHei
Note	originally by Davenport & Heintz 1989
Title	The Davenport-Heintz Example
Xtitle	The Davenport-Heintz Example

Citing Papers

• LoosWeispfenning_93 (page 459) Applying Linear Quantifier Elimination

Related Papers

• CollinsHong_91 Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file