Login / Signup
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description.
Cezary Kaliszyk
Josef Urban
Jirí Vyskocil
Herman Geuvers
Published in:
CoRR (2014)
Keyphrases
</>
benchmark datasets
case study
computer vision
preprocessing
software engineering
qualitative and quantitative
search engine
high level
digital libraries
computational cost
probabilistic model
computationally expensive
statistical methods