Bijective proofs of Gould-Mohanty's and Raney-Mohanty's identities.

Victor J. W. Guo

Published in: Ars Comb. (2012)

Keyphrases

theorem proving
formal proof
formal proofs
equational theories
data sets
expert systems
natural deduction
mathematical proofs
databases
learning algorithm
knowledge base
database systems
training data
pattern recognition
programming language
automated theorem provers