REMIS Example Data

The Collins-Johnson Problem

Context	ofsf
Domain	reals
Fileid	coljoh
Name	ColJoh
Note	also ISSAC '88
Title	The Collins-Johnson Problem
Xtitle	The Collins-Johnson Problem

Citing Papers

• LoosWeispfenning_93 (page 458) Applying Linear Quantifier Elimination

Related Papers

• CollinsHong_91 (p. 326) Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file