This is your work, valued
RealPolyhedralHomotopy.jl. A package for finding real roots of systems of polynomial equations using polyhedral homotopy.
5certified_curve_projections. This is a Git repo for the paper "Certified algebraic curve projections by path tracking" by Burr, Byrd and Lee
2krawczykHomotopy. Macaulay2
2CertifiedHomotopyTracking.jl. Julia package for the certified homotopy tracking
1DfiniteComputationResults. Examples for 'Effective certification of approximate solutions to systems of equations involving analytic functions'
1