| Publication | Date of Publication | Type |
|---|
Implementing real polyhedral homotopy (available as arXiv preprint) | N/A | Paper |
Certified homotopy tracking using the Krawczyk method (available as arXiv preprint) | N/A | Paper |
Symmetric Tropical Rank 2 Matrices (available as arXiv preprint) | N/A | Paper |
| Certified algebraic curve projections by path tracking | 2026-07-01 | Paper |
Asymptotic rank bounds: a numerical census (available as arXiv preprint) | 2026-01-01 | Paper |
Certified surface approximations using the interval Krawczyk test (available as arXiv preprint) | 2026-01-01 | Paper |
Certifying Galois/monodromy Actions via Homotopy Graphs (available as arXiv preprint) | 2026-01-01 | Paper |
Rigid homotopies for sampling from algebraic varieties: a Waring structure complexity model (available as arXiv preprint) | 2026-01-01 | Paper |
The tropical variety of symmetric rank 2 matrices Linear Algebra and its Applications | 2025-06-11 | Paper |
| Certified homotopy tracking using the Krawczyk method | 2025-02-03 | Paper |
A priori bounds for certified Krawczyk homotopy tracking (available as arXiv preprint) | 2025-01-01 | Paper |
| Effective alpha theory certification using interval arithmetic: alpha theory over regions | 2024-11-13 | Paper |
Implementing real polyhedral homotopy The Journal of Software for Algebra and Geometry | 2024-07-09 | Paper |
Two-step Newton's method for deflation-one singular zeros of analytic systems Journal of Symbolic Computation | 2024-02-05 | Paper |
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Correction to: ``On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials'' Journal of Scientific Computing | 2023-06-20 | Paper |
On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials Journal of Scientific Computing | 2023-06-20 | Paper |
Certifying approximate solutions to polynomial systems on Macaulay2 ACM Communications in Computer Algebra | 2023-03-03 | Paper |
| Homotopy techniques for analytic combinatorics in several variables | 2022-08-08 | Paper |
| The NumericalCertification package in Macaulay2 | 2022-08-02 | Paper |
The NumericalCertification package in Macaulay2 (available as arXiv preprint) | 2022-01-01 | Paper |
Homotopy techniques for analytic combinatorics in several variables (available as arXiv preprint) | 2022-01-01 | Paper |
Solving polynomial systems via homotopy continuation and monodromy IMA Journal of Numerical Analysis | 2021-03-16 | Paper |
Typical ranks in symmetric matrix completion Journal of Pure and Applied Algebra | 2021-03-03 | Paper |
Effective certification of approximate solutions to systems of equations involving analytic functions Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
| On isolation of singular zeros of multivariate analytic systems | 2019-04-16 | Paper |
WITHDRAWN: On isolation of singular zeros of multivariate analytic systems (available as arXiv preprint) | 2019-01-01 | Paper |
The dimension of magic squares over fields of characteristics two and three Linear Algebra and its Applications | 2015-02-27 | Paper |