Bijective proofs for some results on the descent polytope.

Alina F. Y. Zhao

Published in: Australas. J Comb. (2016)

Keyphrases

lattice points
theorem proving
stable set
convex hull
equational theories
artificial intelligence
mathematical proofs
facet defining inequalities
formal proof
directed graph
theorem prover
formal proofs
automated theorem provers
decision procedures
knapsack problem
random walk
probabilistic model
database