Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mohab Safey El Din
@article{DBLP:journals/jsc/PrebetDS24,
author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Computing roadmaps in unbounded smooth real algebraic sets {I:} Connectivity
results},
journal = {J. Symb. Comput.},
volume = {120},
pages = {102234},
year = {2024},
url = {https://doi.org/10.1016/j.jsc.2023.102234},
doi = {10.1016/J.JSC.2023.102234},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/PrebetDS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-03111,
author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Computing roadmaps in unbounded smooth real algebraic sets {II:} algorithm
and complexity},
journal = {CoRR},
volume = {abs/2402.03111},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.03111},
doi = {10.48550/ARXIV.2402.03111},
eprinttype = {arXiv},
eprint = {2402.03111},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-03111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-07353,
author = {Sriram Gopalakrishnan and
Vincent Neiger and
Mohab Safey El Din},
title = {Optimized Gr{\"{o}}bner basis algorithms for maximal determinantal
ideals and critical point computations},
journal = {CoRR},
volume = {abs/2402.07353},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07353},
doi = {10.48550/ARXIV.2402.07353},
eprinttype = {arXiv},
eprint = {2402.07353},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-07782,
author = {Louis Gaillard and
Mohab Safey El Din},
title = {Solving parameter-dependent semi-algebraic systems},
journal = {CoRR},
volume = {abs/2402.07782},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07782},
doi = {10.48550/ARXIV.2402.07782},
eprinttype = {arXiv},
eprint = {2402.07782},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CapcoDS23,
author = {Jose Capco and
Mohab Safey El Din and
Josef Schicho},
title = {Positive dimensional parametric polynomial systems, connectivity queries
and applications in robotics},
journal = {J. Symb. Comput.},
volume = {115},
pages = {320--345},
year = {2023},
url = {https://doi.org/10.1016/j.jsc.2022.08.008},
doi = {10.1016/J.JSC.2022.08.008},
timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/CapcoDS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaugereLDSV23,
author = {Jean{-}Charles Faug{\`{e}}re and
George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Computing critical points for invariant algebraic systems},
journal = {J. Symb. Comput.},
volume = {116},
pages = {365--399},
year = {2023},
url = {https://doi.org/10.1016/j.jsc.2022.10.002},
doi = {10.1016/J.JSC.2022.10.002},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaugereLDSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EderLMD23,
author = {Christian Eder and
Pierre Lairez and
Rafael Mohr and
Mohab Safey El Din},
title = {A signature-based algorithm for computing the nondegenerate locus
of a polynomial system},
journal = {J. Symb. Comput.},
volume = {119},
pages = {1--21},
year = {2023},
url = {https://doi.org/10.1016/j.jsc.2023.02.001},
doi = {10.1016/J.JSC.2023.02.001},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/EderLMD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/MagronDV23,
author = {Victor Magron and
Mohab Safey El Din and
Trung Hieu Vu},
title = {Sum of Squares Decompositions of Polynomials over their Gradient Ideals
with Rational Coefficients},
journal = {{SIAM} J. Optim.},
volume = {33},
number = {1},
pages = {63--88},
year = {2023},
url = {https://doi.org/10.1137/21m1436245},
doi = {10.1137/21M1436245},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamjo/MagronDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanND23,
author = {Alin Bostan and
Hadrien Notarantonio and
Mohab Safey El Din},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {Fast Algorithms for Discrete Differential Equations},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {80--89},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597103},
doi = {10.1145/3597066.3597103},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BostanND23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EderLMD23,
author = {Christian Eder and
Pierre Lairez and
Rafael Mohr and
Mohab Safey El Din},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {A Direttissimo Algorithm for Equidimensional Decomposition},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {260--269},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597069},
doi = {10.1145/3597066.3597069},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/EderLMD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GopalakrishnanN23,
author = {Sriram Gopalakrishnan and
Vincent Neiger and
Mohab Safey El Din},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {Refined {F5} Algorithms for Ideals of Minors of Square Matrices},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {270--279},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597077},
doi = {10.1145/3597066.3597077},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GopalakrishnanN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LabahnRDSV23,
author = {George Labahn and
Cordian Riener and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {Faster real root decision algorithm for symmetric polynomials},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {452--460},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597097},
doi = {10.1145/3597066.3597097},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LabahnRDSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-05375,
author = {Sriram Gopalakrishnan and
Vincent Neiger and
Mohab Safey El Din},
title = {Refined {\textdollar}F{\_}5{\textdollar} Algorithms for Ideals of
Minors of Square Matrices},
journal = {CoRR},
volume = {abs/2302.05375},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.05375},
doi = {10.48550/ARXIV.2302.05375},
eprinttype = {arXiv},
eprint = {2302.05375},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-05375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06203,
author = {Alin Bostan and
Hadrien Notarantonio and
Mohab Safey El Din},
title = {Fast Algorithms for Discrete Differential Equations},
journal = {CoRR},
volume = {abs/2302.06203},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06203},
doi = {10.48550/ARXIV.2302.06203},
eprinttype = {arXiv},
eprint = {2302.06203},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-08174,
author = {Christian Eder and
Pierre Lairez and
Rafael Mohr and
Mohab Safey El Din},
title = {A Direttissimo Algorithm for Equidimensional Decomposition},
journal = {CoRR},
volume = {abs/2302.08174},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.08174},
doi = {10.48550/ARXIV.2302.08174},
eprinttype = {arXiv},
eprint = {2302.08174},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-08174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03855,
author = {George Labahn and
Cordian Riener and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Faster real root decision algorithm for symmetric polynomials},
journal = {CoRR},
volume = {abs/2306.03855},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.03855},
doi = {10.48550/ARXIV.2306.03855},
eprinttype = {arXiv},
eprint = {2306.03855},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-03855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/FontanCBGD22,
author = {Jorge Garc{\'{\i}}a Font{\'{a}}n and
Alessandro Colotti and
S{\'{e}}bastien Briot and
Alexandre Goldsztejn and
Mohab Safey El Din},
title = {Computer algebra methods for polynomial system solving at the service
of image-based visual servoing},
journal = {{ACM} Commun. Comput. Algebra},
volume = {56},
number = {2},
pages = {36--40},
year = {2022},
url = {https://doi.org/10.1145/3572867.3572871},
doi = {10.1145/3572867.3572871},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/FontanCBGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/EderLMD22,
author = {Christian Eder and
Pierre Lairez and
Rafael Mohr and
Mohab Safey El Din},
title = {Towards signature-based gr{\"{o}}bner basis algorithms for computing
the nondegenerate locus of a polynomial system},
journal = {{ACM} Commun. Comput. Algebra},
volume = {56},
number = {2},
pages = {41--45},
year = {2022},
url = {https://doi.org/10.1145/3572867.3572872},
doi = {10.1145/3572867.3572872},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/EderLMD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcv/FontanNBD22,
author = {Jorge Garc{\'{\i}}a Font{\'{a}}n and
Abhilash Nayak and
S{\'{e}}bastien Briot and
Mohab Safey El Din},
title = {Singularity Analysis for the Perspective-Four and Five-Line Problems},
journal = {Int. J. Comput. Vis.},
volume = {130},
number = {4},
pages = {909--932},
year = {2022},
url = {https://doi.org/10.1007/s11263-021-01567-4},
doi = {10.1007/S11263-021-01567-4},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcv/FontanNBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BerthomieuD22,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Mohab Safey El Din},
title = {Guessing Gr{\"{o}}bner bases of structured ideals of relations
of sequences},
journal = {J. Symb. Comput.},
volume = {111},
pages = {1--26},
year = {2022},
url = {https://doi.org/10.1016/j.jsc.2021.11.001},
doi = {10.1016/J.JSC.2021.11.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BerthomieuD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LeD22,
author = {Huu Phuoc Le and
Mohab Safey El Din},
title = {Solving parametric systems of polynomial equations over the reals
through Hermite matrices},
journal = {J. Symb. Comput.},
volume = {112},
pages = {25--61},
year = {2022},
url = {https://doi.org/10.1016/j.jsc.2021.12.002},
doi = {10.1016/J.JSC.2021.12.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/LeD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/TrutmanDHP22,
author = {Pavel Trutman and
Mohab Safey El Din and
Didier Henrion and
Tom{\'{a}}s Pajdla},
title = {Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {7},
number = {3},
pages = {6012--6019},
year = {2022},
url = {https://doi.org/10.1109/LRA.2022.3163444},
doi = {10.1109/LRA.2022.3163444},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/TrutmanDHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanCND22,
author = {Alin Bostan and
Fr{\'{e}}d{\'{e}}ric Chyzak and
Hadrien Notarantonio and
Mohab Safey El Din},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {Algorithms for Discrete Differential Equations of Order 1},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {101--110},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3535471},
doi = {10.1145/3476446.3535471},
timestamp = {Wed, 06 Jul 2022 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/issac/BostanCND22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MagronDSV22,
author = {Victor Magron and
Mohab Safey El Din and
Markus Schweighofer and
Trung Hieu Vu},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {Exact {SOHS} Decompositions of Trigonometric Univariate Polynomials
with Gaussian Coefficients},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {325--332},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3535480},
doi = {10.1145/3476446.3535480},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MagronDSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BerthomieuND22,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Vincent Neiger and
Mohab Safey El Din},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {Faster Change of Order Algorithm for Gr{\"{o}}bner Bases under
Shape and Stability Assumptions},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {409--418},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3535484},
doi = {10.1145/3476446.3535484},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BerthomieuND22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChablatPDSW22,
author = {Damien Chablat and
R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
Durgesh Haribhau Salunkhe and
Philippe Wenger},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {Deciding Cuspidality of Manipulators through Computer Algebra and
Algorithms in Real Algebraic Geometry},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {439--448},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3535477},
doi = {10.1145/3476446.3535477},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ChablatPDSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06544,
author = {Victor Magron and
Mohab Safey El Din and
Markus Schweighofer and
Trung Hieu Vu},
title = {Exact {SOHS} decompositions of trigonometric univariate polynomials
with Gaussian coefficients},
journal = {CoRR},
volume = {abs/2202.06544},
year = {2022},
url = {https://arxiv.org/abs/2202.06544},
eprinttype = {arXiv},
eprint = {2202.06544},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09226,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Vincent Neiger and
Mohab Safey El Din},
title = {Faster change of order algorithm for Gr{\"{o}}bner bases under
shape and stability assumptions},
journal = {CoRR},
volume = {abs/2202.09226},
year = {2022},
url = {https://arxiv.org/abs/2202.09226},
eprinttype = {arXiv},
eprint = {2202.09226},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13387,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Christian Eder and
Mohab Safey El Din},
title = {New efficient algorithms for computing Gr{\"{o}}bner bases of
saturation ideals {(F4SAT)} and colon ideals (Sparse-FGLM-colon)},
journal = {CoRR},
volume = {abs/2202.13387},
year = {2022},
url = {https://arxiv.org/abs/2202.13387},
eprinttype = {arXiv},
eprint = {2202.13387},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13784,
author = {Christian Eder and
Pierre Lairez and
Rafael Mohr and
Mohab Safey El Din},
title = {A Signature-based Algorithm for Computing the Nondegenerate Locus
of a Polynomial System},
journal = {CoRR},
volume = {abs/2202.13784},
year = {2022},
url = {https://arxiv.org/abs/2202.13784},
eprinttype = {arXiv},
eprint = {2202.13784},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03961,
author = {R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Computing roadmaps in unbounded smooth real algebraic sets {I:} connectivity
results},
journal = {CoRR},
volume = {abs/2203.03961},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03961},
doi = {10.48550/ARXIV.2203.03961},
eprinttype = {arXiv},
eprint = {2203.03961},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-04578,
author = {Damien Chablat and
R{\'{e}}mi Pr{\'{e}}bet and
Mohab Safey El Din and
Durgesh Haribhau Salunkhe and
Philippe Wenger},
title = {Deciding cuspidality of manipulators through computer algebra and
algorithms in real algebraic geometry},
journal = {CoRR},
volume = {abs/2203.04578},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.04578},
doi = {10.48550/ARXIV.2203.04578},
eprinttype = {arXiv},
eprint = {2203.04578},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-04578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-10021,
author = {Alin Bostan and
J{\'{e}}r{\'{e}}my Berthomieu and
Andrew Ferguson and
Mohab Safey El Din},
title = {Gr{\"{o}}bner bases and critical values: The asymptotic combinatorics
of determinantal systems},
journal = {CoRR},
volume = {abs/2203.10021},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.10021},
doi = {10.48550/ARXIV.2203.10021},
eprinttype = {arXiv},
eprint = {2203.10021},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-10021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BerardHPDS21,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Claudine Picaronny and
Mohab Safey El Din and
Mathieu Sassolas},
title = {Polynomial interrupt timed automata: Verification and expressiveness},
journal = {Inf. Comput.},
volume = {277},
pages = {104580},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104580},
doi = {10.1016/J.IC.2020.104580},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BerardHPDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcv/Pascual-Escudero21,
author = {Beatriz Pascual{-}Escudero and
Abhilash Nayak and
S{\'{e}}bastien Briot and
Olivier Kermorgant and
Philippe Martinet and
Mohab Safey El Din and
Fran{\c{c}}ois Chaumette},
title = {Complete Singularity Analysis for the Perspective-Four-Point Problem},
journal = {Int. J. Comput. Vis.},
volume = {129},
number = {4},
pages = {1217--1237},
year = {2021},
url = {https://doi.org/10.1007/s11263-020-01420-0},
doi = {10.1007/S11263-020-01420-0},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcv/Pascual-Escudero21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/LabahnDSV21,
author = {George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Homotopy techniques for solving sparse column support determinantal
polynomial systems},
journal = {J. Complex.},
volume = {66},
pages = {101557},
year = {2021},
url = {https://doi.org/10.1016/j.jco.2021.101557},
doi = {10.1016/J.JCO.2021.101557},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jc/LabahnDSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DinYZ21,
author = {Mohab Safey El Din and
Zhi{-}Hong Yang and
Lihong Zhi},
title = {Computing real radicals and \emph{S}-radicals of polynomial systems},
journal = {J. Symb. Comput.},
volume = {102},
pages = {259--278},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2019.10.018},
doi = {10.1016/J.JSC.2019.10.018},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DinYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HauensteinDSV21,
author = {Jonathan D. Hauenstein and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Solving determinantal systems using homotopy techniques},
journal = {J. Symb. Comput.},
volume = {104},
pages = {754--804},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2020.09.008},
doi = {10.1016/J.JSC.2020.09.008},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HauensteinDSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HenrionND21,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Exact algorithms for semidefinite programs with degenerate feasible
set},
journal = {J. Symb. Comput.},
volume = {104},
pages = {942--959},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2020.11.001},
doi = {10.1016/J.JSC.2020.11.001},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/HenrionND21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MagronD21,
author = {Victor Magron and
Mohab Safey El Din},
title = {On exact Reznick, Hilbert-Artin and Putinar's representations},
journal = {J. Symb. Comput.},
volume = {107},
pages = {221--250},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2021.03.005},
doi = {10.1016/J.JSC.2021.03.005},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MagronD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BerthomieuED21,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Christian Eder and
Mohab Safey El Din},
editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
title = {msolve: {A} Library for Solving Polynomial Systems},
booktitle = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
Virtual Event, Russia, July 18-23, 2021},
pages = {51--58},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452143.3465545},
doi = {10.1145/3452143.3465545},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BerthomieuED21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LairezD21,
author = {Pierre Lairez and
Mohab Safey El Din},
editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
title = {Computing the Dimension of Real Algebraic Sets},
booktitle = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
Virtual Event, Russia, July 18-23, 2021},
pages = {257--264},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452143.3465551},
doi = {10.1145/3452143.3465551},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LairezD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LeD21,
author = {Huu Phuoc Le and
Mohab Safey El Din},
editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
title = {Faster One Block Quantifier Elimination for Regular Polynomial Systems
of Equations},
booktitle = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
Virtual Event, Russia, July 18-23, 2021},
pages = {265--272},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452143.3465546},
doi = {10.1145/3452143.3465546},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LeD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-13735,
author = {Huu Phuoc Le and
Mohab Safey El Din},
title = {Faster one block quantifier elimination for regular polynomial systems
of equations},
journal = {CoRR},
volume = {abs/2103.13735},
year = {2021},
url = {https://arxiv.org/abs/2103.13735},
eprinttype = {arXiv},
eprint = {2103.13735},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-13735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-00913,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Andrew Ferguson and
Mohab Safey El Din},
title = {On the computation of asymptotic critical values of polynomial maps
and applications},
journal = {CoRR},
volume = {abs/2104.00913},
year = {2021},
url = {https://arxiv.org/abs/2104.00913},
eprinttype = {arXiv},
eprint = {2104.00913},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-00913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03572,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Christian Eder and
Mohab Safey El Din},
title = {msolve: {A} Library for Solving Polynomial Systems},
journal = {CoRR},
volume = {abs/2104.03572},
year = {2021},
url = {https://arxiv.org/abs/2104.03572},
eprinttype = {arXiv},
eprint = {2104.03572},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10255,
author = {Pierre Lairez and
Mohab Safey El Din},
title = {Computing the dimension of a real algebraic set},
journal = {CoRR},
volume = {abs/2105.10255},
year = {2021},
url = {https://arxiv.org/abs/2105.10255},
eprinttype = {arXiv},
eprint = {2105.10255},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-11825,
author = {Victor Magron and
Mohab Safey El Din and
Trung Hieu Vu},
title = {Sum of Squares Decompositions of Polynomials over their Gradient Ideals
with Rational Coefficients},
journal = {CoRR},
volume = {abs/2107.11825},
year = {2021},
url = {https://arxiv.org/abs/2107.11825},
eprinttype = {arXiv},
eprint = {2107.11825},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-11825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/HenrionND20,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Real root finding for low rank linear matrices},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {31},
number = {2},
pages = {101--133},
year = {2020},
url = {https://doi.org/10.1007/s00200-019-00396-w},
doi = {10.1007/S00200-019-00396-W},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/HenrionND20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BerthomieuFD20,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Andrew Ferguson and
Mohab Safey El Din},
title = {Towards fast one-block quantifier elimination through generalised
critical values},
journal = {{ACM} Commun. Comput. Algebra},
volume = {54},
number = {3},
pages = {109--113},
year = {2020},
url = {https://doi.org/10.1145/3457341.3457348},
doi = {10.1145/3457341.3457348},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/BerthomieuFD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DinY20,
author = {Mohab Safey El Din and
Chee Yap},
title = {Special Issue on Symbolic and Algebraic Computation: {ISSAC} 2017},
journal = {J. Symb. Comput.},
volume = {98},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.07.003},
doi = {10.1016/J.JSC.2019.07.003},
timestamp = {Wed, 27 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DinY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CapcoDS20,
author = {Jose Capco and
Mohab Safey El Din and
Josef Schicho},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Robots, computer algebra and eight connected components},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {62--69},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404048},
doi = {10.1145/3373207.3404048},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/CapcoDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LeDW20,
author = {Huu Phuoc Le and
Mohab Safey El Din and
Timo de Wolff},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Computing the real isolated points of an algebraic hypersurface},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {297--304},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404049},
doi = {10.1145/3373207.3404049},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LeDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12550,
author = {Pavel Trutman and
Mohab Safey El Din and
Didier Henrion and
Tom{\'{a}}s Pajdla},
title = {Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator},
journal = {CoRR},
volume = {abs/2007.12550},
year = {2020},
url = {https://arxiv.org/abs/2007.12550},
eprinttype = {arXiv},
eprint = {2007.12550},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-10331,
author = {Huu Phuoc Le and
Mohab Safey El Din and
Timo de Wolff},
title = {Computing the Real Isolated Points of an Algebraic Hypersurface},
journal = {CoRR},
volume = {abs/2008.10331},
year = {2020},
url = {https://arxiv.org/abs/2008.10331},
eprinttype = {arXiv},
eprint = {2008.10331},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-10331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13392,
author = {Jose Capco and
Mohab Safey El Din and
Josef Schicho},
title = {Robots, computer algebra and eight connected components},
journal = {CoRR},
volume = {abs/2008.13392},
year = {2020},
url = {https://arxiv.org/abs/2008.13392},
eprinttype = {arXiv},
eprint = {2008.13392},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00844,
author = {George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Homotopy techniques for solving sparse column support determinantal
polynomial systems},
journal = {CoRR},
volume = {abs/2009.00844},
year = {2020},
url = {https://arxiv.org/abs/2009.00844},
eprinttype = {arXiv},
eprint = {2009.00844},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00847,
author = {Jean{-}Charles Faug{\`{e}}re and
George Labahn and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Computing critical points for invariant algebraic systems},
journal = {CoRR},
volume = {abs/2009.00847},
year = {2020},
url = {https://arxiv.org/abs/2009.00847},
eprinttype = {arXiv},
eprint = {2009.00847},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-05248,
author = {J{\'{e}}r{\'{e}}my Berthomieu and
Mohab Safey El Din},
title = {Guessing Gr\{{\"{o}}\}bner Bases of Structured Ideals of Relations
of Sequences},
journal = {CoRR},
volume = {abs/2009.05248},
year = {2020},
url = {https://arxiv.org/abs/2009.05248},
eprinttype = {arXiv},
eprint = {2009.05248},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-05248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-02162,
author = {Hoon Hong and
James Rohal and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Connectivity in Semi-Algebraic Sets {I}},
journal = {CoRR},
volume = {abs/2011.02162},
year = {2020},
url = {https://arxiv.org/abs/2011.02162},
eprinttype = {arXiv},
eprint = {2011.02162},
timestamp = {Mon, 09 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-02162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14136,
author = {Huu Phuoc Le and
Mohab Safey El Din},
title = {Solving parametric systems of polynomial equations over the reals
through Hermite matrices},
journal = {CoRR},
volume = {abs/2011.14136},
year = {2020},
url = {https://arxiv.org/abs/2011.14136},
eprinttype = {arXiv},
eprint = {2011.14136},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MagronDS19,
author = {Victor Magron and
Mohab Safey El Din and
Markus Schweighofer},
title = {Algorithms for weighted sum of squares decomposition of non-negative
univariate polynomials},
journal = {J. Symb. Comput.},
volume = {93},
pages = {200--220},
year = {2019},
url = {https://doi.org/10.1016/j.jsc.2018.06.005},
doi = {10.1016/J.JSC.2018.06.005},
timestamp = {Sat, 16 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MagronDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oms/HenrionND19,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {{SPECTRA} - a Maple library for solving linear matrix inequalities
in exact arithmetic},
journal = {Optim. Methods Softw.},
volume = {34},
number = {1},
pages = {62--78},
year = {2019},
url = {https://doi.org/10.1080/10556788.2017.1341505},
doi = {10.1080/10556788.2017.1341505},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oms/HenrionND19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LairezMD19,
author = {Pierre Lairez and
Marc Mezzarobba and
Mohab Safey El Din},
editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
title = {Computing the Volume of Compact Semi-Algebraic Sets},
booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
pages = {259--266},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3326229.3326262},
doi = {10.1145/3326229.3326262},
timestamp = {Wed, 31 Jan 2024 21:56:28 +0100},
biburl = {https://dblp.org/rec/conf/issac/LairezMD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11705,
author = {Pierre Lairez and
Marc Mezzarobba and
Mohab Safey El Din},
title = {Computing the volume of compact semi-algebraic sets},
journal = {CoRR},
volume = {abs/1904.11705},
year = {2019},
url = {http://arxiv.org/abs/1904.11705},
eprinttype = {arXiv},
eprint = {1904.11705},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/MagronD18,
author = {Victor Magron and
Mohab Safey El Din},
title = {Realcertify: a maple package for certifying non-negativity},
journal = {{ACM} Commun. Comput. Algebra},
volume = {52},
number = {2},
pages = {34--37},
year = {2018},
url = {https://doi.org/10.1145/3282678.3282681},
doi = {10.1145/3282678.3282681},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/MagronD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DinS18,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Bit complexity for multi-homogeneous polynomial system solving - Application
to polynomial minimization},
journal = {J. Symb. Comput.},
volume = {87},
pages = {176--206},
year = {2018},
url = {https://doi.org/10.1016/j.jsc.2017.08.001},
doi = {10.1016/J.JSC.2017.08.001},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DinS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siaga/FawziD18,
author = {Hamza Fawzi and
Mohab Safey El Din},
title = {A Lower Bound on the Positive Semidefinite Rank of Convex Bodies},
journal = {{SIAM} J. Appl. Algebra Geom.},
volume = {2},
number = {1},
pages = {126--139},
year = {2018},
url = {https://doi.org/10.1137/17M1142570},
doi = {10.1137/17M1142570},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siaga/FawziD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HenrionND18,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
title = {Exact Algorithms for Semidefinite Programs with Degenerate Feasible
Set},
booktitle = {Proceedings of the 2018 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2018, New York, NY, USA, July 16-19,
2018},
pages = {191--198},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208976.3209022},
doi = {10.1145/3208976.3209022},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HenrionND18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MagronD18,
author = {Victor Magron and
Mohab Safey El Din},
editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
title = {On Exact Polya and Putinar's Representations},
booktitle = {Proceedings of the 2018 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2018, New York, NY, USA, July 16-19,
2018},
pages = {279--286},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208976.3208986},
doi = {10.1145/3208976.3208986},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MagronD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RienerD18,
author = {Cordian Riener and
Mohab Safey El Din},
editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
title = {Real Root Finding for Equivariant Semi-algebraic Systems},
booktitle = {Proceedings of the 2018 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2018, New York, NY, USA, July 16-19,
2018},
pages = {335--342},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208976.3209023},
doi = {10.1145/3208976.3209023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/RienerD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DinYZ18,
author = {Mohab Safey El Din and
Zhi{-}Hong Yang and
Lihong Zhi},
editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
title = {On the Complexity of Computing Real Radicals of Polynomial Systems},
booktitle = {Proceedings of the 2018 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2018, New York, NY, USA, July 16-19,
2018},
pages = {351--358},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208976.3209002},
doi = {10.1145/3208976.3209002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DinYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02834,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Exact algorithms for semidefinite programs with degenerate feasible
set},
journal = {CoRR},
volume = {abs/1802.02834},
year = {2018},
url = {http://arxiv.org/abs/1802.02834},
eprinttype = {arXiv},
eprint = {1802.02834},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-10339,
author = {Victor Magron and
Mohab Safey El Din},
title = {On Exact Polya and Putinar's Representations},
journal = {CoRR},
volume = {abs/1802.10339},
year = {2018},
url = {http://arxiv.org/abs/1802.10339},
eprinttype = {arXiv},
eprint = {1802.10339},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-10339.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-10409,
author = {Jonathan D. Hauenstein and
Mohab Safey El Din and
{\'{E}}ric Schost and
Thi Xuan Vu},
title = {Solving determinantal systems using homotopy techniques},
journal = {CoRR},
volume = {abs/1802.10409},
year = {2018},
url = {http://arxiv.org/abs/1802.10409},
eprinttype = {arXiv},
eprint = {1802.10409},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-10409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02201,
author = {Victor Magron and
Mohab Safey El Din},
title = {RealCertify: a Maple package for certifying non-negativity},
journal = {CoRR},
volume = {abs/1805.02201},
year = {2018},
url = {http://arxiv.org/abs/1805.02201},
eprinttype = {arXiv},
eprint = {1805.02201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08121,
author = {Cordian Riener and
Mohab Safey El Din},
title = {Real root finding for equivariant semi-algebraic systems},
journal = {CoRR},
volume = {abs/1806.08121},
year = {2018},
url = {http://arxiv.org/abs/1806.08121},
eprinttype = {arXiv},
eprint = {1806.08121},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08121.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10062,
author = {Victor Magron and
Mohab Safey El Din},
title = {On Exact Polya, Hilbert-Artin and Putinar's Representations},
journal = {CoRR},
volume = {abs/1811.10062},
year = {2018},
url = {http://arxiv.org/abs/1811.10062},
eprinttype = {arXiv},
eprint = {1811.10062},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DinS17,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth
and Bounded Real Algebraic Sets},
journal = {J. {ACM}},
volume = {63},
number = {6},
pages = {48:1--48:37},
year = {2017},
url = {https://doi.org/10.1145/2996450},
doi = {10.1145/2996450},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DinS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2017,
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604},
doi = {10.1145/3087604},
isbn = {978-1-4503-5064-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FawziD17,
author = {Hamza Fawzi and
Mohab Safey El Din},
title = {A lower bound on the positive semidefinite rank of convex bodies},
journal = {CoRR},
volume = {abs/1705.06996},
year = {2017},
url = {http://arxiv.org/abs/1705.06996},
eprinttype = {arXiv},
eprint = {1705.06996},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FawziD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MagronDS17,
author = {Victor Magron and
Mohab Safey El Din and
Markus Schweighofer},
title = {Algorithms for Weighted Sums of Squares Decomposition of Non-negative
Univariate Polynomials},
journal = {CoRR},
volume = {abs/1706.03941},
year = {2017},
url = {http://arxiv.org/abs/1706.03941},
eprinttype = {arXiv},
eprint = {1706.03941},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MagronDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HenrionND16,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Real root finding for determinants of linear matrices},
journal = {J. Symb. Comput.},
volume = {74},
pages = {205--238},
year = {2016},
url = {https://doi.org/10.1016/j.jsc.2015.06.010},
doi = {10.1016/J.JSC.2015.06.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HenrionND16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaugereDV16,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Thibaut Verron},
title = {On the complexity of computing Gr{\"{o}}bner bases for weighted
homogeneous systems},
journal = {J. Symb. Comput.},
volume = {76},
pages = {107--141},
year = {2016},
url = {https://doi.org/10.1016/j.jsc.2015.12.001},
doi = {10.1016/J.JSC.2015.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaugereDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/HenrionND16,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Exact Algorithms for Linear Matrix Inequalities},
journal = {{SIAM} J. Optim.},
volume = {26},
number = {4},
pages = {2512--2539},
year = {2016},
url = {https://doi.org/10.1137/15M1036543},
doi = {10.1137/15M1036543},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/HenrionND16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BonnardFJDV16,
author = {Bernard Bonnard and
Jean{-}Charles Faug{\`{e}}re and
Alain Jacquemard and
Mohab Safey El Din and
Thibaut Verron},
editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
title = {Determinantal Sets, Singularities and Application to Optimal Control
in Medical Imagery},
booktitle = {Proceedings of the {ACM} on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2016, Waterloo, ON, Canada, July 19-22,
2016},
pages = {103--110},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2930889.2930916},
doi = {10.1145/2930889.2930916},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BonnardFJDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DinS16,
author = {Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
title = {Critical Point Computations on Smooth Varieties: Degree and Complexity
Bounds},
booktitle = {Proceedings of the {ACM} on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2016, Waterloo, ON, Canada, July 19-22,
2016},
pages = {183--190},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2930889.2930929},
doi = {10.1145/2930889.2930929},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DinS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonnardFJDV16,
author = {Bernard Bonnard and
Jean{-}Charles Faug{\`{e}}re and
Alain Jacquemard and
Mohab Safey El Din and
Thibaut Verron},
title = {Determinantal sets, singularities and application to optimal control
in medical imagery},
journal = {CoRR},
volume = {abs/1605.00887},
year = {2016},
url = {http://arxiv.org/abs/1605.00887},
eprinttype = {arXiv},
eprint = {1605.00887},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonnardFJDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DinS16,
author = {Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {Critical Point Computations on Smooth Varieties: Degree and Complexity
bounds},
journal = {CoRR},
volume = {abs/1605.02518},
year = {2016},
url = {http://arxiv.org/abs/1605.02518},
eprinttype = {arXiv},
eprint = {1605.02518},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DinS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DinS16a,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Bit complexity for multi-homogeneous polynomial system solving Application
to polynomial minimization},
journal = {CoRR},
volume = {abs/1605.07433},
year = {2016},
url = {http://arxiv.org/abs/1605.07433},
eprinttype = {arXiv},
eprint = {1605.07433},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DinS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HenrionND16,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {{SPECTRA} -a Maple library for solving linear matrix inequalities
in exact arithmetic},
journal = {CoRR},
volume = {abs/1611.01947},
year = {2016},
url = {http://arxiv.org/abs/1611.01947},
eprinttype = {arXiv},
eprint = {1611.01947},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HenrionND16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BannwarthD15,
author = {Ivan Bannwarth and
Mohab Safey El Din},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {Probabilistic Algorithm for Computing the Dimension of Real Algebraic
Sets},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {37--44},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756670},
doi = {10.1145/2755996.2756670},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BannwarthD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuoDWZ15,
author = {Feng Guo and
Mohab Safey El Din and
Chu Wang and
Lihong Zhi},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {Optimizing a Parametric Linear Function over a Non-compact Real Algebraic
Variety},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {205--212},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756666},
doi = {10.1145/2755996.2756666},
timestamp = {Thu, 11 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GuoDWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HenrionND15,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {Real Root Finding for Rank Defects in Linear Hankel Matrices},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {221--228},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756667},
doi = {10.1145/2755996.2756667},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HenrionND15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BerardHPDS15,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Claudine Picaronny and
Mohab Safey El Din and
Mathieu Sassolas},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Polynomial Interrupt Timed Automata},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {20--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_3},
doi = {10.1007/978-3-319-24537-9\_3},
timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
biburl = {https://dblp.org/rec/conf/rp/BerardHPDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HenrionND15,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Real root finding for rank defects in linear Hankel matrices},
journal = {CoRR},
volume = {abs/1502.02473},
year = {2015},
url = {http://arxiv.org/abs/1502.02473},
eprinttype = {arXiv},
eprint = {1502.02473},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HenrionND15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerardHPDS15,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Claudine Picaronny and
Mohab Safey El Din and
Mathieu Sassolas},
title = {Polynomial Interrupt Timed Automata},
journal = {CoRR},
volume = {abs/1504.04541},
year = {2015},
url = {http://arxiv.org/abs/1504.04541},
eprinttype = {arXiv},
eprint = {1504.04541},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerardHPDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HenrionND15a,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Real root finding for low rank linear matrices},
journal = {CoRR},
volume = {abs/1506.05897},
year = {2015},
url = {http://arxiv.org/abs/1506.05897},
eprinttype = {arXiv},
eprint = {1506.05897},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HenrionND15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HenrionND15b,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Exact algorithms for linear matrix inequalities},
journal = {CoRR},
volume = {abs/1508.03715},
year = {2015},
url = {http://arxiv.org/abs/1508.03715},
eprinttype = {arXiv},
eprint = {1508.03715},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HenrionND15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/focm/BasuRDS14,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A Baby Step-Giant Step Roadmap Algorithm for General Algebraic Sets},
journal = {Found. Comput. Math.},
volume = {14},
number = {6},
pages = {1117--1172},
year = {2014},
url = {https://doi.org/10.1007/s10208-014-9212-1},
doi = {10.1007/S10208-014-9212-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/focm/BasuRDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/BankGHD14,
author = {Bernd Bank and
Marc Giusti and
Joos Heintz and
Mohab Safey El Din},
title = {Intrinsic complexity estimates in polynomial optimization},
journal = {J. Complex.},
volume = {30},
number = {4},
pages = {430--443},
year = {2014},
url = {https://doi.org/10.1016/j.jco.2014.02.005},
doi = {10.1016/J.JCO.2014.02.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/BankGHD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/GreuetD14,
author = {Aur{\'{e}}lien Greuet and
Mohab Safey El Din},
title = {Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic
Set},
journal = {{SIAM} J. Optim.},
volume = {24},
number = {3},
pages = {1313--1343},
year = {2014},
url = {https://doi.org/10.1137/130931308},
doi = {10.1137/130931308},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/GreuetD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanCD14,
author = {Alin Bostan and
Thierry Combot and
Mohab Safey El Din},
editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
title = {Computing necessary integrability conditions for planar parametrized
homogeneous potentials},
booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
pages = {67--74},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2608628.2608662},
doi = {10.1145/2608628.2608662},
timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
biburl = {https://dblp.org/rec/conf/issac/BostanCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BostanCM14,
author = {Alin Bostan and
Thierry Combot and
Mohab Safey El Din},
title = {Computing necessary integrability conditions for planar parametrized
homogeneous potentials},
journal = {CoRR},
volume = {abs/1405.5342},
year = {2014},
url = {http://arxiv.org/abs/1405.5342},
eprinttype = {arXiv},
eprint = {1405.5342},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BostanCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HenrionND14,
author = {Didier Henrion and
Simone Naldi and
Mohab Safey El Din},
title = {Real root finding for determinants of linear matrices},
journal = {CoRR},
volume = {abs/1412.5873},
year = {2014},
url = {http://arxiv.org/abs/1412.5873},
eprinttype = {arXiv},
eprint = {1412.5873},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HenrionND14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FaugereDV14,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Thibaut Verron},
title = {On the complexity of computing Gr\{{\"{o}}\}bner bases for weighted
homogeneous systems},
journal = {CoRR},
volume = {abs/1412.7547},
year = {2014},
url = {http://arxiv.org/abs/1412.7547},
eprinttype = {arXiv},
eprint = {1412.7547},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FaugereDV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaugereDS13,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {On the complexity of the generalized MinRank problem},
journal = {J. Symb. Comput.},
volume = {55},
pages = {30--58},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2013.03.004},
doi = {10.1016/J.JSC.2013.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaugereDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Din13,
author = {Mohab Safey El Din},
editor = {Manuel Kauers},
title = {Critical point methods and effective real algebraic geometry: new
results and trends},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
pages = {5--6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465506.2465928},
doi = {10.1145/2465506.2465928},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Din13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereDV13,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Thibaut Verron},
editor = {Manuel Kauers},
title = {On the complexity of computing gr{\"{o}}bner bases for quasi-homogeneous
systems},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
pages = {189--196},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465506.2465943},
doi = {10.1145/2465506.2465943},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FaugereDV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuoDZ13,
author = {Qingdong Guo and
Mohab Safey El Din and
Lihong Zhi},
editor = {Manuel Kauers},
title = {Computing rational solutions of linear matrix inequalities},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
pages = {197--204},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465506.2465949},
doi = {10.1145/2465506.2465949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GuoDZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5612,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Thibaut Verron},
title = {Computing Gr{\"{o}}bner bases for quasi-homogeneous systems},
journal = {CoRR},
volume = {abs/1301.5612},
year = {2013},
url = {http://arxiv.org/abs/1301.5612},
eprinttype = {arXiv},
eprint = {1301.5612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1928,
author = {Mohab Safey El Din and
Elias P. Tsigaridas},
title = {A probabilistic algorithm to compute the real dimension of a semi-algebraic
set},
journal = {CoRR},
volume = {abs/1304.1928},
year = {2013},
url = {http://arxiv.org/abs/1304.1928},
eprinttype = {arXiv},
eprint = {1304.1928},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5214,
author = {Bernd Bank and
Marc Giusti and
Joos Heintz and
Mohab Safey El Din},
title = {Intrinsic complexity estimates in polynomial optimization},
journal = {CoRR},
volume = {abs/1304.5214},
year = {2013},
url = {http://arxiv.org/abs/1304.5214},
eprinttype = {arXiv},
eprint = {1304.5214},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DinS13,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A nearly optimal algorithm for deciding connectivity queries in smooth
and bounded real algebraic sets},
journal = {CoRR},
volume = {abs/1307.7836},
year = {2013},
url = {http://arxiv.org/abs/1307.7836},
eprinttype = {arXiv},
eprint = {1307.7836},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DinS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GreuetD13,
author = {Aur{\'{e}}lien Greuet and
Mohab Safey El Din},
title = {Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic
Set},
journal = {CoRR},
volume = {abs/1307.8281},
year = {2013},
url = {http://arxiv.org/abs/1307.8281},
eprinttype = {arXiv},
eprint = {1307.8281},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GreuetD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GreuetGDZ12,
author = {Aur{\'{e}}lien Greuet and
Feng Guo and
Mohab Safey El Din and
Lihong Zhi},
title = {Global optimization of polynomials restricted to a smooth variety
using sums of squares},
journal = {J. Symb. Comput.},
volume = {47},
number = {5},
pages = {503--518},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.003},
doi = {10.1016/J.JSC.2011.12.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GreuetGDZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HongD12,
author = {Hoon Hong and
Mohab Safey El Din},
title = {Variant quantifier elimination},
journal = {J. Symb. Comput.},
volume = {47},
number = {7},
pages = {883--901},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.05.014},
doi = {10.1016/J.JSC.2011.05.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HongD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereDS12,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
editor = {Joris van der Hoeven and
Mark van Hoeij},
title = {Critical points and Gr{\"{o}}bner bases: the unmixed case},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
pages = {162--169},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2442829.2442855},
doi = {10.1145/2442829.2442855},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/FaugereDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-6439,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A baby step-giant step roadmap algorithm for general algebraic sets},
journal = {CoRR},
volume = {abs/1201.6439},
year = {2012},
url = {http://arxiv.org/abs/1201.6439},
eprinttype = {arXiv},
eprint = {1201.6439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-6439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0179,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {Critical Points and Gr{\"{o}}bner Bases: the Unmixed Case},
journal = {CoRR},
volume = {abs/1202.0179},
year = {2012},
url = {http://arxiv.org/abs/1202.0179},
eprinttype = {arXiv},
eprint = {1202.0179},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/DinS11,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A Baby Steps/Giant Steps Probabilistic Algorithm for~Computing Roadmaps
in Smooth Bounded Real Hypersurface},
journal = {Discret. Comput. Geom.},
volume = {45},
number = {1},
pages = {181--220},
year = {2011},
url = {https://doi.org/10.1007/s00454-009-9239-2},
doi = {10.1007/S00454-009-9239-2},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/DinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FaugereDS11,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {Gr{\"{o}}bner bases of bihomogeneous ideals generated by polynomials
of bidegree (1, 1): Algorithms and complexity},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {406--437},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.014},
doi = {10.1016/J.JSC.2010.10.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FaugereDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GreuetD11,
author = {Aur{\'{e}}lien Greuet and
Mohab Safey El Din},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Deciding reachability of the infimum of a multivariate polynomial},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {131--138},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993910},
doi = {10.1145/1993886.1993910},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GreuetD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-4411,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {On the Complexity of the Generalized MinRank Problem},
journal = {CoRR},
volume = {abs/1112.4411},
year = {2011},
url = {http://arxiv.org/abs/1112.4411},
eprinttype = {arXiv},
eprint = {1112.4411},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-4411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/BankGHDS10,
author = {Bernd Bank and
Marc Giusti and
Joos Heintz and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {On the geometry of polar varieties},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {21},
number = {1},
pages = {33--83},
year = {2010},
url = {https://doi.org/10.1007/s00200-009-0117-1},
doi = {10.1007/S00200-009-0117-1},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/BankGHDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/DinZ10,
author = {Mohab Safey El Din and
Lihong Zhi},
title = {Computing Rational Points in Convex Semialgebraic Sets and Sum of
Squares Decompositions},
journal = {{SIAM} J. Optim.},
volume = {20},
number = {6},
pages = {2876--2889},
year = {2010},
url = {https://doi.org/10.1137/090772459},
doi = {10.1137/090772459},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/DinZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuoDZ10,
author = {Feng Guo and
Mohab Safey El Din and
Lihong Zhi},
editor = {Wolfram Koepf},
title = {Global optimization of polynomials using generalized critical values
and sums of squares},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {107--114},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837960},
doi = {10.1145/1837934.1837960},
timestamp = {Thu, 11 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GuoDZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereDS10,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
editor = {Wolfram Koepf},
title = {Computing loci of rank defects of linear matrices using Gr{\"{o}}bner
bases and applications to cryptology},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {257--264},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837984},
doi = {10.1145/1837934.1837984},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/FaugereDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-4004,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
title = {Gr{\"{o}}bner Bases of Bihomogeneous Ideals generated by Polynomials
of Bidegree (1,1): Algorithms and Complexity},
journal = {CoRR},
volume = {abs/1001.4004},
year = {2010},
url = {http://arxiv.org/abs/1001.4004},
eprinttype = {arXiv},
eprint = {1001.4004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/EverettLLD09,
author = {Hazel Everett and
Daniel Lazard and
Sylvain Lazard and
Mohab Safey El Din},
title = {The Voronoi Diagram of Three Lines},
journal = {Discret. Comput. Geom.},
volume = {42},
number = {1},
pages = {94--130},
year = {2009},
url = {https://doi.org/10.1007/s00454-009-9173-3},
doi = {10.1007/S00454-009-9173-3},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/EverettLLD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HongD09,
author = {Hoon Hong and
Mohab Safey El Din},
editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
title = {Variant real quantifier elimination: algorithm and application},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
pages = {183--190},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1576702.1576729},
doi = {10.1145/1576702.1576729},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/issac/HongD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1612,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A baby steps/giant steps Monte Carlo algorithm for computing roadmaps
in smooth compact real hypersurfaces},
journal = {CoRR},
volume = {abs/0902.1612},
year = {2009},
url = {http://arxiv.org/abs/0902.1612},
eprinttype = {arXiv},
eprint = {0902.1612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-2973,
author = {Mohab Safey El Din and
Lihong Zhi},
title = {Computing rational points in convex semi-algebraic sets and {SOS}
decompositions},
journal = {CoRR},
volume = {abs/0910.2973},
year = {2009},
url = {http://arxiv.org/abs/0910.2973},
eprinttype = {arXiv},
eprint = {0910.2973},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-2973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Din08,
author = {Mohab Safey El Din},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Computing the global optimum of a multivariate polynomial over the
reals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {71--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390781},
doi = {10.1145/1390768.1390781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Din08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereMRD08,
author = {Jean{-}Charles Faug{\`{e}}re and
Guillaume Moroz and
Fabrice Rouillier and
Mohab Safey El Din},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Classification of the perspective-three-point problem, discriminant
variety and real solving polynomial systems of inequalities},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {79--86},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390782},
doi = {10.1145/1390768.1390782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FaugereMRD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Din07,
author = {Mohab Safey El Din},
title = {Testing Sign Conditions on a Multivariate Polynomial and Applications},
journal = {Math. Comput. Sci.},
volume = {1},
number = {1},
pages = {177--207},
year = {2007},
url = {https://doi.org/10.1007/s11786-007-0003-9},
doi = {10.1007/S11786-007-0003-9},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Din07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/Din07,
author = {Mohab Safey El Din},
editor = {Deepak Kapur},
title = {Practical and Theoretical Issues for the Computation of Generalized
Critical Values of a Polynomial Mapping},
booktitle = {Computer Mathematics, 8th Asian Symposium, {ASCM} 2007, Singapore,
December 15-17, 2007. Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5081},
pages = {42--56},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-87827-8\_4},
doi = {10.1007/978-3-540-87827-8\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ascm/Din07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/EverettLLD07,
author = {Hazel Everett and
Sylvain Lazard and
Daniel Lazard and
Mohab Safey El Din},
editor = {Jeff Erickson},
title = {The voronoi diagram of three lines},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Computational Geometry,
Gyeongju, South Korea, June 6-8, 2007},
pages = {255--264},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1247069.1247116},
doi = {10.1145/1247069.1247116},
timestamp = {Mon, 14 Jun 2021 16:25:02 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/EverettLLD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DinT07,
author = {Mohab Safey El Din and
Philippe Trebuchet},
editor = {Marc Moreno Maza and
Stephen M. Watt},
title = {{POSIX} threads polynomials(PTPol): a scalable implementation of univariate
arithmetic operations},
booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
pages = {104--106},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1278177.1278198},
doi = {10.1145/1278177.1278198},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DinT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610051,
author = {Mohab Safey El Din and
Philippe Trebuchet},
title = {Strong bi-homogeneous B{\'{e}}zout theorem and its use in effective
real algebraic geometry},
journal = {CoRR},
volume = {abs/cs/0610051},
year = {2006},
url = {http://arxiv.org/abs/cs/0610051},
eprinttype = {arXiv},
eprint = {cs/0610051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/DinS04,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
title = {Properness Defects of Projections and Computation of at Least One
Point in Each Connected Component of a Real Algebraic Set},
journal = {Discret. Comput. Geom.},
volume = {32},
number = {3},
pages = {417--430},
year = {2004},
url = {https://doi.org/10.1007/s00454-004-1107-5},
doi = {10.1007/S00454-004-1107-5},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcg/DinS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DinS03,
author = {Mohab Safey El Din and
{\'{E}}ric Schost},
editor = {J. Rafael Sendra},
title = {Polar varieties and computation of one point in each connected component
of a smooth real algebraic set},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
2003, Proceedings},
pages = {224--231},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860854.860901},
doi = {10.1145/860854.860901},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DinS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AubryRD02,
author = {Philippe Aubry and
Fabrice Rouillier and
Mohab Safey El Din},
title = {Real Solving for Positive Dimensional Systems},
journal = {J. Symb. Comput.},
volume = {34},
number = {6},
pages = {543--560},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0563},
doi = {10.1006/JSCO.2002.0563},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AubryRD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/RouillierRD00,
author = {Fabrice Rouillier and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din},
title = {Finding at Least One Point in Each Connected Component of a Real Algebraic
Set Defined by a Single Equation},
journal = {J. Complex.},
volume = {16},
number = {4},
pages = {716--750},
year = {2000},
url = {https://doi.org/10.1006/jcom.2000.0563},
doi = {10.1006/JCOM.2000.0563},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/RouillierRD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LombardiRD00,
author = {Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din},
title = {New Structure Theorem for Subresultants},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {663--689},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0322},
doi = {10.1006/JSCO.1999.0322},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LombardiRD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/RouillierDS00,
author = {Fabrice Rouillier and
Mohab Safey El Din and
{\'{E}}ric Schost},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Solving the Birkhoff Interpolation Problem via the Critical Point
Method: An Experimental Study},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {26--40},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_3},
doi = {10.1007/3-540-45410-1\_3},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/RouillierDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-20 22:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
