×

zbMATH — the first resource for mathematics

Safey El Din, Mohab

Compute Distance To:
Author ID: safey-el-din.mohab Recent zbMATH articles by "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

Publications by Year

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.68693
Safey El Din, Mohab; Schost, Éric
30
2003
New structure theorem for subresultants. Zbl 0973.12007
Lombardi, 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.14057
Safey El Din, Mohab; Schost, Éric
18
2004
Real solving for positive dimensional systems. Zbl 1046.14031
Aubry, Philippe; Rouillier, Fabrice; Safey El Din, Mohab
18
2002
Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068
El Din, Mohab Safey
17
2007
On the geometry of polar varieties. Zbl 1186.14060
Bank, 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.14010
Rouillier, F.; Roy, M.-F.; Safey El Din, M.
16
2000
Variant quantifier elimination. Zbl 1238.14001
Hong, Hoon; El Din, Mohab Safey
15
2012
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Zbl 1426.68311
Safey El Din, Mohab; Schost, Éric
13
2017
Exact algorithms for linear matrix inequalities. Zbl 1356.90102
Henrion, Didier; Naldi, Simone; El Din, Mohab Safey
12
2016
Probabilistic algorithm for polynomial optimization over a real algebraic set. Zbl 1327.90232
Greuet, 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.13017
Faugè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.90127
Guo, 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.68529
Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean
8
2010
Critical points and Gröbner bases: the unmixed case. Zbl 1308.68171
Faugè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.90148
Greuet, Aurélien; Guo, Feng; El Din, Mohab Safey; Zhi, Lihong
7
2012
On the complexity of the generalized MinRank problem. Zbl 1302.13026
Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean
6
2013
Deciding reachability of the infimum of a multivariate polynomial. Zbl 1323.65074
Greuet, 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.14110
Safey el Din, Mohab; Schost, Éric
6
2011
Computing rational points in convex semialgebraic sets and sum of squares decompositions. Zbl 1279.90127
El Din, Mohab Safey; Zhi, Lihong
6
2010
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
5
2013
A baby step-giant step roadmap algorithm for general algebraic sets. Zbl 1322.14090
Basu, S.; Roy, M.-F.; Safey El Din, M.; Schost, É.
4
2014
Variant real quantifier elimination: algorithm and application. Zbl 1237.14005
Hong, Hoon; Safey El Din, Mohab
4
2009
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
Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056
Safey El Din, Mohab; Schost, Éric
3
2018
Real root finding for determinants of linear matrices. Zbl 1329.65090
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab
3
2016
Real root finding for rank defects in linear Hankel matrices. Zbl 1345.65024
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab
3
2015
Computing rational solutions of linear matrix inequalities. Zbl 1360.68934
Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong
3
2013
The Voronoi diagram of three lines. Zbl 1221.68268
Everett, Hazel; Lazard, Sylvain; Lazard, Daniel; El Din, Mohab Safey
3
2007
A lower bound on the positive semidefinite rank of convex bodies. Zbl 1391.90456
Fawzi, Hamza; El Din, Mohab Safey
2
2018
Critical point computations on smooth varieties, degree and complexity bounds. Zbl 1362.14061
Safey El Din, Mohab; Spaenlehauer, Pierre-Jean
2
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
2
2016
Computing necessary integrability conditions for planar parametrized homogeneous potentials. Zbl 1325.68266
Bostan, Alin; Combot, Thierry; Safey El Din, Mohab
2
2014
The Voronoi diagram of three lines. Zbl 1194.68247
Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab
2
2009
Computing the volume of compact semi-algebraic sets. Zbl 07246255
Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab
1
2019
Real root finding for equivariant semi-algebraic systems. Zbl 07245534
Riener, Cordian; Safey el Din, Mohab
1
2018
RealCertify: a Maple package for certifying non-negativity. Zbl 1433.68625
Magron, Victor; Safey El Din, Mohab
1
2018
Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab
1
2014
Computing the volume of compact semi-algebraic sets. Zbl 07246255
Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab
1
2019
Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056
Safey El Din, Mohab; Schost, Éric
3
2018
A lower bound on the positive semidefinite rank of convex bodies. Zbl 1391.90456
Fawzi, Hamza; El Din, Mohab Safey
2
2018
Real root finding for equivariant semi-algebraic systems. Zbl 07245534
Riener, Cordian; Safey el Din, Mohab
1
2018
RealCertify: a Maple package for certifying non-negativity. Zbl 1433.68625
Magron, Victor; Safey El Din, Mohab
1
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
13
2017
Exact algorithms for linear matrix inequalities. Zbl 1356.90102
Henrion, Didier; Naldi, Simone; El Din, Mohab Safey
12
2016
Real root finding for determinants of linear matrices. Zbl 1329.65090
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab
3
2016
Critical point computations on smooth varieties, degree and complexity bounds. Zbl 1362.14061
Safey El Din, Mohab; Spaenlehauer, Pierre-Jean
2
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
2
2016
Real root finding for rank defects in linear Hankel matrices. Zbl 1345.65024
Henrion, Didier; Naldi, Simone; 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
12
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, É.
4
2014
Computing necessary integrability conditions for planar parametrized homogeneous potentials. Zbl 1325.68266
Bostan, Alin; Combot, Thierry; Safey El Din, Mohab
2
2014
Intrinsic complexity estimates in polynomial optimization. Zbl 1302.65296
Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab
1
2014
On the complexity of the generalized MinRank problem. Zbl 1302.13026
Faugè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.68930
Faugère, Jean-Charles; Safey El Din, Mohab; Verron, Thibaut
5
2013
Computing rational solutions of linear matrix inequalities. Zbl 1360.68934
Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong
3
2013
Variant quantifier elimination. Zbl 1238.14001
Hong, Hoon; El Din, Mohab Safey
15
2012
Critical points and Gröbner bases: the unmixed case. Zbl 1308.68171
Faugè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.90148
Greuet, 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.13017
Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean
10
2011
Deciding reachability of the infimum of a multivariate polynomial. Zbl 1323.65074
Greuet, 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.14110
Safey el Din, Mohab; Schost, Éric
6
2011
On the geometry of polar varieties. Zbl 1186.14060
Bank, 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.90127
Guo, 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.68529
Faugè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.90127
El Din, Mohab Safey; Zhi, Lihong
6
2010
Variant real quantifier elimination: algorithm and application. Zbl 1237.14005
Hong, Hoon; Safey El Din, Mohab
4
2009
The Voronoi diagram of three lines. Zbl 1194.68247
Everett, 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.65317
Safey El Din, Mohab
6
2008
Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068
El Din, Mohab Safey
17
2007
The Voronoi diagram of three lines. Zbl 1221.68268
Everett, 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.14057
Safey 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.68693
Safey El Din, Mohab; Schost, Éric
30
2003
Real solving for positive dimensional systems. Zbl 1046.14031
Aubry, Philippe; Rouillier, Fabrice; Safey El Din, Mohab
18
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
New structure theorem for subresultants. Zbl 0973.12007
Lombardi, 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.14010
Rouillier, F.; Roy, M.-F.; Safey El Din, M.
16
2000
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