Skip to Main content Skip to Navigation


hal-01657873v1  Conference papers
Jean-Guillaume DumasErich KaltofenGilles VillardLihong Zhi. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
...
hal-00815174v1  Conference papers
Qingdong GuoMohab Safey El DinLihong Zhi. Computing rational solutions of linear matrix inequalities
ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States
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⟩
...
hal-01956596v1  Conference papers
Mohab Safey El DinZhi-Hong YangLihong Zhi. On the complexity of computing real radicals of polynomial systems
ISSAC '18 - The 2018 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.351-358, ⟨10.1145/3208976.3209002⟩
...
inria-00419983v1  Journal articles
Mohab Safey El DinLihong Zhi. Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2010, 20 (6), pp.2876-2889. ⟨10.1137/090772459⟩