vix.ing · top · new · best · stats · spec

Din, Mohab Safey El

  1. On the Complexity of the Generalized MinRank Problem
    2011/12/19 by Jean‐Charles Faugère, Mohab Safey El Din, Faugère, Jean-Charles +3 · 3 citations
    Computer Science · Mathematics · #13P10 #13P15 #68W30 #68W40 #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #Tensor decomposition and applications
  2. Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
    2017/06/13 by Victor Magron, Mohab Safey El Din, Magron, Victor +3 · 3 citations
    Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Computer and information sciences #Iterative Methods for Nonlinear Equations #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  3. Bit complexity for multi-homogeneous polynomial system solving\n Application to polynomial minimization
    2016/05/24 by Mohab Safey El Din, Éric Schost, Din, Mohab Safey El +1 · 4 citations
    Computer Science · Mathematics · #Polynomial and algebraic computation #Commutative Algebra and Its Applications #Formal Methods in Verification
  4. On Exact Reznick, Hilbert-Artin and Putinar's Representations
    2018/11/25 by Magron, Victor, Din, Mohab Safey El · 3 citations
    #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
  5. A baby step-giant step roadmap algorithm for general algebraic sets
    2012/01/31 by Saugata Basu, Marie-Françoise Roy, Basu, Saugata +5 · 2 citations
    Computer Science · Mathematics · #68W05 #Algebraic Geometry (math.AG) #Coding theory and cryptography #Commutative Algebra and Its Applications #FOS: Computer and information sciences #FOS: Mathematics #Polynomial and algebraic computation #Primary 14Q20 #Secondary 14P05 #Symbolic Computation (cs.SC)
  6. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
    2021/07/25 by Magron, Victor, Din, Mohab Safey El, Vu, Trung-Hieu · 3 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Symbolic Computation (cs.SC)
  7. Probabilistic Algorithm for Polynomial Optimization over a Real\n Algebraic Set
    2013/07/31 by Aurélien Greuet, Mohab Safey El Din, Greuet, Aurélien +1 · 2 citations
    Computer Science · Mathematics · #Advanced Differential Equations and Dynamical Systems #FOS: Computer and information sciences #FOS: Mathematics #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  8. RealCertify: a Maple package for certifying non-negativity
    2018/05/06 by Magron, Victor, Din, Mohab Safey El · 2 citations
    #FOS: Computer and information sciences #Mathematical Software (cs.MS) #Symbolic Computation (cs.SC)
  9. Fast Algorithms for Discrete Differential Equations
    2023/02/13 by Alin Bostan, Hadrien Notarantonio, Bostan, Alin +3 · 3 citations
    Computer Science · #Advanced Database Systems and Queries #Algebraic Geometry (math.AG) #Combinatorics (math.CO) #Data Management and Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  10. Exact algorithms for linear matrix inequalities
    2015/08/15 by Henrion, Didier, Naldi, Simone, Din, Mohab Safey El · 1 citation
    #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Symbolic Computation (cs.SC)
  11. Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
    2016/05/09 by Mohab Safey El Din, Din, Mohab Safey El, Pierre-Jean Spaenlehauer +1 · 1 citation
    Computer Science · Mathematics · #Advanced Differential Equations and Dynamical Systems #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  12. Intrinsic complexity estimates in polynomial optimization
    2013/04/18 by Bernd Bank, Bank, Bernd, M Giusti +5 · 1 citation
    Computer Science · Engineering · Mathematics · #Advanced Numerical Analysis Techniques #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  13. Refined F5 Algorithms for Ideals of Minors of Square Matrices
    2023/02/10 by Sriram Gopalakrishnan, Gopalakrishnan, Sriram, Vincent Neiger +3 · 1 citation
    Computer Science · Engineering · #Coding theory and cryptography #Commutative Algebra (math.AC) #FOS: Computer and information sciences #FOS: Mathematics #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #graph theory and CDMA systems
  14. Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients
    2022/02/14 by Victor Magron, Mohab Safey El Din, Magron, Victor +5 · 1 citation
    Computer Science · Mathematics · #Digital Filter Design and Implementation #FOS: Computer and information sciences #FOS: Mathematics #Mathematical Analysis and Transform Methods #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Symbolic Computation (cs.SC)
  15. Faster change of order algorithm for Gröbner bases under shape and stability assumptions
    2022/02/18 by Jérémy Berthomieu, Berthomieu, Jérémy, Vincent Neiger +3 · 1 citation
    Computer Science · Engineering · Mathematics · #Advanced Numerical Analysis Techniques #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Computer and information sciences #FOS: Mathematics #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  16. A nearly optimal algorithm for deciding connectivity queries in smooth\n and bounded real algebraic sets
    2013/07/30 by Mohab Safey El Din, Din, Mohab Safey El, Éric Schost +1 · 1 citation
    Computer Science · #Advanced Database Systems and Queries #Computational Geometry and Mesh Generation #Data Management and Algorithms #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
  17. Solving generic parametric linear matrix inequalities
    2025/03/03 by Simone Naldi, Naldi, Simone, Mohab Safey El Din +5 · 2 citations
    Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Algebraic Geometry (math.AG) #FOS: Computer and information sciences #FOS: Mathematics #Matrix Theory and Algorithms #Statistical and numerical algorithms #Symbolic Computation (cs.SC)