Rafael Mohr

According to our database, Rafael Mohr authored at least 12 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A data structure for monomial ideals with applications to signature Gröbner bases.

Pierre Lairez, Rafael Mohr, Théo Ternier

CoRR, January, 2026

Wronski pairs of honeycomb curves.

Laura Casabella, Michael Joswig, Rafael Mohr

J. Symb. Comput., 2026

2025

A syzygial method for equidimensional decomposition.

Rafael Mohr

J. Symb. Comput., 2025

On the Computation of Newton Polytopes of Eliminants.

Rafael Mohr, Yulia Mukhina

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

2024

Gröbner basis algorithms in service of algebraic set decomposition. (Algorithmes de base de Gröbner au service de la décomposition des ensembles algébriques).

Rafael Mohr

PhD thesis, 2024

A New Algorithm for Whitney Stratification of Varieties.

Martin Helmer, Rafael Mohr

CoRR, 2024

Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting.

Jérémy Berthomieu, Rafael Mohr

CoRR, 2024

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting.

Jérémy Berthomieu, Rafael Mohr

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs.

Monika Di Angelo, Rafael Mohr, Gernot Salzer

Proceedings of the IEEE International Conference on Blockchain, 2024

2023

A signature-based algorithm for computing the nondegenerate locus of a polynomial system.

Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din

J. Symb. Comput., 2023

A Direttissimo Algorithm for Equidimensional Decomposition.

Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system.

Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din

ACM Commun. Comput. Algebra, 2022