Translating the IMPS Theory Library to MMT/OMDoc.

Jonas Betzendahl Michael Kohlhase

Published in: CICM (2018)

Keyphrases

database
theoretical basis
computational model
real time
real world
cooperative
theoretical framework
theoretical foundation
machine learning
image processing
high level
support vector
trade off
special case
cross platform