Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | Phare |
Publications PolSys | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
---|---|---|---|---|---|---|---|---|
Books | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 |
Journal articles | 7 | 11 | 6 | 7 | 14 | 8 | 8 | 61 |
Book chapters | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Conference papers | 6 | 10 | 6 | 4 | 3 | 7 | 7 | 43 |
Habilitations | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
Theses | 1 | 0 | 1 | 2 | 1 | 2 | 1 | 8 |
- J. Berthomieu, Ch. Eder, M. Safey El Din : “msolve: A Library for Solving Polynomial Systems”, ISSAC '21: Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, Saint Petersburg, Russian Federation, pp. 51-58 [Berthomieu 2021c]
- P. Lairez, M. Safey El Din : “Computing the dimension of real algebraic sets”, ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Saint-Pétersbourg, Russian Federation, pp. 257-264 [Lairez 2021]
- H. Le, M. Safey El Din : “Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations”, Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation (ISSAC '21), Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, Saint Petersburg, Russian Federation, pp. 265–272 [Le 2021]