A Short Proof of Rayleigh's Theorem with Extensions.

Olivier Bernardi

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

Keyphrases

interactive theorem proving
presburger arithmetic
databases
efficient implementation
log normal
theorem proving
gaussian distribution
machine learning
data sets
data structure
data model
real time
image processing
information systems
von neumann
natural deduction
information retrieval
mathematical proofs