Algebraic and Numerical Algorithms and Computer-assisted Proofs