Algebra, Geometry and Software Systems - Nobuki Takayama et Michael Joswig