A Short Proof of Stirling's Formula.

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

Keyphrases

databases
database systems
theorem prover
theorem proving
automated theorem proving
mathematical proofs