Proof, Completeness, Transcendentals, and Sampling.

Philip J. Davis

Published in: J. ACM (1977)

Keyphrases

theorem proving
random sampling
monte carlo
theorem prover
sampling algorithm
sampling methods
sampling strategy
neural network
learning algorithm
sampling rate
geometry theorem proving
image processing
sampled data
linear logic
natural deduction
mathematical proofs