Algebra, geometry, and software systems - Joswig, Michael, 1965-; Takayama, Nobuki, 1959- (Springer, 2003)