Skip to Main content Skip to Navigation

hal-01293796v1  Conference papers
Dongming WangXiao-Shan GaoZhuojun LiuZiming Li. A Review of the Development of Mathematics Mechanization (in {Chinese})
Wen-tsün Wu and Chinese Mathematics, 2010, Singapore, Singapore. pp.221--233
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⟩
hal-00776212v1  Conference papers
Jia LiJinsan ChengElias Tsigaridas. Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems
CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.186-197, ⟨10.1007/978-3-642-32973-9_16⟩
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⟩
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩