Algorithmic Topology and Classification of 3-Manifolds - Matveev, Sergei; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Mathematics; Algebra -- Data processing; Algorithms; Global differential geometry; Topology; Mathematics; Topology; Differential Geometry; Algorithms; Symbolic and Algebraic Manipulation