Theorema 2.0: A System for Mathematical Theory Exploration.

Wolfgang Windsteiger

Published in: ICMS (2014)

Keyphrases

mathematical theory
primal sketch
general theory
uncertain information
image processing
mathematical models
machine learning
computer vision
decision trees
cooperative
pattern recognition
computational model