A Short Proof of Cramér's Theorem in ℝ.

Raphaël Cerf Pierre Petit

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

Keyphrases

interactive theorem proving
theorem proving
rao bound
neural network
theorem prover
linear logic
real time
machine learning
social networks
information systems
e learning
expert systems
motion estimation
von neumann