Mohab Safey El Din

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 94

Top Venues

CoRR

ISSAC

J. Symb. Comput.

ACM Commun. Comput. Algebra

Publications

Louis Gaillard, Mohab Safey El Din
Solving parameter-dependent semi-algebraic systems. CoRR (2024)
Alessandro Colotti, Jorge García Fontán, Alexandre Goldsztejn, Sébastien Briot, François Chaumette, Olivier Kermorgant, Mohab Safey El Din
Determination of All Stable and Unstable Equilibria for Image-Point-Based Visual Servoing. IEEE Trans. Robotics 40 (2024)
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations. ISSAC (2024)
Louis Gaillard, Mohab Safey El Din
Solving parameter-dependent semi-algebraic systems. ISSAC (2024)
Rémi Prébet, Mohab Safey El Din, Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity. CoRR (2024)
Didier Henrion, Jared Miller, Mohab Safey El Din
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions. CoRR (2024)
Rémi Prébet, Mohab Safey El Din, Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results. J. Symb. Comput. 120 (2024)
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations. CoRR (2024)
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
Fast Algorithms for Discrete Differential Equations. ISSAC (2023)
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Computing critical points for invariant algebraic systems. J. Symb. Comput. 116 (2023)
Jose Capco, Mohab Safey El Din, Josef Schicho
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. J. Symb. Comput. 115 (2023)
George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Faster real root decision algorithm for symmetric polynomials. ISSAC (2023)
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
Fast Algorithms for Discrete Differential Equations. CoRR (2023)
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
A signature-based algorithm for computing the nondegenerate locus of a polynomial system. J. Symb. Comput. 119 (2023)
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
A Direttissimo Algorithm for Equidimensional Decomposition. ISSAC (2023)
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
Refined F5 Algorithms for Ideals of Minors of Square Matrices. ISSAC (2023)
George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Faster real root decision algorithm for symmetric polynomials. CoRR (2023)
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
Refined $F_5$ Algorithms for Ideals of Minors of Square Matrices. CoRR (2023)
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
A Direttissimo Algorithm for Equidimensional Decomposition. CoRR (2023)
Victor Magron, Mohab Safey El Din, Trung Hieu Vu
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. SIAM J. Optim. 33 (1) (2023)
Jorge García Fontán, Abhilash Nayak, Sébastien Briot, Mohab Safey El Din
Singularity Analysis for the Perspective-Four and Five-Line Problems. Int. J. Comput. Vis. 130 (4) (2022)
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System. CoRR (2022)
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system. ACM Commun. Comput. Algebra 56 (2) (2022)
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon). CoRR (2022)
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. ISSAC (2022)
Huu Phuoc Le, Mohab Safey El Din
Solving parametric systems of polynomial equations over the reals through Hermite matrices. J. Symb. Comput. 112 (2022)
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
Faster Change of Order Algorithm for Gröbner Bases under Shape and Stability Assumptions. ISSAC (2022)
Jérémy Berthomieu, Mohab Safey El Din
Guessing Gröbner bases of structured ideals of relations of sequences. J. Symb. Comput. 111 (2022)
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
Faster change of order algorithm for Gröbner bases under shape and stability assumptions. CoRR (2022)
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger
Deciding cuspidality of manipulators through computer algebra and algorithms in real algebraic geometry. CoRR (2022)
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. ISSAC (2022)
Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
Algorithms for Discrete Differential Equations of Order 1. ISSAC (2022)
Jorge García Fontán, Alessandro Colotti, Sébastien Briot, Alexandre Goldsztejn, Mohab Safey El Din
Computer algebra methods for polynomial system solving at the service of image-based visual servoing. ACM Commun. Comput. Algebra 56 (2) (2022)
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics Autom. Lett. 7 (3) (2022)
Alin Bostan, Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems. CoRR (2022)
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients. CoRR (2022)
Rémi Prébet, Mohab Safey El Din, Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results. CoRR (2022)
Huu Phuoc Le, Mohab Safey El Din
Faster one block quantifier elimination for regular polynomial systems of equations. CoRR (2021)
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
On the computation of asymptotic critical values of polynomial maps and applications. CoRR (2021)
Victor Magron, Mohab Safey El Din, Trung Hieu Vu
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. CoRR (2021)
Beatriz Pascual-Escudero, Abhilash Nayak, Sébastien Briot, Olivier Kermorgant, Philippe Martinet, Mohab Safey El Din, François Chaumette
Complete Singularity Analysis for the Perspective-Four-Point Problem. Int. J. Comput. Vis. 129 (4) (2021)
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
-radicals of polynomial systems. J. Symb. Comput. 102 (2021)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact algorithms for semidefinite programs with degenerate feasible set. J. Symb. Comput. 104 (2021)
Huu Phuoc Le, Mohab Safey El Din
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations. ISSAC (2021)
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Homotopy techniques for solving sparse column support determinantal polynomial systems. J. Complex. 66 (2021)
Pierre Lairez, Mohab Safey El Din
Computing the Dimension of Real Algebraic Sets. ISSAC (2021)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. 277 (2021)
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
msolve: A Library for Solving Polynomial Systems. CoRR (2021)
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
msolve: A Library for Solving Polynomial Systems. ISSAC (2021)
Pierre Lairez, Mohab Safey El Din
Computing the dimension of a real algebraic set. CoRR (2021)
Victor Magron, Mohab Safey El Din
On exact Reznick, Hilbert-Artin and Putinar's representations. J. Symb. Comput. 107 (2021)
Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Solving determinantal systems using homotopy techniques. J. Symb. Comput. 104 (2021)
Huu Phuoc Le, Mohab Safey El Din
Solving parametric systems of polynomial equations over the reals through Hermite matrices. CoRR (2020)
Jose Capco, Mohab Safey El Din, Josef Schicho
Robots, computer algebra and eight connected components. CoRR (2020)
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
Computing the Real Isolated Points of an Algebraic Hypersurface. CoRR (2020)
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
Towards fast one-block quantifier elimination through generalised critical values. ACM Commun. Comput. Algebra 54 (3) (2020)
Mohab Safey El Din, Chee Yap
Special Issue on Symbolic and Algebraic Computation: ISSAC 2017. J. Symb. Comput. 98 (2020)
Jose Capco, Mohab Safey El Din, Josef Schicho
Robots, computer algebra and eight connected components. ISSAC (2020)
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. CoRR (2020)
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Computing critical points for invariant algebraic systems. CoRR (2020)
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Homotopy techniques for solving sparse column support determinantal polynomial systems. CoRR (2020)
Jérémy Berthomieu, Mohab Safey El Din
Guessing Gr{ö}bner Bases of Structured Ideals of Relations of Sequences. CoRR (2020)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for low rank linear matrices. Appl. Algebra Eng. Commun. Comput. 31 (2) (2020)
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
Computing the real isolated points of an algebraic hypersurface. ISSAC (2020)
Hoon Hong, James Rohal, Mohab Safey El Din, Éric Schost
Connectivity in Semi-Algebraic Sets I. CoRR (2020)
Didier Henrion, Simone Naldi, Mohab Safey El Din
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic. Optim. Methods Softw. 34 (1) (2019)
Victor Magron, Mohab Safey El Din, Markus Schweighofer
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. J. Symb. Comput. 93 (2019)
Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
Computing the volume of compact semi-algebraic sets. CoRR (2019)
Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
Computing the Volume of Compact Semi-Algebraic Sets. ISSAC (2019)
Cordian Riener, Mohab Safey El Din
Real Root Finding for Equivariant Semi-algebraic Systems. ISSAC (2018)
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
On the Complexity of Computing Real Radicals of Polynomial Systems. ISSAC (2018)
Mohab Safey El Din, Éric Schost
Bit complexity for multi-homogeneous polynomial system solving - Application to polynomial minimization. J. Symb. Comput. 87 (2018)
Victor Magron, Mohab Safey El Din
On Exact Polya, Hilbert-Artin and Putinar's Representations. CoRR (2018)
Hamza Fawzi, Mohab Safey El Din
A Lower Bound on the Positive Semidefinite Rank of Convex Bodies. SIAM J. Appl. Algebra Geom. 2 (1) (2018)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. ISSAC (2018)
Victor Magron, Mohab Safey El Din
Realcertify: a maple package for certifying non-negativity. ACM Commun. Comput. Algebra 52 (2) (2018)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact algorithms for semidefinite programs with degenerate feasible set. CoRR (2018)
Victor Magron, Mohab Safey El Din
On Exact Polya and Putinar's Representations. CoRR (2018)
Cordian Riener, Mohab Safey El Din
Real root finding for equivariant semi-algebraic systems. CoRR (2018)
Victor Magron, Mohab Safey El Din
RealCertify: a Maple package for certifying non-negativity. CoRR (2018)
Victor Magron, Mohab Safey El Din
On Exact Polya and Putinar's Representations. ISSAC (2018)
Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
Solving determinantal systems using homotopy techniques. CoRR (2018)
Hamza Fawzi, Mohab Safey El Din
A lower bound on the positive semidefinite rank of convex bodies. CoRR (2017)
Victor Magron, Mohab Safey El Din, Markus Schweighofer
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials. CoRR (2017)
Mohab Safey El Din, Éric Schost
A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets. J. ACM 63 (6) (2017)
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
Determinantal sets, singularities and application to optimal control in medical imagery. CoRR (2016)
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. ISSAC (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for determinants of linear matrices. J. Symb. Comput. 74 (2016)
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
On the complexity of computing Gröbner bases for weighted homogeneous systems. J. Symb. Comput. 76 (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic. CoRR (2016)
Mohab Safey El Din, Pierre-Jean Spaenlehauer
Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds. ISSAC (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact Algorithms for Linear Matrix Inequalities. SIAM J. Optim. 26 (4) (2016)
Mohab Safey El Din, Pierre-Jean Spaenlehauer
Critical Point Computations on Smooth Varieties: Degree and Complexity bounds. CoRR (2016)
Mohab Safey El Din, Éric Schost
Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization. CoRR (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact algorithms for linear matrix inequalities. CoRR (2015)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. CoRR (2015)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for low rank linear matrices. CoRR (2015)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real Root Finding for Rank Defects in Linear Hankel Matrices. ISSAC (2015)
Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. ISSAC (2015)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. RP (2015)

Mohab Safey El Din.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohab Safey El Din