The realroot library provides different types of solvers for the isolation and approximation of real roots of polynomials. Here is a list of structures and implementations involved in the library.