| 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, S. Graillat, D. Lesnoff, Th. Mary : “Modular matrix multiplication on GPU for polynomial system solving”, ACM Communications in Computer Algebra, vol. 57 (2), pp. 35-38, (Association for Computing Machinery (ACM)) [Berthomieu 2023b]
- J. Capco, M. Safey El Din, J. Schicho : “Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics”, Journal of Symbolic Computation, vol. 115, pp. 320-345, (Elsevier) [Capco 2023]
- Ch. Eder, P. Lairez, R. Mohr, M. Safey El Din : “A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System”, Journal of Symbolic Computation, vol. 119, pp. 1-21, (Elsevier) [Eder 2023b]
- J.‑Ch. Faugère, G. Labahn, M. Safey El Din, E. Schost, Th. Vu : “Computing critical points for invariant algebraic systems”, Journal of Symbolic Computation, vol. 116, pp. 365-399, (Elsevier) [Faugère 2023]
- V. Magron, M. Safey El Din, T.‑H. VU : “Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients”, SIAM Journal on Optimization, vol. 33 (1), (Society for Industrial and Applied Mathematics) [Magron 2023]
- V. Neiger, B. Salvy, E. Schost, G. Villard : “Faster Modular Composition”, Journal of the ACM (JACM), (Association for Computing Machinery) [Neiger 2023]
- R. Prébet, M. Safey El Din, E. Schost : “Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results”, Journal of Symbolic Computation, pp. 102234, (Elsevier) [Prébet 2023]
- A. Yabo, M. Safey El Din, J.‑B. Caillau, J.‑L. Gouzé : “Stability analysis of a bacterial growth model through computer algebra”, MathematicS In Action, vol. 12 (1), pp. 175-189, (Société de Mathématiques Appliquées et Industrielles (SMAI)) [Yabo 2023]