Julián Juan

Certified Orbit, Witness, and Topology Labels for Equivariant Positive-Dimensional Fiber Benchmarks

Numerical methods for positive-dimensional fibers are commonly assessed after root filtering, sampling, meshing, clustering, or topological postprocessing, even when the continuous real component structure is not known independently. We construct an exact-label benchmark oracle f...

Certified Orbit, Witness, and Topology Labels for Equivariant Positive-Dimensional Fiber Benchmarks

Numerical methods for positive-dimensional fibers are commonly assessed after root filtering, sampling, meshing, clustering, or topological postprocessing, even when the continuous real component structure is not known independently. We construct an exact-label benchmark oracle f...