Login / Signup
Stirling's Approximation for n!: The Ultimate Short Proof?
Dan Romik
Published in:
Am. Math. Mon. (2000)
Keyphrases
</>
neural network
approximation error
case study
information systems
approximation schemes
automated theorem proving
theorem proving
closed form
decision making
graphical models
expert systems
theorem prover
image segmentation
efficient computation
clustering algorithm
linear logic
website