A Combinatorial Proof of a Formula for Betti Numbers of a Stacked Polytope.

Suyoung Choi Jang Soo Kim

Published in: Electron. J. Comb. (2010)

Keyphrases

betti numbers
lattice points

stable set
topological features

theorem prover
training data

convex hull
semidefinite