Computational Algebraic and Analytic Geometry