| Publication | Date of Publication | Type |
|---|
Faster multivariate integration in D-modules
Journal of Symbolic Computation | 2026-06-16 | Paper |
Conway’s Cosmological Theorem and Automata Theory
American Mathematical Monthly | 2025-11-12 | Paper |
| Validated numerics for algebraic path tracking | 2025-02-03 | Paper |
| Transcendental methods in numerical algebraic geometry | 2025-02-03 | Paper |
| Computing the dimension of real algebraic sets | 2025-01-20 | Paper |
Effective homology and periods of complex projective hypersurfaces
Mathematics of Computation | 2024-08-21 | Paper |
Axioms for a theory of signature bases
Journal of Symbolic Computation | 2024-02-05 | Paper |
Separation of periods of quartic surfaces
Algebra & Number Theory | 2024-01-04 | Paper |
A Direttissimo Algorithm for Equidimensional Decomposition
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system
ACM Communications in Computer Algebra | 2023-08-02 | Paper |
A signature-based algorithm for computing the nondegenerate locus of a polynomial system
Journal of Symbolic Computation | 2023-06-29 | Paper |
Rigid continuation paths II. structured polynomial systems
Forum of Mathematics, Pi | 2023-06-02 | Paper |
Algorithms for minimal Picard-Fuchs operators of Feynman integrals
Letters in Mathematical Physics | 2023-04-27 | Paper |
Algorithms for minimal Picard-Fuchs operators of Feynman integrals
(available as arXiv preprint) | 2022-09-22 | Paper |
The Sage package \texttt{comb\(\_\)walks} for walks in the quarter plane
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
Computing the volume of compact semi-algebraic sets
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems
Journal of the American Mathematical Society | 2020-03-11 | Paper |
A numerical transcendental method in algebraic geometry: computation of Picard groups and related invariants
SIAM Journal on Applied Algebra and Geometry | 2019-12-09 | Paper |
Computing the homology of basic semialgebraic sets in weak exponential time
Journal of the ACM | 2019-02-25 | Paper |
A deterministic algorithm to compute approximate roots of polynomial systems in polynomial average time
Foundations of Computational Mathematics | 2017-12-01 | Paper |
On p-adic differential equations with separation of variables
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Creative telescoping for rational functions using the Griffiths-Dwork method
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Multiple binomial sums
Journal of Symbolic Computation | 2016-11-29 | Paper |
The boundary of the orbit of the 3-by-3 determinant polynomial
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2016-09-07 | Paper |
Computing the Chow variety of quadratic space curves
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Computing periods of rational integrals
Mathematics of Computation | 2016-03-23 | Paper |
Resolution except for minimal singularities. II. The case of four variables
Advances in Mathematics | 2012-11-02 | Paper |
Effective homology and periods of complex projective hypersurfaces
(available as arXiv preprint) | N/A | Paper |
Validated numerics for algebraic path tracking
(available as arXiv preprint) | N/A | Paper |
