A short proof of Ramanujan's famous 1V1 summation formula.

Published in: J. Approx. Theory (2005)

Keyphrases

data sets
theorem prover
computer vision
databases
neural network
real world
machine learning
image processing
image segmentation
theorem proving