Skip to Main content Skip to Navigation


hal-01237920v1  Conference papers
Feng GuoMohab Safey El DinWang ChuLihong Zhi. Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety
The 2015 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.205-212, ⟨10.1145/2755996.2756666⟩
hal-01292624v1  Conference papers
Feng GuoMohab Safey El DinLihong Zhi. Global Optimization of Polynomials Using Generalized Critical Values and Sums of Squares
ISSAC 2010 - 35th International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.107--114, ⟨10.1145/1837934.1837960⟩