Publications
2025
-
A Syzygial Method For Equidimensional Decomposition
To appear in: Journal of Symbolic Computation, arxiv -
On the Computation of Newton Polytopes of Eliminants
joint with Yulia Mukhina
To appear in: ISSAC ‘25 proceedings, arxiv -
Gröbner Bases For Polynomial Ideals and Applications
joint with Christian Eder, Mohab Safey El Din
The Computer Algebra System OSCAR - Algorithms and Examples, book link
2024
-
Computing Generic Fibers of Polynomial Ideals Using FGLM and Hensel Lifting
joint with Jérémy Berthomieu
ISSAC ‘24 proceedings, arxiv
2023
-
A Direttissimo Algorithm for Equidimensional Decomposition
joint with Christian Eder, Pierre Lairez, Mohab Safey El Din
ISSAC ‘23 proceedings, arxiv
2022
-
A Signature-Based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
joint with Christian Eder, Pierre Lairez, Mohab Safey El Din
Journal of Symbolic Computation, arxiv
Preprints
-
Wronski Pairs of Honeycomb Curves
joint with Laura Casabella, Michael Joswig
2025, arxiv -
A New Algorithm for Whitney Stratification of Varieties
joint with Martin Helmer
2024, arxiv