2
votes
0answers
60 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in ...
5
votes
1answer
120 views

Is There a Formalization of Cauchy's $F - E+V = 2$ proof?

Can anyone provide, or direct me to a formalized version of Cauchy's proof that for any convex polyhedron with $F$ faces, $E$ edges and $V$ vertices that $F - E + V = 2$. I am willing to accept the ...
2
votes
0answers
142 views

3-manifold theorem reference request or proof

The following is a theorem of which I have great interest in but cannot find anything about on the internet, Every 3-manifold of finite volume comes from identifying sides of some polyhedron I'm ...