geometry-topology / Polyhedral combinatorics
For a simple $3$-polytope with at least three faces of size at least $7$, must $p_6 \ge \frac{39}{20} + \frac{p_3}{2} - \frac{p_5}{4} - \sum_{k \ge 7} p_k$? Five minimal ten-face counterexamples refute the printed inequality.
Temporal state
No reconciled state yet.
Append-only history
For a simple $3$-polytope with at least three faces of size at least $7$, must $p_6 \ge \frac{39}{20} + \frac{p_3}{2} - \frac{p_5}{4} - \sum_{k \ge 7} p_k$? Five minimal ten-face counterexamples refute the printed inequality.
Research memory
For a simple $3$-polytope with at least three faces of size at least $7$, must $p_6 \ge \frac{39}{20} + \frac{p_3}{2} - \frac{p_5}{4} - \sum_{k \ge 7} p_k$? Five minimal ten-face counterexamples refute the printed inequality.
Evidence graph
No public relationships recorded yet.