collaborators

1 paper

math.NA2026

Low-Memory Numerical Certification

Paul Breiding, Taylor Brysiewicz, David K. Johnson

We introduce a low-memory framework for certifying numerical solutions to polynomial systems which uses solution iterators and spatial partitioning trees to reduce memory requireme…