Computational geometry of positive definite quadratic forms : polyhedral reduction theories, algorithms, and applications / - Schurmann, Achill (American Mathematical Society, 2009)