> | ## 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

User manual for Singular version 4.4.0, 2024, generated by texi2html.