D.8 Symbolic-numerical solving

D.8.1 ffsolve_lib		multivariate equation solving over finite fields
D.8.2 interval_lib		interval arithmetic on polynomials
D.8.3 presolve_lib		procedures for pre-solving polynomial equations
D.8.4 solve_lib		procedures to solve polynomial systems
D.8.5 triang_lib		procedures for decomposing zero-dimensional ideals
D.8.6 ntsolve_lib		one real solution of polynomial systems (Newton iteration)
D.8.7 recover_lib		Hybrid numerical/symbolical algorithms
D.8.8 rootisolation_lib		real root isolation with intervals
D.8.9 signcond_lib		computing realizable sign conditions
D.8.10 zeroset_lib		procedures for roots and factorization