An experimental support system for formal mathematical reasoning.

Matthias Anlauff Stefan Jähnichen Martin Simons

Published in: FME (1994)

Keyphrases

formal models
multiple representations
human reasoning
meta level
uncertain information
database
data sets
data mining
machine learning
learning algorithm
user interface
fuzzy logic
formal specification
reasoning process
mathematical theory