Editing Ehrhart polynomial (section)

{{short description|Relation of an integral polytope's volume to how many integer points it encloses}}

In [[mathematics]], an [[integral polytope]] has an associated '''Ehrhart polynomial''' that encodes the relationship between the [[volume]] of a [[polytope]] and the number of [[integer point]]s the polytope contains. The theory of Ehrhart [[polynomial]]s can be seen as a higher-dimensional generalization of [[Pick's theorem]] in the [[Euclidean plane]].

These polynomials are named after [[Eugène Ehrhart]] who introduced them in the 1960s.