Rafael Mohr

According to our database, Rafael Mohr authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

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