Three theorems, with computer-aided proofs, on three-dimensional faces and quotients of polytopes

DOI10.1007/s004540010045zbMath0961.52003OpenAlexW1970217096MaRDI QIDQ1580762

G. Meisinger, Peter Kleinschmidt, Gil Kalai

Publication date: 14 September 2000

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s004540010045

zbMATH Keywords

rational polytopeflag numbersEulerian latticequotient of a polytope

Mathematics Subject Classification ID

(n)-dimensional polytopes (52B11) Three-dimensional polytopes (52B10)

Related Items (1)

Lifting inequalities for polytopes

Uses Software

• FLAGTOOL

This page was built for publication: Three theorems, with computer-aided proofs, on three-dimensional faces and quotients of polytopes