Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.

A. Michael Ballantyne W. W. Bledsoe

Published in: J. ACM (1977)

Keyphrases

data analysis
data sets
databases
image analysis
feature selection
wide range
data structure
fully automatic