RealPolyhedralHomotopy.jl is a package for finding real roots of systems of polynomial equations using polyhedral homotopy.
The package implements the algorithm for the real polyhedral homotopy establised in A Polyhedral Homotopy Algorithm For Real Zeros. The idea for the real polyhedral homotopy motivated from the celebrated article A Polyhedral Method for Solving Sparse Polynomial Systems to apply the polyhedral homotopy method for real roots finding.
The package can be installed via the Julia package manager. It is suggested to use Julia 1.6.1 or higher.
pkg> add RealPolyhedralHomotopyTo find a preliminary example of how the functions in this package work see this tutorial, otherwise see the documentation for more details.