Computer Algebra for Geometric Computing