Popular repositories Loading

1. RealPolyhedralHomotopy.jl RealPolyhedralHomotopy.jl Public

   A package for finding real roots of systems of polynomial equations using polyhedral homotopy.

   Julia 5

2. krawczykHomotopy krawczykHomotopy Public

   Macaulay2 2

3. certified_curve_projections certified_curve_projections Public

   This is a Git repo for the paper "Certified algebraic curve projections by path tracking" by Burr, Byrd and Lee

   TeX 2 1

4. DfiniteComputationResults DfiniteComputationResults Public

   Examples for 'Effective certification of approximate solutions to systems of equations involving analytic functions'

   Python 1

5. CertifiedHomotopyTracking.jl CertifiedHomotopyTracking.jl Public

   Julia package for the certified homotopy tracking

   Julia 1 1

6. IntervalArithmetic IntervalArithmetic Public