Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description

Kaliszyk, C., Urban, J., Vyskočil, J., Geuvers, H.

KALISZYK, C., et al. Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. In: WATT, S.M., et al., eds. Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics, Coimbra, 2014-07-07/2014-07-11. Heidelberg: Springer, 2014. p. 435-439. ISSN 0302-9743. ISBN 978-3-319-08433-6. DOI 10.1007/978-3-319-08434-3_34.