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).
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Kerber, Michael; Sagraloff, Michael: Root refinement for real polynomials using quadratic interval refinement (2015)
- Liyun Dai, Bican Xia: logcf: An Efficient Tool for Real Root Isolation (2012) arXiv