REMIS Example Data

An arithmetic component in an expert system

Author	Loos & Weispfenning
Context	ofsf
Domain	reals
Fileid	acines
Name	AcInEs
Title	An arithmetic component in an expert system
Xtitle	An arithmetic component in an expert system

Citing Papers

• LoosWeispfenning_93 (page 458) Applying Linear Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file