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:applications_of_quantifier_elimination [2009/04/22 23:51] vkuncak |
sav08:applications_of_quantifier_elimination [2009/04/24 10:09] vkuncak |
||
---|---|---|---|
Line 9: | Line 9: | ||
we obtain formula | we obtain formula | ||
\[ | \[ | ||
- | x \le z | + | y \le z |
\] | \] | ||
Line 144: | Line 144: | ||
* [[http://www.springerlink.com/content/n674875430157r80/|A New Approach for Automatic Theorem Proving in Real Geometry]] | * [[http://www.springerlink.com/content/n674875430157r80/|A New Approach for Automatic Theorem Proving in Real Geometry]] | ||
+ | * [[http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521899574|Harrison textbook]] |