现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 PolSys | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 8 | 3 | 11 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 1 | 8 |
Habilitations | 1 | 0 | 1 |
Thesis | 2 | 0 | 2 |
- 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]