Certifiable Numerical Computations in Schubert Calculus - Jonathan D. Hauenstein; Nickolas Hein; Frank Sottile (2012)