logcf is a tool that computes exact real root isolation of a univariate polynomial. The algorithm is described in the paper logcf: An efficient tool for real root isolation . The used algorithm is based on continued factions ( Vincent’s theorem ). Notice: under linux platform, gcc and g++ need version 4.6 or later versions. logcf uses computer algebra system Singular for simplifying polynomial and uses GMP library for arbitrary precision arithmetic (these all contain in Zip package). http://arxiv.org/abs/1209.3555
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Kerber, Michael; Sagraloff, Michael: Root refinement for real polynomials using quadratic interval refinement (2015)