A New Proof of Stirling's Formula.

Thorsten Neuschel

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

Keyphrases

mathematical proofs
machine learning
theorem prover
theorem proving
linear logic
neural network
logical rules
database
video sequences
evolutionary algorithm
automated theorem proving
geometry theorem proving