Proof of a conjecture of Morales-Pak-Panova on reverse plane partitions.

Peter L. Guo Jack C. D. Zhao Michael X. X. Zhong

Published in: Adv. Appl. Math. (2019)

Keyphrases

theorem proving
three dimensional
theorem prover
proof planning
genetic algorithm
multi view
rand index
geometry theorem proving
data mining
equivalence classes
automated theorem proving
image planes
mathematical proofs