P. Breiding, T. Brysiewicz, D. K. Johnson, Low-Memory Numerical Certification. arXiv:2604.16623 (to appear in ICMS 2026)
P. Breiding, J. Cobb, A. K. Englander, N. Farnsworth, J. D. Hauenstein, O. Henriksson, D. K. Johnson, J. Lopez Garcia, D. Mundayur, Elimination Without Eliminating: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets. arXiv:2601.04383Â