Edit Profile Safey El Din, Mohab Compute Distance To: Compute Author ID: safey-el-din.mohab Published as: El Din, Mohab Safey; Safey El Din, M.; Safey El Din, Mohab; Safey el Din, Mohab Homepage: http://www-polsys.lip6.fr/~safey/ External Links: MGP · Wikidata Documents Indexed: 52 Publications since 2000 all top 5 Co-Authors 2 single-authored 8 Schost, Éric 7 Faugère, Jean-Charles 7 Zhi, Lihong 5 Henrion, Didier 5 Naldi, Simone 5 Spaenlehauer, Pierre-Jean 3 Greuet, Aurélien 3 Guo, Feng 3 Magron, Victor 3 Rouillier, Fabrice 3 Roy, Marie-Françoise 3 Verron, Thibaut 2 Bank, Bernd 2 Everett, Hazel 2 Giusti, Marc 2 Heintz, Joos 2 Hong, Hoon 2 Lazard, Daniel 2 Lazard, Sylvain 2 Mezzarobba, Marc 2 Yang, Zhihong 1 Aubry, Philippe 1 Bannwarth, Ivan 1 Basu, Saugata 1 Bérard, Béatrice 1 Bonnard, Bernard 1 Bostan, Alin 1 Combot, Thierry 1 Fawzi, Hamza 1 Guo, Qingdong 1 Haddad, Serge 1 Jacquemard, Alain 1 Kaihnsa, Nidhi 1 Lairez, Pierre 1 Lombardi, Henri 1 Martini, Johannes Wolfgang Robert 1 Picaronny, Claudine 1 Ren, Yue 1 Riener, Cordian 1 Sassolas, Mathieu 1 Schweighofer, Markus 1 Wang, Chu 1 Yap, Chee Meng all top 5 Serials 12 Journal of Symbolic Computation 3 Discrete & Computational Geometry 3 SIAM Journal on Optimization 2 Journal of Complexity 2 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Mathematical Biology 1 Journal of the ACM 1 Foundations of Computational Mathematics 1 Mathematics in Computer Science 1 ACM Communications in Computer Algebra 1 SIAM Journal on Applied Algebra and Geometry all top 5 Fields 41 Computer science (68-XX) 24 Algebraic geometry (14-XX) 12 Commutative algebra (13-XX) 11 Operations research, mathematical programming (90-XX) 10 Numerical analysis (65-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 2 Field theory and polynomials (12-XX) 2 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 39 Publications have been cited 304 times in 160 Documents Cited by ▼ Year ▼ Polar varieties and computation of one point in each connected component of a smooth real algebraic set. Zbl 1072.68693Safey El Din, Mohab; Schost, Éric 30 2003 New structure theorem for subresultants. Zbl 0973.12007Lombardi, Henri; Roy, Marie-Françoise; El Din, Mohab Safey 19 2000 Properness defects and projections and computation of at least one point in each connected component of a real algebraic set. Zbl 1067.14057Safey El Din, Mohab; Schost, Éric 18 2004 Real solving for positive dimensional systems. Zbl 1046.14031Aubry, Philippe; Rouillier, Fabrice; Safey El Din, Mohab 18 2002 Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068El Din, Mohab Safey 17 2007 On the geometry of polar varieties. Zbl 1186.14060Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab; Schost, Eric 16 2010 Finding at least one point in each connected component of a real algebraic set defined by a single equation. Zbl 1009.14010Rouillier, F.; Roy, M.-F.; Safey El Din, M. 16 2000 Variant quantifier elimination. Zbl 1238.14001Hong, Hoon; El Din, Mohab Safey 15 2012 A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Zbl 1426.68311Safey El Din, Mohab; Schost, Éric 13 2017 Exact algorithms for linear matrix inequalities. Zbl 1356.90102Henrion, Didier; Naldi, Simone; El Din, Mohab Safey 12 2016 Probabilistic algorithm for polynomial optimization over a real algebraic set. Zbl 1327.90232Greuet, Aurélien; El Din, Mohab Safey 12 2014 Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity. Zbl 1226.13017Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 10 2011 Global optimization of polynomials using generalized critical values and sums of squares. Zbl 1321.90127Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 10 2010 Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. Zbl 1321.68529Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 8 2010 Critical points and Gröbner bases: the unmixed case. Zbl 1308.68171Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 7 2012 Global optimization of polynomials restricted to a smooth variety using sums of squares. Zbl 1266.90148Greuet, Aurélien; Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 7 2012 On the complexity of the generalized MinRank problem. Zbl 1302.13026Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 6 2013 Deciding reachability of the infimum of a multivariate polynomial. Zbl 1323.65074Greuet, Aurélien; Safey El Din, Mohab 6 2011 A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface. Zbl 1213.14110Safey el Din, Mohab; Schost, Éric 6 2011 Computing rational points in convex semialgebraic sets and sum of squares decompositions. Zbl 1279.90127El Din, Mohab Safey; Zhi, Lihong 6 2010 Practical and theoretical issues for the computation of generalized critical values of a polynomial mapping. Zbl 1166.65317Safey El Din, Mohab 6 2008 On the complexity of computing Gröbner bases for quasi-homogeneous systems. Zbl 1360.68930Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut 5 2013 A baby step-giant step roadmap algorithm for general algebraic sets. Zbl 1322.14090Basu, S.; Roy, M.-F.; Safey El Din, M.; Schost, É. 4 2014 Variant real quantifier elimination: algorithm and application. Zbl 1237.14005Hong, Hoon; Safey El Din, Mohab 4 2009 Solving the Birkhoff interpolation problem via the critical point method: An experimental study. Zbl 0985.68079Rouillier, Fabrice; Safey El Din, Mohab; Schost, Éric 4 2001 Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056Safey El Din, Mohab; Schost, Éric 3 2018 Real root finding for determinants of linear matrices. Zbl 1329.65090Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 3 2016 Real root finding for rank defects in linear Hankel matrices. Zbl 1345.65024Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 3 2015 Computing rational solutions of linear matrix inequalities. Zbl 1360.68934Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong 3 2013 The Voronoi diagram of three lines. Zbl 1221.68268Everett, Hazel; Lazard, Sylvain; Lazard, Daniel; El Din, Mohab Safey 3 2007 A lower bound on the positive semidefinite rank of convex bodies. Zbl 1391.90456Fawzi, Hamza; El Din, Mohab Safey 2 2018 Critical point computations on smooth varieties, degree and complexity bounds. Zbl 1362.14061Safey El Din, Mohab; Spaenlehauer, Pierre-Jean 2 2016 Determinantal sets, singularities and application to optimal control in medical imagery. Zbl 1362.13031Bonnard, Bernard; Faugère, Jean-Charles; Jacquemard, Alain; Safey El Din, Mohab; Verron, Thibaut 2 2016 Computing necessary integrability conditions for planar parametrized homogeneous potentials. Zbl 1325.68266Bostan, Alin; Combot, Thierry; Safey El Din, Mohab 2 2014 The Voronoi diagram of three lines. Zbl 1194.68247Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab 2 2009 Computing the volume of compact semi-algebraic sets. Zbl 07246255Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab 1 2019 Real root finding for equivariant semi-algebraic systems. Zbl 07245534Riener, Cordian; Safey el Din, Mohab 1 2018 RealCertify: a Maple package for certifying non-negativity. Zbl 1433.68625Magron, Victor; Safey El Din, Mohab 1 2018 Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab 1 2014 Computing the volume of compact semi-algebraic sets. Zbl 07246255Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab 1 2019 Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056Safey El Din, Mohab; Schost, Éric 3 2018 A lower bound on the positive semidefinite rank of convex bodies. Zbl 1391.90456Fawzi, Hamza; El Din, Mohab Safey 2 2018 Real root finding for equivariant semi-algebraic systems. Zbl 07245534Riener, Cordian; Safey el Din, Mohab 1 2018 RealCertify: a Maple package for certifying non-negativity. Zbl 1433.68625Magron, Victor; Safey El Din, Mohab 1 2018 A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Zbl 1426.68311Safey El Din, Mohab; Schost, Éric 13 2017 Exact algorithms for linear matrix inequalities. Zbl 1356.90102Henrion, Didier; Naldi, Simone; El Din, Mohab Safey 12 2016 Real root finding for determinants of linear matrices. Zbl 1329.65090Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 3 2016 Critical point computations on smooth varieties, degree and complexity bounds. Zbl 1362.14061Safey El Din, Mohab; Spaenlehauer, Pierre-Jean 2 2016 Determinantal sets, singularities and application to optimal control in medical imagery. Zbl 1362.13031Bonnard, Bernard; Faugère, Jean-Charles; Jacquemard, Alain; Safey El Din, Mohab; Verron, Thibaut 2 2016 Real root finding for rank defects in linear Hankel matrices. Zbl 1345.65024Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 3 2015 Probabilistic algorithm for polynomial optimization over a real algebraic set. Zbl 1327.90232Greuet, Aurélien; El Din, Mohab Safey 12 2014 A baby step-giant step roadmap algorithm for general algebraic sets. Zbl 1322.14090Basu, S.; Roy, M.-F.; Safey El Din, M.; Schost, É. 4 2014 Computing necessary integrability conditions for planar parametrized homogeneous potentials. Zbl 1325.68266Bostan, Alin; Combot, Thierry; Safey El Din, Mohab 2 2014 Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab 1 2014 On the complexity of the generalized MinRank problem. Zbl 1302.13026Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 6 2013 On the complexity of computing Gröbner bases for quasi-homogeneous systems. Zbl 1360.68930Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut 5 2013 Computing rational solutions of linear matrix inequalities. Zbl 1360.68934Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong 3 2013 Variant quantifier elimination. Zbl 1238.14001Hong, Hoon; El Din, Mohab Safey 15 2012 Critical points and Gröbner bases: the unmixed case. Zbl 1308.68171Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 7 2012 Global optimization of polynomials restricted to a smooth variety using sums of squares. Zbl 1266.90148Greuet, Aurélien; Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 7 2012 Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity. Zbl 1226.13017Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 10 2011 Deciding reachability of the infimum of a multivariate polynomial. Zbl 1323.65074Greuet, Aurélien; Safey El Din, Mohab 6 2011 A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface. Zbl 1213.14110Safey el Din, Mohab; Schost, Éric 6 2011 On the geometry of polar varieties. Zbl 1186.14060Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab; Schost, Eric 16 2010 Global optimization of polynomials using generalized critical values and sums of squares. Zbl 1321.90127Guo, Feng; El Din, Mohab Safey; Zhi, Lihong 10 2010 Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. Zbl 1321.68529Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean 8 2010 Computing rational points in convex semialgebraic sets and sum of squares decompositions. Zbl 1279.90127El Din, Mohab Safey; Zhi, Lihong 6 2010 Variant real quantifier elimination: algorithm and application. Zbl 1237.14005Hong, Hoon; Safey El Din, Mohab 4 2009 The Voronoi diagram of three lines. Zbl 1194.68247Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab 2 2009 Practical and theoretical issues for the computation of generalized critical values of a polynomial mapping. Zbl 1166.65317Safey El Din, Mohab 6 2008 Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068El Din, Mohab Safey 17 2007 The Voronoi diagram of three lines. Zbl 1221.68268Everett, Hazel; Lazard, Sylvain; Lazard, Daniel; El Din, Mohab Safey 3 2007 Properness defects and projections and computation of at least one point in each connected component of a real algebraic set. Zbl 1067.14057Safey El Din, Mohab; Schost, Éric 18 2004 Polar varieties and computation of one point in each connected component of a smooth real algebraic set. Zbl 1072.68693Safey El Din, Mohab; Schost, Éric 30 2003 Real solving for positive dimensional systems. Zbl 1046.14031Aubry, Philippe; Rouillier, Fabrice; Safey El Din, Mohab 18 2002 Solving the Birkhoff interpolation problem via the critical point method: An experimental study. Zbl 0985.68079Rouillier, Fabrice; Safey El Din, Mohab; Schost, Éric 4 2001 New structure theorem for subresultants. Zbl 0973.12007Lombardi, Henri; Roy, Marie-Françoise; El Din, Mohab Safey 19 2000 Finding at least one point in each connected component of a real algebraic set defined by a single equation. Zbl 1009.14010Rouillier, F.; Roy, M.-F.; Safey El Din, M. 16 2000 all cited Publications top 5 cited Publications all top 5 Cited by 243 Authors 18 Safey El Din, Mohab 9 Faugère, Jean-Charles 7 Bank, Bernd 7 Giusti, Marc 7 Heintz, Joos 5 Basu, Saugata 5 El Kahoui, M’hammed 5 Hauenstein, Jonathan D. 5 Hong, Hoon 5 Naldi, Simone 5 Pardo, Luis Miguel 5 Schost, Éric 5 Zhi, Lihong 4 Gonzalez-Vega, Laureano 4 Henrion, Didier 4 Magron, Victor 4 Nie, Jiawang 4 Rouillier, Fabrice 4 Xia, Bican 4 Xiao, ShuiJing 4 Zeng, Guangxing 3 Chen, Changbo 3 Díaz-Toca, Gema María 3 Guo, Feng 3 Lasserre, Jean-Bernard 3 Lazard, Daniel 3 Roy, Marie-Françoise 3 Spaenlehauer, Pierre-Jean 3 Wu, Wenyuan 2 Abdeljaoued, Jounaïdi 2 Abelard, Simon 2 Boussaada, Islam 2 Bouzidi, Yacine 2 Emiris, Ioannis Z. 2 Feng, Yong 2 Gaubert, Stéphane 2 Gaudry, Pierrick 2 Han, Jingjun 2 Helmer, Martin 2 Horobeţ, Emil 2 Jelonek, Zbigniew 2 Jeronimo, Gabriela 2 Lecerf, Grégoire 2 Matera, Guillermo 2 Moroz, Guillaume 2 Mourrain, Bernard 2 Niculescu, Silviu-Iulian 2 Niu, Wei 2 Perrucci, Daniel 2 Rodriguez, Jose Israel 2 Sottile, Frank 2 Sturmfels, Bernd 2 Szántó, Ágnes 2 Tang, Xiaoxian 2 Tsigaridas, Elias P. 2 Verron, Thibaut 2 Wang, Chu 2 Yang, Zhihong 1 Abril Bucero, Marta 1 Acosta Humánez, Primitivo Belén 1 Ahmadi, Amir Ali 1 Allamigeon, Xavier 1 Alvarez-Ramírez, Martha 1 Anai, Hirokazu 1 Aparicio-Monforte, Ainhoa 1 Aubry, Philippe 1 Aurenhammer, Franz 1 Averkov, Gennadiy 1 Ayyildiz Akoglu, Tulay 1 Bajbar, Tomáš 1 Balcázar, José Luis 1 Barone, Sal 1 Bates, Daniel J. 1 Bernardi, Alessandra 1 Berthomieu, Jérémy 1 Bettale, Luk 1 Bienstock, Daniel 1 Bonnard, Bernard 1 Borcea, Ciprian S. 1 Bouziane, Driss 1 Burr, Michael A. 1 Cafure, Antonio 1 Chen, Jiahui 1 Cheng, Jinsan 1 Cifuentes, Diego 1 Cots, Olivier 1 Dai, Liyun 1 Daleo, Noah S. 1 D’Andrea, Carlos 1 del Campo, Abraham Martín 1 Dell’Accio, Francesco 1 Di Rocco, Sandra 1 Di Tommaso, Filomena 1 Dou, Xiaojie 1 Draisma, Jan 1 Dreyfus, Thomas 1 Durvye, Clémence 1 Eder, Christian 1 Eigenwillig, Arno 1 Eklund, David ...and 143 more Authors all top 5 Cited in 52 Serials 50 Journal of Symbolic Computation 8 SIAM Journal on Optimization 7 Discrete & Computational Geometry 6 Theoretical Computer Science 5 Applied Mathematics and Computation 5 Journal of Complexity 4 Foundations of Computational Mathematics 4 SIAM Journal on Applied Algebra and Geometry 3 Computer Aided Geometric Design 3 Mathematical Programming. Series A. Series B 3 Applicable Algebra in Engineering, Communication and Computing 3 Journal of Systems Science and Complexity 3 Journal of Algebra and its Applications 2 Information Processing Letters 2 Mathematics of Computation 2 Journal of Algebra 2 Journal of Computational and Applied Mathematics 2 Acta Applicandae Mathematicae 2 Journal of Global Optimization 2 Numerical Algorithms 2 International Journal of Computer Mathematics 2 Linear Algebra and its Applications 2 Finite Fields and their Applications 2 Science China. Mathematics 1 Communications in Algebra 1 Journal of Mathematical Biology 1 Information Sciences 1 Journal of Computer and System Sciences 1 Kybernetika 1 Mathematica Scandinavica 1 Mathematische Zeitschrift 1 Proceedings of the American Mathematical Society 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 Expositiones Mathematicae 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Nonlinear Science 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Experimental Mathematics 1 Formal Methods in System Design 1 Journal of the European Mathematical Society (JEMS) 1 SIAM Journal on Applied Dynamical Systems 1 Mathematics in Computer Science 1 Physical Review A, Third Series 1 Mathematical Control and Related Fields 1 Mathematics all top 5 Cited in 38 Fields 79 Computer science (68-XX) 70 Algebraic geometry (14-XX) 43 Commutative algebra (13-XX) 34 Numerical analysis (65-XX) 32 Operations research, mathematical programming (90-XX) 18 Field theory and polynomials (12-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 11 Number theory (11-XX) 6 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 5 Real functions (26-XX) 5 Convex and discrete geometry (52-XX) 4 Combinatorics (05-XX) 4 Ordinary differential equations (34-XX) 4 Biology and other natural sciences (92-XX) 4 Systems theory; control (93-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistics (62-XX) 2 Functions of a complex variable (30-XX) 2 Approximations and expansions (41-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Algebraic topology (55-XX) 2 Mechanics of particles and systems (70-XX) 2 Quantum theory (81-XX) 1 History and biography (01-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Integral transforms, operational calculus (44-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of deformable solids (74-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline