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