Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:applications_of_quantifier_elimination [2009/04/24 10:09] vkuncak |
sav08:applications_of_quantifier_elimination [2012/03/06 15:44] vkuncak |
||
|---|---|---|---|
| Line 98: | Line 98: | ||
| //Optimization problems// try to find a maximum or minimum of some function, subject to given constraints. | //Optimization problems// try to find a maximum or minimum of some function, subject to given constraints. | ||
| - | This [[Homework08|homework problem 1]] shows how to (in principle) use quantifier elimination for optimization. | + | [[Homework08|problem 1]] in this homework shows how to (in principle) use quantifier elimination for optimization. |
| Example reference: | Example reference: | ||
| * [[http://dx.doi.org/10.1006/jsco.1997.0122|Simulation and Optimization by Quantifier Elimination]] | * [[http://dx.doi.org/10.1006/jsco.1997.0122|Simulation and Optimization by Quantifier Elimination]] | ||
| - | |||
| - | |||
| - | |||
| ===== Interpolation ===== | ===== Interpolation ===== | ||
| Line 144: | Line 141: | ||
| * [[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]] | + | * [[:Harrison textbook]] |