Granularity Analysis for Mathematical Proofs.

Marvin R. G. Schiller

Published in: Top. Cogn. Sci. (2013)

Keyphrases

image analysis
statistical analysis
genetic algorithm
computational model
data sets
machine learning
artificial intelligence
computer vision
feature selection
image processing
data analysis
mathematical proofs