Singularity Analysis for the Perspective-Four and Five-Line Problems
Jorge García Fontán
,
Abhilash Nayak
,
Sébastien Briot
,
Mohab Safey El Din
Journal articles
hal-03499974v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Homotopy techniques for solving sparse column support determinantal polynomial systems
George Labahn
,
Mohab Safey El Din
,
Éric Schost
,
Thi Xuan Vu
Journal articles
hal-02927630v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A New Perturbation for Multivariate Public Key Schemes such as HFE and UOV
Jean-Charles Faugère
,
Jacques Patarin
,
Ludovic Perret
,
Gilles Macario-Rat
2022
Preprints, Working Papers, ...
hal-03920732v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cooperativity, absolute interaction, and algebraic optimization
Nidhi Kaihnsa
,
Yue Ren
,
Mohab Safey El Din
,
Johannes W R Martini
Journal articles
hal-02925505v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results
Rémi Prébet
,
Mohab Safey El Din
,
Éric Schost
2022
Preprints, Working Papers, ...
hal-03508000v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Stability analysis of a bacterial growth model through computer algebra
Agustín Gabriel Yabo
,
Mohab Safey El Din
,
Jean-Baptiste Caillau
,
Jean-Luc Gouzé
2023
Preprints, Working Papers, ...
hal-03671432v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Complete Singularity Analysis for the Perspective-Four-Point Problem
Beatriz Pascual-Escudero
,
Abhilash Nayak
,
Sébastien Briot
,
Olivier Kermorgant
,
Philippe Martinet
et al.
Journal articles
hal-03070525v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robots, computer algebra and eight connected components
Jose Capco
,
Mohab Safey El Din
,
Josef Schicho
ISSAC '20: International Symposium on Symbolic and Algebraic Computation , Jul 2020, Kalamata / Virtual, Greece. pp.62-69,
⟨10.1145/3373207.3404048⟩
Conference papers
hal-02925478v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Real root finding for low rank linear matrices
Didier Henrion
,
Simone Naldi
,
Mohab Safey El Din
Journal articles
hal-01159210v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards fast one-block quantifier elimination through generalised critical values
Jérémy Berthomieu
,
Andrew Ferguson
,
Mohab Safey El Din
Journal articles
hal-02929626v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics
Jose Capco
,
Mohab Safey El Din
,
Josef Schicho
Journal articles
hal-03389500v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Degree Bounds for Putinar's Positivstellensatz on the hypercube
Lorenzo Baldi
,
Lucas Slot
2023
Preprints, Working Papers, ...
hal-04003633v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the degree of varieties of sum of squares
Andrew Ferguson
,
Giorgio Ottaviani
,
Mohab Safey El Din
,
Ettore Turatti
2022
Preprints, Working Papers, ...
hal-03698213v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
Victor Magron
,
Mohab Safey El Din
,
Trung-Hieu Vu
SIAM Journal on Optimization , In press
Journal articles
hal-03312392v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deep learning side-channel analysis on large-scale traces
Loïc Masure
,
Nicolas Belleville
,
Eleonora Cagli
,
Marie-Angela Cornélie
,
Damien Couroussé
et al.
Conference papers
cea-03483683v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Direttissimo Algorithm for Equidimensional Decomposition
Christian Eder
,
Pierre Lairez
,
Rafael Mohr
,
Mohab Safey El Din
2023
Preprints, Working Papers, ...
hal-04000248v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Refined F5 Algorithms for Ideals of Minors of Square Matrices
Sriram Gopalakrishnan
,
Vincent Neiger
,
Mohab Safey El Din
2023
Preprints, Working Papers, ...
hal-03983184v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algorithm for connectivity queries on real algebraic curves
Nazrul Islam
,
Adrien Poteaux
,
Rémi Prébet
2023
Preprints, Working Papers, ...
hal-04000614v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Exact Reznick, Hilbert-Artin and Putinar's Representations
Victor Magron
,
Mohab Safey El Din
Journal articles
hal-01935727v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing critical points for invariant algebraic systems
Jean-Charles Faugère
,
George Labahn
,
Mohab Safey El Din
,
Éric Schost
,
Thi Xuan Vu
et al.
Journal articles
hal-02927636v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On solving parametric polynomial systems and quantifier elimination over the reals : algorithms, complexity and implementations
Huu Phuoc Le
Theses
tel-03882037v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Special Issue on Symbolic and Algebraic Computation: ISSAC 2017
Mohab Safey El Din
,
Chee Yap
Special issue
hal-02862556v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Beating binary powering for polynomial matrices
Alin Bostan
,
Vincent Neiger
,
Sergey Yurkevich
2023
Preprints, Working Papers, ...
hal-03979664v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials
Laurent Busé
,
Angelos Mantzaflaris
,
Elias Tsigaridas
Journal articles
hal-01654263v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
msolve: A Library for Solving Polynomial Systems
Jérémy Berthomieu
,
Christian Eder
,
Mohab Safey El Din
2021 International Symposium on Symbolic and Algebraic Computation , Jul 2021, Saint Petersburg, Russia. pp.51-58,
⟨10.1145/3452143.3465545⟩
Conference papers
hal-03191666v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Nonemptiness and Boundedness of Solution Sets of Weakly Homogeneous Optimization Problems
Trung-Hieu Vu
Journal articles
hal-03654665v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Exact algorithms for semidefinite programs with degenerate feasible set
Didier Henrion
,
Simone Naldi
,
Mohab Safey El Din
Journal articles
hal-03121215v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Random Probing Security: Verification, Composition, Expansion and New Constructions
Sonia Belaïd
,
Jean-Sébastien Coron
,
Emmanuel Prouff
,
Matthieu Rivain
,
Abdul Rahman Taleb
et al.
CRYPTO 2020 - 40th Annual International Cryptology Conference , Aug 2020, Santa Barbara, CA / Virtual, United States. pp.339-368,
⟨10.1007/978-3-030-56784-2_12⟩
Conference papers
hal-02984491v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the computation of asymptotic critical values of polynomial maps and applications
Jérémy Berthomieu
,
Andrew Ferguson
,
Mohab Safey El Din
2021
Preprints, Working Papers, ...
hal-03188279v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast Algorithms for Discrete Differential Equations
Alin Bostan
,
Hadrien Notarantonio
,
Mohab Safey El Din
2023
Preprints, Working Papers, ...
hal-03978089v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More