A Direct Combinatorial Proof of a Positivity Result.

J. Gillis Doron Zeilberger

Published in: Eur. J. Comb. (1983)

Keyphrases

databases
database
machine learning
artificial intelligence
natural language
artificial neural networks
formal proof