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)

A Direttissimo Algorithm for Equidimensional Decomposition. - Christian Eder; Pierre Lairez; Rafael Mohr; Mohab Safey El Din (ISSAC, 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)

Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs. - Monika Di Angelo; Rafael Mohr; Gernot Salzer (Blockchain, 2024)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting. - Jérémy Berthomieu; Rafael Mohr (ISSAC, 2024)

Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting. - Jérémy Berthomieu; Rafael Mohr (CoRR, 2024)

A New Algorithm for Whitney Stratification of Varieties. - Martin Helmer; Rafael Mohr (CoRR, 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 (2024)

A syzygial method for equidimensional decomposition. - Rafael Mohr (J. Symb. Comput., 2025)

On the Computation of Newton Polytopes of Eliminants. - Rafael Mohr; Yulia Mukhina (CoRR, 2025)