REMIS Example Data

A Collision Detection Problem by Hoon Hong (Circle-Square)

Context	ofsf
Domain	reals
Fileid	collision
Name	Collision
Title	A Collision Detection Problem by Hoon Hong (Circle-Square)
Xtitle	A Collision Detection Problem by Hoon Hong (Circle-Square)

Related Papers

• CollinsHong_91 Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file