Certifying zeros of polynomial systems using interval arithmetic

Paul Breiding, Kemal Rose, Sascha Timme

We establish interval arithmetic as a practical tool for certification in numerical algebraic geometry. Our software HomotopyContinuation.jl now has a built-in function certify, wh…