The Mizar Mathematical Library in OMDoc: Translation and Applications.

Mihnea Iancu Michael Kohlhase Florian Rabe Josef Urban

Published in: J. Autom. Reason. (2013)

Keyphrases

machine translation
computer assisted
mathematical models
query translation
neural network
databases
machine learning
hidden markov models
translation model
rotation and translation
mathematical expressions
language resources