Computer Proofs of Limit Theorems.

W. W. Bledsoe Robert S. Boyer William H. Henneman

Published in: IJCAI (1971)

Keyphrases

limit theorems
heavy traffic
confidence intervals
computer programs
theorem prover
queue length