Constructive Mathematics: A Foundation for Computable Analysis.

Douglas S. Bridges

Published in: Theor. Comput. Sci. (1999)

Keyphrases

image processing
data analysis
data sets
machine learning
genetic algorithm
computer vision
trade off
medical images
statistical analysis
theoretical foundation
automatic analysis
computer algebra