142 BOOK REVIEWS

First Page		Document Content
Date: 2010-01-14 12:56:38 Lattice points Quadratic forms Sporadic groups Discrete geometry Spheres Leech lattice Unimodular lattice Sphere packing Richard A. Parker Abstract algebra Mathematics Algebra		142 BOOK REVIEWS Add to Reading List Source URL: www.ams.org Download Document from Source Website File Size: 675,72 KB Share Document on Facebook

	Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology DocID: 1xTCQ - View Document
	Sage Reference Manual: Combinatorial and Discrete Geometry Release 8.3 The Sage Development Team DocID: 1vfet - View Document
	Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis III: Algorithms for Discrete Convex Functions Kazuo Murota DocID: 1v6lO - View Document
	Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis I: Concepts of Discrete Convex Functions Kazuo Murota DocID: 1uq8J - View Document
	Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis II: Properties of Discrete Convex Functions Kazuo Murota DocID: 1uci8 - View Document