Single precision computation of the sign of algebraic predicates Original Research Article

We simplify and improve our techniques of the association of long integers with polynomials for computations in the ring of integers and apply these techniques to the computation of the signs of matrix determinants, Sturm sequences, and other algebraic and geometric predicates.