New proofs of identities of Lebesgue and Göllnitz via tilings.

David P. Little James A. Sellers

Published in: J. Comb. Theory, Ser. A (2009)

Keyphrases

theorem prover
discrete geometry
theorem proving
equational theories
mathematical proofs
decision procedures
special case
formal proofs
neural network
feature extraction
computational complexity
formal proof