Models for Metamath.

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

probabilistic model
statistical models
classification models
real time
databases
genetic algorithm
learning algorithm
information systems
model selection
complex systems
computational models