Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former team : MLIA
Publications PolSys201720182019202020212022Total
Books0000000
Edited books0001001
Journal articles7116714853
Book chapters0000000
Conference papers610543129
Habilitations0000000
Theses1012105
LIP6
  • J. Berthomieu, Ch. Eder, M. Safey El Din : “msolve: A Library for Solving Polynomial Systems”, 46th International Symposium on Symbolic and Algebraic Computation, 46th 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]