Proofs of two conjectures of Kenyon and Wilson on Dyck tilings.
Jang Soo KimPublished in: J. Comb. Theory, Ser. A (2012)
Keyphrases
- theorem prover
- theorem proving
- discrete geometry
- formal proof
- formal proofs
- inference rules
- mathematical proofs
- cooperative
- decision procedures
- automated theorem provers
- equational theories
- mathematical knowledge
- computer algebra
- natural deduction
- databases
- first order logic
- computational complexity
- database systems
- image processing
- artificial intelligence