Robust algebraic methods for geometric computing