Algebraic Spline Geometry: towards algorithmic shape representation