2013-2023 Publications

• 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) (2023)
  • J. Berthomieu, Ch. Eder, M. Safey El Din : “New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)”, (2023)
  • Ch. Eder, P. Lairez, R. Mohr, M. Safey El Din : “A Direttissimo Algorithm for Equidimensional Decomposition”, ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, Tromsø, Norway (2023)
• 2021
  • 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 (2021)
• 2016
  • B. Boyer, Ch. Eder, J.‑Ch. Faugère, S. Lachartre, F. Martani : “GBLA – Gröbner Basis Linear Algebra Package”, 41^st International Symposium on Symbolic and Algebraic Computation, Waterloo, ON, Canada, pp. 135-142 (2016)
  • Ch. Eder, J.‑Ch. Faugère : “A survey on signature-based algorithms for computing Gröbner basis computations”, Journal of Symbolic Computation, pp. 1-75, (Elsevier) (2016)
• 2013
  • Ch. Eder, B. Roune : “Signature Rewriting in Gröbner Basis Computation”, ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Boston, United States, pp. 331-338, (ACM) (2013)
  • Ch. Eder : “An analysis of inhomogeneous signature-based Gröbner basis computations”, Journal of Symbolic Computation, vol. 59, pp. 21-35, (Elsevier) (2013)
  • Ch. Eder : “Improving incremental signature-based Gröbner basis algorithms”, ACM Communications in Computer Algebra, vol. 47 (1), pp. 1-13, (Association for Computing Machinery (ACM)) (2013)