HYPER : Implementations of Algorithms for Hyperbolic Polynomials For more details cf. this paper Binary code of HYPER can be downloaded here One example using Renegar derivative relaxation is here