Publications HAL du projet ANR. ECARP

2022

Journal articles

titre
Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
Journal of Symbolic Computation, Elsevier, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01935229/file/main.pdf BibTex

2021

Conference papers

titre
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
auteur
Huu Phuoc Le, Mohab Safey El Din
article
International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465546⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03180730/file/main.pdf BibTex
titre
msolve: A Library for Solving Polynomial Systems
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465545⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03191666/file/main.pdf BibTex
titre
Computing the dimension of real algebraic sets
auteur
Pierre Lairez, Mohab Safey El Din
article
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03232068/file/real-algebraic-dimension.pdf BibTex

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
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
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