Skip to Main content Skip to Navigation


hal-01222572v1  Conference papers
Béatrice BérardSerge HaddadClaudine PicaronnyMohab Safey El DinMathieu Sassolas. Polynomial Interrupt Timed Automata
The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
hal-01159210v2  Journal articles
Didier HenrionSimone NaldiMohab Safey El Din. Real root finding for low rank linear matrices
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
...
hal-01184320v2  Journal articles
Didier HenrionSimone NaldiMohab Safey El Din. Exact algorithms for linear matrix inequalities
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
inria-00099649v1  Conference papers
Mohab Safey El DinEric Schost. Polar varieties and computation of one point in each connected component of a smooth real algebraic set
International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. pp.224-231, ⟨10.1145/860854.860901⟩
...
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-00744469v1  Conference papers
Aurélien GreuetMohab Safey El Din. Deciding reachability of the infimum of a multivariate polynomial.
ISSAC 2011 - 36th International Symposium on Symbolic and Algebraic Computation, Jun 2011, San Jose, United States. pp.131-138, ⟨10.1145/1993886.1993910⟩
...
hal-00778365v1  Journal articles
Hoon HongMohab Safey El Din. Variant Quantifier Elimination
Journal of Symbolic Computation, Elsevier, 2012, International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 47 (7), pp.883-901. ⟨10.1016/j.jsc.2011.05.014⟩
hal-00667494v1  Conference papers
Jean-Charles FaugèreMohab Safey El DinPierre-Jean Spaenlehauer. Critical Points and Gröbner Bases: the Unmixed Case
ISSAC 2012 - International Symposium on Symbolic and Algebraic Computation - 2012, Jul 2012, Grenoble, France. pp.162-169, ⟨10.1145/2442829.2442855⟩
...
hal-01657849v1  Journal articles
Hamza FawziMohab Safey El Din. A lower bound on the positive semidefinite rank of convex bodies
SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics 2018, 2 (1), pp.126-139. ⟨10.1137/17M1142570⟩
hal-01720612v1  Conference papers
Victor MagronMohab Safey El Din. On Exact Polya and Putinar's Representations
ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩
...
hal-01819106v1  Conference papers
Cordian RienerMohab Safey El Din. Real root finding for equivariant semi-algebraic systems
ISSAC 20018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States
...
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⟩
hal-01956812v1  Journal articles
Victor MagronMohab Safey El Din. RealCertify: a Maple package for certifying non-negativity
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩
...
hal-01152751v1  Conference papers
Ivan BannwarthMohab Safey El Din. Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets
ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.37-44, ⟨10.1145/2755996.2756670⟩
...
hal-02110556v1  Conference papers
Pierre LairezMarc MezzarobbaMohab Safey El Din. Computing the volume of compact semi-algebraic sets
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
...
hal-01312750v1  Conference papers
Mohab Safey El DinPierre-Jean Spaenlehauer. Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2016, Waterloo, Canada. pp.183--190, ⟨10.1145/2930889.2930929⟩
...
hal-00849057v3  Journal articles
Mohab Safey El DinÉric Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 63 (6), pp.48:1--48:37. ⟨10.1145/2996450⟩
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⟩