Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0.

Alexander Maletzky

Published in: ICMS (2016)

Keyphrases

higher order
probabilistic model
genetic algorithm
learning environment
data analysis
np complete
theoretical framework
high order
user friendly
quantitative analysis
empirical data
data exploration