Bijective proofs of Gould's and Rothe's identities.

Victor J. W. Guo

Published in: Discret. Math. (2008)

Keyphrases

theorem proving
formal proof
theorem prover
mathematical proofs
database
neural network
expert systems
computer programs
formal proofs
artificial intelligence
e learning
reinforcement learning
data structure
computational complexity
artificial neural networks