Where can we do exact computations? [pdf] [html]
Squarefree decomposition of polynomials [pdf] [html]
Isolating real roots of polynomials using Sturm sequences [pdf] [html]
Squarefree factorization of polynomials over Zp [pdf] [html]
Chinese Remainder Theorem [pdf] [html]