Starting from classical arithmetical questions on quadratic forms, this book takes the reader step by step through the connections with lattice sphere packing and covering problems. As a model for polyhedral reduction theories of positive definite quadratic forms, it presents Minkowski's classical theory.