Edit Profile (opens in new tab) Safey El Din, Mohab Co-Author Distance Author ID: safey-el-din.mohab Published as: Safey El Din, Mohab; El Din, Mohab Safey; Safey El Din, M.; Din, Mohab Safey El; Safey el Din, Mohab more...less Homepage: http://www-polsys.lip6.fr/~safey/ External Links: MGP Documents Indexed: 87 Publications since 2000, including 10 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 78 Co-Authors with 85 Joint Publications 1,747 Co-Co-Authors all top 5 Co-Authors 3 single-authored 15 Schost, Éric 9 Faugère, Jean-Charles 7 Henrion, Didier 7 Naldi, Simone 7 Zhi, Lihong 6 Magron, Victor 5 Berthomieu, Jérémy 5 Spaenlehauer, Pierre-Jean 4 Eder, Christian 4 Lairez, Pierre 4 Rouillier, Fabrice 4 Vu, Thi Xuan 3 Bostan, Alin 3 Ferguson, Andrew L. 3 Greuet, Aurélien 3 Guo, Feng 3 Hong, Hoon 3 Labahn, George 3 Mohr, Rafael 3 Neiger, Vincent 3 Prébet, Rémi 3 Roy, Marie-Françoise 3 Verron, Thibaut 2 Bank, Bernd 2 Bérard, Béatrice 2 Briot, Sébastien 2 Capco, Jose 2 Everett, Hazel 2 Giusti, Marc 2 Gopalakrishnan, Sriram 2 Haddad, Serge 2 Heintz, Joos 2 Lazard, Daniel 2 Lazard, Sylvain 2 Le, Huu Phuoc 2 Mezzarobba, Marc 2 Picaronny, Claudine 2 Riener, Cordian 2 Sassolas, Mathieu 2 Schicho, Josef 2 Schweighofer, Markus 2 Vu, Trung-Hieu 2 Yang, Zhihong 1 Aubry, Philippe 1 Bannwarth, Ivan 1 Basu, Saugata 1 Bonnard, Bernard 1 Caillau, Jean-Baptiste 1 Chablat, Damien 1 Chaumette, François 1 Colotti, Alessandro 1 Combot, Thierry 1 de Wolff, Timo 1 Fawzi, Hamza 1 Fontán, Jorge García 1 Gaillard, Louis 1 Goldsztejn, Alexandre 1 Gouzé, Jean-Luc 1 Guo, Qingdong 1 Hauenstein, Jon D. 1 Jacquemard, Alain 1 Kaihnsa, Nidhi 1 Kermorgant, Olivier 1 Lombardi, Henri 1 Martinet, Philippe 1 Martini, Johannes Wolfgang Robert 1 Moroz, Guillaume 1 Nayak, Abhilash 1 Notarantonio, Hadrien 1 Ottaviani, Giorgio Maria 1 Pascual-Escudero, Beatriz 1 Rohal, James J. 1 Salunkhe, Durgesh 1 Teixeira Turatti, Ettore 1 Wang, Chu 1 Wenger, Philippe 1 Yabo, Agustín Gabriel 1 Yap, Chee-Keng all top 5 Serials 21 Journal of Symbolic Computation 4 SIAM Journal on Optimization 4 ACM Communications in Computer Algebra 3 Journal of Complexity 3 Discrete & Computational Geometry 2 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Mathematical Biology 1 Journal of Algebra 1 Information and Computation 1 International Journal of Computer Vision 1 Journal of the ACM 1 Foundations of Computational Mathematics 1 Mathematics in Computer Science 1 MathematicS In Action 1 SIAM Journal on Applied Algebra and Geometry all top 5 Fields 64 Computer science (68-XX) 41 Algebraic geometry (14-XX) 21 Commutative algebra (13-XX) 14 Numerical analysis (65-XX) 14 Operations research, mathematical programming (90-XX) 4 Field theory and polynomials (12-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 Mathematical logic and foundations (03-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Mechanics of particles and systems (70-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 1 General and overarching topics; collections (00-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 63 Publications have been cited 629 times in 282 Documents Cited by ▼ Year ▼ Polar varieties and computation of one point in each connected component of a smooth real algebraic set. Zbl 1072.68693 Safey El Din, Mohab; Schost, Éric 49 2003 On the geometry of polar varieties. Zbl 1186.14060 Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab; Schost, Eric 30 2010 Finding at least one point in each connected component of a real algebraic set defined by a single equation. Zbl 1009.14010 Rouillier, F.; Roy, M.-F.; Safey El Din, M. 27 2000 Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068 El Din, Mohab Safey 26 2007 Real solving for positive dimensional systems. Zbl 1046.14031 Aubry, Philippe; Rouillier, Fabrice; Safey El Din, Mohab 26 2002 A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Zbl 1426.68311 Safey El Din, Mohab; Schost, Éric 26 2017 Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. Zbl 1321.68529 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 25 2010 Exact algorithms for linear matrix inequalities. Zbl 1356.90102 Henrion, Didier; Naldi, Simone; El Din, Mohab Safey 23 2016 Variant quantifier elimination. Zbl 1238.14001 Hong, Hoon; El Din, Mohab Safey 22 2012 Probabilistic algorithm for polynomial optimization over a real algebraic set. Zbl 1327.90232 Greuet, Aurélien; El Din, Mohab Safey 22 2014 Properness defects and projections and computation of at least one point in each connected component of a real algebraic set. Zbl 1067.14057 Safey El Din, Mohab; Schost, Éric 20 2004 Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity. Zbl 1226.13017 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 19 2011 New structure theorem for subresultants. Zbl 0973.12007 Lombardi, Henri; Roy, Marie-Françoise; El Din, Mohab Safey 19 2000 On the complexity of the generalized MinRank problem. Zbl 1302.13026 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 17 2013 Global optimization of polynomials using generalized critical values and sums of squares. Zbl 1321.90127 Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 14 2010 A baby step-giant step roadmap algorithm for general algebraic sets. Zbl 1322.14090 Basu, S.; Roy, M.-F.; Safey El Din, M.; Schost, É. 14 2014 Critical points and Gröbner bases: the unmixed case. Zbl 1308.68171 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 13 2012 Computing the global optimum of a multivariate polynomial over the reals. Zbl 1487.65072 El Din, Mohab Safey 11 2008 Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. Zbl 1487.68235 Faugère, Jean-Charles; Moroz, Guillaume; Rouillier, Fabrice; El Din, Mohab Safey 11 2008 Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056 Safey El Din, Mohab; Schost, Éric 11 2018 A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface. Zbl 1213.14110 Safey el Din, Mohab; Schost, Éric 10 2011 Computing rational points in convex semialgebraic sets and sum of squares decompositions. Zbl 1279.90127 El Din, Mohab Safey; Zhi, Lihong 9 2010 Global optimization of polynomials restricted to a smooth variety using sums of squares. Zbl 1266.90148 Greuet, Aurélien; Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 9 2012 Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296 Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab 9 2014 On exact Polya and Putinar’s representations. Zbl 1467.90032 Magron, Victor; Safey El Din, Mohab 9 2018 Critical point computations on smooth varieties, degree and complexity bounds. Zbl 1362.14061 Safey El Din, Mohab; Spaenlehauer, Pierre-Jean 8 2016 Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. Zbl 1420.13058 Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus 8 2019 {RealCertify}: a Maple package for certifying non-negativity. Zbl 1433.68625 Magron, Victor; Safey El Din, Mohab 8 2018 The Voronoi diagram of three lines. Zbl 1221.68268 Everett, Hazel; Lazard, Sylvain; Lazard, Daniel; El Din, Mohab Safey 7 2007 Deciding reachability of the infimum of a multivariate polynomial. Zbl 1323.65074 Greuet, Aurélien; Safey El Din, Mohab 7 2011 Real root finding for equivariant semi-algebraic systems. Zbl 1467.14140 Riener, Cordian; Safey el Din, Mohab 7 2018 Computing the volume of compact semi-algebraic sets. Zbl 1467.14139 Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab 7 2019 On exact Reznick, Hilbert-Artin and Putinar’s representations. Zbl 1476.14102 Magron, Victor; Safey El Din, Mohab 7 2021 Practical and theoretical issues for the computation of generalized critical values of a polynomial mapping. Zbl 1166.65317 Safey El Din, Mohab 6 2008 On the complexity of computing Gröbner bases for quasi-homogeneous systems. Zbl 1360.68930 Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut 6 2013 Computing rational solutions of linear matrix inequalities. Zbl 1360.68934 Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong 6 2013 On the complexity of computing real radicals of polynomial systems. Zbl 1467.14141 Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong 6 2018 Solving determinantal systems using homotopy techniques. Zbl 1461.13034 Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 6 2021 Variant real quantifier elimination: algorithm and application. Zbl 1237.14005 Hong, Hoon; Safey El Din, Mohab 5 2009 Real root finding for rank defects in linear Hankel matrices. Zbl 1345.65024 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 5 2015 Solving the Birkhoff interpolation problem via the critical point method: An experimental study. Zbl 0985.68079 Rouillier, Fabrice; Safey El Din, Mohab; Schost, Éric 4 2001 Polynomial interrupt timed automata. Zbl 1471.68113 Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu 4 2015 Real root finding for determinants of linear matrices. Zbl 1329.65090 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 4 2016 Homotopy techniques for solving sparse column support determinantal polynomial systems. Zbl 1495.13040 Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 4 2021 A lower bound on the positive semidefinite rank of convex bodies. Zbl 1391.90456 Fawzi, Hamza; El Din, Mohab Safey 4 2018 The Voronoi diagram of three lines. Zbl 1194.68247 Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab 3 2009 Determinantal sets, singularities and application to optimal control in medical imagery. Zbl 1362.13031 Bonnard, Bernard; Faugère, Jean-Charles; Jacquemard, Alain; Safey El Din, Mohab; Verron, Thibaut 3 2016 Robots, computer algebra and eight connected components. Zbl 1486.14075 Capco, Jose; Din, Mohab Safey El; Schicho, Josef 3 2020 A signature-based algorithm for computing the nondegenerate locus of a polynomial system. Zbl 07704551 Eder, Christian; Lairez, Pierre; Mohr, Rafael; El Din, Mohab Safey 3 2023 Probabilistic algorithm for computing the dimension of real algebraic sets. Zbl 1346.68267 Bannwarth, Ivan; Safey El Din, Mohab 3 2015 Computing critical points for invariant algebraic systems. Zbl 1499.14096 Faugère, Jean-Charles; Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 3 2023 Exact algorithms for semidefinite programs with degenerate feasible set. Zbl 1460.90128 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 3 2021 Computing roadmaps in smooth real algebraic sets. Zbl 1192.65058 Mezzarobba, Marc; El Din, Mohab Safey 2 2006 Computing necessary integrability conditions for planar parametrized homogeneous potentials. Zbl 1325.68266 Bostan, Alin; Combot, Thierry; Safey El Din, Mohab 2 2014 On the complexity of computing Gröbner bases for weighted homogeneous systems. Zbl 1430.13044 Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut 2 2016 Computing the real isolated points of an algebraic hypersurface. Zbl 1520.14110 Le, Huu Phuoc; Din, Mohab Safey El; de Wolff, Timo 2 2020 Exact algorithms for semidefinite programs with degenerate feasible set. Zbl 1467.90031 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 2 2018 Computing real radicals and \(S\)-radicals of polynomial systems. Zbl 1448.14061 Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong 2 2021 Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. Zbl 1506.14118 Capco, Jose; Safey El Din, Mohab; Schicho, Josef 2 2023 Complete singularity analysis for the perspective-four-point problem. Zbl 1483.68444 Pascual-Escudero, Beatriz; Nayak, Abhilash; Briot, Sébastien; Kermorgant, Olivier; Martinet, Philippe; El Din, Mohab Safey; Chaumette, François 1 2021 Fast algorithms for discrete differential equations. Zbl 07760750 Bostan, Alin; Notarantonio, Hadrien; Safey El Din, Mohab 1 2023 Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145 Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. 1 2021 Solving parametric systems of polynomial equations over the reals through Hermite matrices. Zbl 1487.14130 Le, Huu Phuoc; Safey El Din, Mohab 1 2022 A signature-based algorithm for computing the nondegenerate locus of a polynomial system. Zbl 07704551 Eder, Christian; Lairez, Pierre; Mohr, Rafael; El Din, Mohab Safey 3 2023 Computing critical points for invariant algebraic systems. Zbl 1499.14096 Faugère, Jean-Charles; Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 3 2023 Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. Zbl 1506.14118 Capco, Jose; Safey El Din, Mohab; Schicho, Josef 2 2023 Fast algorithms for discrete differential equations. Zbl 07760750 Bostan, Alin; Notarantonio, Hadrien; Safey El Din, Mohab 1 2023 Solving parametric systems of polynomial equations over the reals through Hermite matrices. Zbl 1487.14130 Le, Huu Phuoc; Safey El Din, Mohab 1 2022 On exact Reznick, Hilbert-Artin and Putinar’s representations. Zbl 1476.14102 Magron, Victor; Safey El Din, Mohab 7 2021 Solving determinantal systems using homotopy techniques. Zbl 1461.13034 Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 6 2021 Homotopy techniques for solving sparse column support determinantal polynomial systems. Zbl 1495.13040 Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 4 2021 Exact algorithms for semidefinite programs with degenerate feasible set. Zbl 1460.90128 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 3 2021 Computing real radicals and \(S\)-radicals of polynomial systems. Zbl 1448.14061 Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong 2 2021 Complete singularity analysis for the perspective-four-point problem. Zbl 1483.68444 Pascual-Escudero, Beatriz; Nayak, Abhilash; Briot, Sébastien; Kermorgant, Olivier; Martinet, Philippe; El Din, Mohab Safey; Chaumette, François 1 2021 Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145 Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. 1 2021 Robots, computer algebra and eight connected components. Zbl 1486.14075 Capco, Jose; Din, Mohab Safey El; Schicho, Josef 3 2020 Computing the real isolated points of an algebraic hypersurface. Zbl 1520.14110 Le, Huu Phuoc; Din, Mohab Safey El; de Wolff, Timo 2 2020 Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. Zbl 1420.13058 Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus 8 2019 Computing the volume of compact semi-algebraic sets. Zbl 1467.14139 Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab 7 2019 Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056 Safey El Din, Mohab; Schost, Éric 11 2018 On exact Polya and Putinar’s representations. Zbl 1467.90032 Magron, Victor; Safey El Din, Mohab 9 2018 {RealCertify}: a Maple package for certifying non-negativity. Zbl 1433.68625 Magron, Victor; Safey El Din, Mohab 8 2018 Real root finding for equivariant semi-algebraic systems. Zbl 1467.14140 Riener, Cordian; Safey el Din, Mohab 7 2018 On the complexity of computing real radicals of polynomial systems. Zbl 1467.14141 Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong 6 2018 A lower bound on the positive semidefinite rank of convex bodies. Zbl 1391.90456 Fawzi, Hamza; El Din, Mohab Safey 4 2018 Exact algorithms for semidefinite programs with degenerate feasible set. Zbl 1467.90031 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 2 2018 A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Zbl 1426.68311 Safey El Din, Mohab; Schost, Éric 26 2017 Exact algorithms for linear matrix inequalities. Zbl 1356.90102 Henrion, Didier; Naldi, Simone; El Din, Mohab Safey 23 2016 Critical point computations on smooth varieties, degree and complexity bounds. Zbl 1362.14061 Safey El Din, Mohab; Spaenlehauer, Pierre-Jean 8 2016 Real root finding for determinants of linear matrices. Zbl 1329.65090 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 4 2016 Determinantal sets, singularities and application to optimal control in medical imagery. Zbl 1362.13031 Bonnard, Bernard; Faugère, Jean-Charles; Jacquemard, Alain; Safey El Din, Mohab; Verron, Thibaut 3 2016 On the complexity of computing Gröbner bases for weighted homogeneous systems. Zbl 1430.13044 Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut 2 2016 Real root finding for rank defects in linear Hankel matrices. Zbl 1345.65024 Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 5 2015 Polynomial interrupt timed automata. Zbl 1471.68113 Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu 4 2015 Probabilistic algorithm for computing the dimension of real algebraic sets. Zbl 1346.68267 Bannwarth, Ivan; Safey El Din, Mohab 3 2015 Probabilistic algorithm for polynomial optimization over a real algebraic set. Zbl 1327.90232 Greuet, Aurélien; El Din, Mohab Safey 22 2014 A baby step-giant step roadmap algorithm for general algebraic sets. Zbl 1322.14090 Basu, S.; Roy, M.-F.; Safey El Din, M.; Schost, É. 14 2014 Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296 Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab 9 2014 Computing necessary integrability conditions for planar parametrized homogeneous potentials. Zbl 1325.68266 Bostan, Alin; Combot, Thierry; Safey El Din, Mohab 2 2014 On the complexity of the generalized MinRank problem. Zbl 1302.13026 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 17 2013 On the complexity of computing Gröbner bases for quasi-homogeneous systems. Zbl 1360.68930 Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut 6 2013 Computing rational solutions of linear matrix inequalities. Zbl 1360.68934 Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong 6 2013 Variant quantifier elimination. Zbl 1238.14001 Hong, Hoon; El Din, Mohab Safey 22 2012 Critical points and Gröbner bases: the unmixed case. Zbl 1308.68171 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 13 2012 Global optimization of polynomials restricted to a smooth variety using sums of squares. Zbl 1266.90148 Greuet, Aurélien; Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 9 2012 Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity. Zbl 1226.13017 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 19 2011 A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface. Zbl 1213.14110 Safey el Din, Mohab; Schost, Éric 10 2011 Deciding reachability of the infimum of a multivariate polynomial. Zbl 1323.65074 Greuet, Aurélien; Safey El Din, Mohab 7 2011 On the geometry of polar varieties. Zbl 1186.14060 Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab; Schost, Eric 30 2010 Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. Zbl 1321.68529 Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 25 2010 Global optimization of polynomials using generalized critical values and sums of squares. Zbl 1321.90127 Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 14 2010 Computing rational points in convex semialgebraic sets and sum of squares decompositions. Zbl 1279.90127 El Din, Mohab Safey; Zhi, Lihong 9 2010 Variant real quantifier elimination: algorithm and application. Zbl 1237.14005 Hong, Hoon; Safey El Din, Mohab 5 2009 The Voronoi diagram of three lines. Zbl 1194.68247 Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab 3 2009 Computing the global optimum of a multivariate polynomial over the reals. Zbl 1487.65072 El Din, Mohab Safey 11 2008 Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. Zbl 1487.68235 Faugère, Jean-Charles; Moroz, Guillaume; Rouillier, Fabrice; El Din, Mohab Safey 11 2008 Practical and theoretical issues for the computation of generalized critical values of a polynomial mapping. Zbl 1166.65317 Safey El Din, Mohab 6 2008 Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068 El Din, Mohab Safey 26 2007 The Voronoi diagram of three lines. Zbl 1221.68268 Everett, Hazel; Lazard, Sylvain; Lazard, Daniel; El Din, Mohab Safey 7 2007 Computing roadmaps in smooth real algebraic sets. Zbl 1192.65058 Mezzarobba, Marc; El Din, Mohab Safey 2 2006 Properness defects and projections and computation of at least one point in each connected component of a real algebraic set. Zbl 1067.14057 Safey El Din, Mohab; Schost, Éric 20 2004 Polar varieties and computation of one point in each connected component of a smooth real algebraic set. Zbl 1072.68693 Safey El Din, Mohab; Schost, Éric 49 2003 Real solving for positive dimensional systems. Zbl 1046.14031 Aubry, Philippe; Rouillier, Fabrice; Safey El Din, Mohab 26 2002 Solving the Birkhoff interpolation problem via the critical point method: An experimental study. Zbl 0985.68079 Rouillier, Fabrice; Safey El Din, Mohab; Schost, Éric 4 2001 Finding at least one point in each connected component of a real algebraic set defined by a single equation. Zbl 1009.14010 Rouillier, F.; Roy, M.-F.; Safey El Din, M. 27 2000 New structure theorem for subresultants. Zbl 0973.12007 Lombardi, Henri; Roy, Marie-Françoise; El Din, Mohab Safey 19 2000 all cited Publications top 5 cited Publications all top 5 Cited by 436 Authors 35 Safey El Din, Mohab 11 Faugère, Jean-Charles 11 Schost, Éric 10 Magron, Victor 9 Basu, Saugata 8 Bank, Bernd 8 Giusti, Marc 8 Heintz, Joos 7 Hauenstein, Jonathan D. 7 Henrion, Didier 7 Verbel, Javier A. 7 Wu, Wenyuan 6 Chen, Changbo 6 Naldi, Simone 6 Xia, Bican 6 Zhi, Lihong 5 El Kahoui, M’hammed 5 Hong, Hoon 5 Lasserre, Jean-Bernard 5 Pardo, Luis Miguel 5 Tsigaridas, Elias P. 4 Emiris, Ioannis Z. 4 Gonzalez-Vega, Laureano 4 Labahn, George 4 Nie, Jiawang 4 Niu, Wei 4 Perrucci, Daniel 4 Rouillier, Fabrice 4 Roy, Marie-Françoise 4 Sottile, Frank 4 Spaenlehauer, Pierre-Jean 4 Vu, Thi Xuan 4 Xiao, ShuiJing 4 Zeng, Guangxing 3 Bardet, Magali 3 Bender, Matías R. 3 Bérard, Béatrice 3 Boussaada, Islam 3 Cabarcas, Daniel 3 Dias, Luis Renato Gonçalves 3 Díaz-Toca, Gema María 3 Feng, Yong 3 Guo, Feng 3 Heaton, Alexander 3 Huang, Bo 3 Hubert, Evelyne 3 Kaltofen, Erich L. 3 Lazard, Daniel 3 Lecerf, Grégoire 3 Mantzaflaris, Angelos 3 Matera, Guillermo 3 Mourrain, Bernard 3 Neiger, Vincent 3 Niculescu, Silviu-Iulian 3 Papp, Dávid 3 Plaumann, Daniel 3 Rieck, Michael Q. 3 Riener, Cordian 3 Smith-Tone, Daniel 3 Sturmfels, Bernd 3 Szántó, Ágnes 3 Tibăr, Mihai-Marius 3 Verron, Thibaut 2 Abdeljaoued, Jounaïdi 2 Abelard, Simon 2 Baena, John Bayron 2 Bajbar, Tomáš 2 Bazan, Erick Rodriguez 2 Bellini, Emanuele 2 Berthomieu, Jérémy 2 Bostan, Alin 2 Bouzidi, Yacine 2 Breiding, Paul 2 Briaud, Pierre 2 Bros, Maxime 2 Caminata, Alessio 2 Chen, Mingshuai 2 Davis, Maria M. 2 del Campo, Abraham Martín 2 Ding, Jintai 2 Eder, Christian 2 Gaborit, Philippe 2 Gaubert, Stéphane 2 Gaudry, Pierrick 2 Goluskin, David 2 Gorla, Elisa 2 Haddad, Serge 2 Han, Jingjun 2 Helmer, Martin 2 Horobeţ, Emil 2 Jelonek, Zbigniew 2 Jeronimo, Gabriela 2 Korda, Milan 2 Lairez, Pierre 2 Le, Huu Phuoc 2 Moroz, Guillaume 2 Mou, Chenqi 2 Moustrou, Philippe 2 Parrilo, Pablo A. 2 Perlner, Ray ...and 336 more Authors all top 5 Cited in 78 Serials 70 Journal of Symbolic Computation 12 SIAM Journal on Optimization 9 Discrete & Computational Geometry 9 Foundations of Computational Mathematics 7 Journal of Systems Science and Complexity 7 SIAM Journal on Applied Algebra and Geometry 6 Applied Mathematics and Computation 6 Theoretical Computer Science 6 Journal of Complexity 5 Mathematics of Computation 4 Journal of Algebra 4 Mathematische Zeitschrift 4 Mathematical Programming. Series A. Series B 4 Journal of Algebra and its Applications 3 Information Processing Letters 3 Journal of Pure and Applied Algebra 3 Computer Aided Geometric Design 3 Linear Algebra and its Applications 3 Applicable Algebra in Engineering, Communication and Computing 3 Journal of Mathematical Imaging and Vision 2 Journal of Computational and Applied Mathematics 2 Kybernetika 2 Acta Applicandae Mathematicae 2 Information and Computation 2 Journal of Global Optimization 2 Numerical Algorithms 2 International Journal of Computer Mathematics 2 Journal of Nonlinear Science 2 Finite Fields and their Applications 2 SIAM Journal on Applied Dynamical Systems 2 Science China. Mathematics 1 Communications in Algebra 1 Discrete Applied Mathematics 1 Journal of Computational Physics 1 Journal of Mathematical Biology 1 Nonlinearity 1 Bulletin of Mathematical Biology 1 Advances in Mathematics 1 Annales de l’Institut Fourier 1 Automatica 1 Collectanea Mathematica 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Differential Equations 1 Le Matematiche 1 Proceedings of the American Mathematical Society 1 Revista Matemática Iberoamericana 1 Asia-Pacific Journal of Operational Research 1 Journal of the American Mathematical Society 1 SIAM Journal on Discrete Mathematics 1 Journal of Cryptology 1 Multidimensional Systems and Signal Processing 1 Computational Geometry 1 Differential Geometry and its Applications 1 Designs, Codes and Cryptography 1 Computational Mathematics and Mathematical Physics 1 SIAM Review 1 Expositiones Mathematicae 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Experimental Mathematics 1 Formal Methods in System Design 1 Applied and Computational Harmonic Analysis 1 Journal of Mathematical Sciences (New York) 1 Optimization Methods & Software 1 Journal of the European Mathematical Society (JEMS) 1 Communications in Nonlinear Science and Numerical Simulation 1 Mathematics in Computer Science 1 Advances in Mathematics of Communications 1 MathematicS In Action 1 Physical Review A, Third Series 1 Mathematical Programming Computation 1 Numerical Algebra, Control and Optimization 1 Mathematical Control and Related Fields 1 Mathematics 1 Algebraic Combinatorics 1 SIAM Journal on Mathematics of Data Science 1 La Matematica all top 5 Cited in 43 Fields 129 Computer science (68-XX) 120 Algebraic geometry (14-XX) 76 Commutative algebra (13-XX) 53 Numerical analysis (65-XX) 52 Operations research, mathematical programming (90-XX) 27 Information and communication theory, circuits (94-XX) 25 Field theory and polynomials (12-XX) 17 Linear and multilinear algebra; matrix theory (15-XX) 15 Number theory (11-XX) 11 Convex and discrete geometry (52-XX) 11 Biology and other natural sciences (92-XX) 10 Mathematical logic and foundations (03-XX) 10 Combinatorics (05-XX) 9 Dynamical systems and ergodic theory (37-XX) 9 Quantum theory (81-XX) 8 Real functions (26-XX) 8 Ordinary differential equations (34-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Systems theory; control (93-XX) 5 Approximations and expansions (41-XX) 4 Several complex variables and analytic spaces (32-XX) 4 Manifolds and cell complexes (57-XX) 4 Global analysis, analysis on manifolds (58-XX) 4 Statistics (62-XX) 4 Mechanics of particles and systems (70-XX) 3 Geometry (51-XX) 2 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 Functions of a complex variable (30-XX) 2 Special functions (33-XX) 2 Partial differential equations (35-XX) 2 Integral transforms, operational calculus (44-XX) 2 Differential geometry (53-XX) 2 Algebraic topology (55-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year