A Bijective Proof of a Theorem of Knuth.

Hoda Bidkhori Shaunak Kishore

Published in: Comb. Probab. Comput. (2011)

Keyphrases

interactive theorem proving
theorem prover
decision making
theorem proving
database
decision trees
bayesian networks
reinforcement learning
multi agent
multi agent systems
von neumann
automated theorem proving
mathematical proofs