REMIS Example Data

Consistency of Inequalities

Context	ofsf
Domain	reals
Fileid	consistency
Name	Consistency
Note	originally by S. McCallum
Title	Consistency of Inequalities
Xtitle	Consistency of Inequalities

Related Papers

• CollinsHong_91 Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file