Computational geometry of positive definite quadratic forms polyhedral reduction theories, algorithms and applications - Schürmann, Achill 1973- (American Mathematical Society, 2008)