Ramanujan's Proof of Bertrand's Postulate.

Jaban Meher M. Ram Murty

Published in: Am. Math. Mon. (2013)

Keyphrases

neural network
theorem proving
nash equilibrium
belief revision
database
theorem prover
mathematical proofs
digital libraries
preprocessing
information technology
logic programming
learning environment
machine learning
belief change
linear logic
proof theory
proof search
proof planning
interactive theorem proving