Some Lower Bounds on the Reach of an Algebraic Variety

Chris La Valle, Josué Tonelli-Cueto

Separation bounds are a fundamental measure of the complexity of solving a zero-dimensional system as it measures how difficult it is to separate its zeroes. In the positive dimens…