## D.8 Symbolic-numerical solving

> D.8.1 ffsolve_lib |  | multivariate equation solving over finite fields
> D.8.2 presolve_lib |  | procedures for pre-solving polynomial equations
> D.8.3 solve_lib |  | procedures to solve polynomial systems
> D.8.4 triang_lib |  | procedures for decomposing zero-dimensional ideals
> D.8.5 ntsolve_lib |  | one real solution of polynomial systems (Newton iteration)
> D.8.6 zeroset_lib |  | procedures for roots and factorization
> D.8.7 signcond_lib |  | computing realizable sign conditions

User manual for Singular version 4-0-3, 2016, generated by texi2html.