scratch
§
Homotopy Continuation
created 2022-05-30
Rigorous arithmetic with approximate roots of polynomials --- CAG L16
❦