Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:list_of_theories_admitting_qe [2008/04/16 10:40] vkuncak |
sav08:list_of_theories_admitting_qe [2008/04/16 22:36] vkuncak |
||
---|---|---|---|
Line 77: | Line 77: | ||
* [[wk>Real_closed_field#Decidability_and_quantifier_elimination]] | * [[wk>Real_closed_field#Decidability_and_quantifier_elimination]] | ||
* Upcoming excellent book by John Harrison | * Upcoming excellent book by John Harrison | ||
+ | * [[http://www.springerlink.com/content/n674875430157r80/|A New Approach for Automatic Theorem Proving in Real Geometry]] | ||
===== Mixed Linear and Integer Constraints ===== | ===== Mixed Linear and Integer Constraints ===== |