EDER Christian
Équipe : PolSys
Date d'arrivée : 30/03/2020
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 3, Bureau 319
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 88 35, Christian.Eder (at) nulllip6.fr
Publications 2013-2023
-
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”, 41st 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)