1. GUDHI C++ library (2017).
http://gudhi.gforge.inria.fr/
2. HIBA
$$\_$$
USNE, C++ library (2017).
https://www.researchgate.net/publication/316687827_HIBA_USNE_Heuristical_Interval_Branch-and-prune_Algorithm_for_Underdetermined_and_well-determined_Systems_of_Nonlinear_Equations_-_Beta_25
3. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: International Conference on Logic Programming, pp. 230–244. The MIT Press (1999)
4. Benhamou, F., McAllester, D., Hentenryck, P.V.: CLP(intervals) revisited. In: Proceedings of the 1994 International Symposium on Logic Programming, pp. 124–138. The MIT Press (1994)
5. Borkowski, T.: Comparison of existence tests of zeros of equations systems in a given region: tests of Miranda, Borsuk and Newton. Master’s thesis, ICCE WUT (2013). (under supervision of Bartłomiej J. Kubica). (in Polish)