Rafael Mohr

16 papers B 3Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A data structure for monomial ideals with applications to signature Gröbner bases.
CoRR
Pierre Lairez, Rafael Mohr, Théo Ternier
2026 J jnl
Wronski pairs of honeycomb curves.
J. Symb. Comput.
Laura Casabella, Michael Joswig, Rafael Mohr
2025 J jnl
A syzygial method for equidimensional decomposition.
J. Symb. Comput.
Rafael Mohr
2025 B conf
On the Computation of Newton Polytopes of Eliminants.
ISSAC
Rafael Mohr, Yulia Mukhina
2025 J jnl
On the Computation of Newton Polytopes of Eliminants.
CoRR
Rafael Mohr, Yulia Mukhina
2024 J jnl
A New Algorithm for Whitney Stratification of Varieties.
CoRR
Martin Helmer, Rafael Mohr
2024 J jnl
A Syzygial Method for Equidimensional Decomposition.
CoRR
Rafael Mohr
2024 B conf
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting.
ISSAC
Jérémy Berthomieu, Rafael Mohr
2024 J jnl
Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting.
CoRR
Jérémy Berthomieu, Rafael Mohr
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 — conf
Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs.
Blockchain
Monika Di Angelo, Rafael Mohr, Gernot Salzer
2023 B conf
A Direttissimo Algorithm for Equidimensional Decomposition.
ISSAC
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2023 J jnl
A Direttissimo Algorithm for Equidimensional Decomposition.
CoRR
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2023 J jnl
A signature-based algorithm for computing the nondegenerate locus of a polynomial system.
J. Symb. Comput.
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2022 J jnl
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System.
CoRR
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2022 J jnl
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system.
ACM Commun. Comput. Algebra
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din