LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:applications_of_quantifier_elimination [2010/02/22 11:30]
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 =====