Proof of George Andrews's and David Robbins's q-TSPP Conjecture.

Christoph Koutschan Manuel Kauers Doron Zeilberger

Published in: CoRR (2010)

Keyphrases

years ago
theorem prover
step size
learning curve
linear logic
theorem proving
learning algorithm
multiscale
mathematical proofs
learning environment
database
similarity measure
metadata
genetic algorithm
real world
neural network
real time