Algebra, Geometry, and Software Systems