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