Mechanizing Nonstandard Real Analysis.

Jacques D. Fleuriot Lawrence C. Paulson

Published in: LMS J. Comput. Math. (2000)

Keyphrases

neural network
machine learning
real life
search engine
feature selection
decision trees
high quality
search algorithm
pattern recognition
computer science
data analysis
statistical analysis
quantitative analysis