The MMT API: A Generic MKM System.

Published in: MKM/Calculemus/DML (2013)

Keyphrases

high level
source code
real time
data structure
domain specific
application developers
artificial intelligence
website
face recognition
bayesian networks
third party
application specific
application programming interface