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 ===== | ||