System Description: Statistical Parsing of Informalized Mizar Formulas

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computer Society  pp. 169 – 172, 2017.

abstract   BibTeX   PDF   doi:10.1109/SYNASC.2017.00036