System Description: XSL-Based Translator of Mizar to LaTeX.

Grzegorz Bancerek Adam Naumowicz Josef Urban

Published in: CICM (2018)

Keyphrases

high level
computer assisted
neural network
real time
machine learning
social networks
evolutionary algorithm
information extraction
markup language