Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy.

George E. Andrews Peter Paule

Published in: J. Symb. Comput. (1993)

Keyphrases

computer generated
objective function
theorem proving
weighted sum
mathematical proofs
neural network
machine learning
probability distribution
virtual humans
learning automata
photographic images
formal proof
square error
formal proofs