Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav08:list_of_theories_admitting_qe [2008/04/16 10:39] vkuncak |
sav08:list_of_theories_admitting_qe [2008/04/16 22:36] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Presburger Arithmetic ====== | ===== Presburger Arithmetic ====== | ||
- | As we have just seen. | + | As we have just seen in [[QE for Presburger Arithmetic]]. |
===== Boolean Algebras with Presburger Arithmetic ===== | ===== Boolean Algebras with Presburger Arithmetic ===== | ||
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 ===== |