Algebra, Geometry and Software Systems