CORE
Supports exact comparisons for expressions involving arithmetic and square roots, or if desired, faster inexact comparisons. Designed for exact geometric computation.

No queries for cs.nyu.edu/exact/core_pages/index.html