2023-2025 Publications

• 2025
  • Ch. Eder, R. Mohr, M. Safey El Din : “Gröbner Bases for Polynomial Ideals and Applications”, chapter in The Computer Algebra System OSCAR: Algorithms and Examples, vol. 32, Algorithms and Computation in Mathematics, pp. 271-295, (Springer Nature Switzerland), (ISBN: 978-3-031-62127-7) (2025)
• 2024
  • R. Mohr : “Fast Groebner Bases Algorithms for Ideal Theoretic Computations in Commutative Algebra”, thesis, phd defence 10/25/2024, supervision Safey el din, Mohab, co-supervision : Horn, Max, Tu, Kaiserslautern (2024)
  • J. Berthomieu, R. Mohr : “Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting”, 49^th International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 307-315, (ACM), (ISBN: 9798400706967) (2024)
  • M. Helmer, R. Mohr : “A New Algorithm for Whitney Stratification of Varieties”, (2024)
  • R. Mohr : “A Syzygial Method for Equidimensional Decomposition”, (2024)
• 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)
  • 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)