An Involution Proof of the Alladi-Gordon Key Identity for Schur's Partition Theorem.

James J. Y. Zhao

Published in: Electron. J. Comb. (2013)

Keyphrases

real time
interactive theorem proving
database systems
partitioning algorithm
neural network
artificial intelligence
similarity measure
data structure