Login / Signup
A Combinatorial Proof of an Identity from Ramanujan's Lost Notebook.
Lishuang Lin
Jian Liu
Yezhou Wang
Published in:
Electron. J. Comb. (2013)
Keyphrases
</>
theorem prover
natural deduction
data mining
information retrieval
image processing
data structure
theorem proving
identity management
proof planning
genetic algorithm
multiscale
digital libraries
special case
linear logic
covering arrays
mathematical proofs