Publications HAL du projet ANR. ECARP

2020

Journal articles

titre
Towards fast one-block quantifier elimination through generalised critical values
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02929626/file/abstract.pdf BibTex

Conference papers

titre
Computing the real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02920059/file/arxiv.pdf BibTex
titre
Robots, computer algebra and eight connected components
auteur
Jose Capco, Mohab Safey El Din, Josef Schicho
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02925478/file/casasc20.pdf BibTex

Preprints, Working Papers, ...

titre
Solving parametric systems of polynomial equations over the reals through Hermite matrices
auteur
Huu Phuoc Le, Mohab Safey El Din
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03029441/file/main_rrc.pdf BibTex
titre
Computing critical points for invariant algebraic systems
auteur
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
2020
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927636/file/hal-critpoint-main.pdf BibTex
titre
Homotopy techniques for solving sparse column support determinantal polynomial systems
auteur
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
2020
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927630/file/hal-column-support-main.pdf BibTex