Login / Signup
A Survey of Languages for Formalizing Mathematics.
Cezary Kaliszyk
Florian Rabe
Published in:
CoRR (2020)
Keyphrases
</>
expressive power
language independent
computer science
database
real time
cross lingual
grammatical inference
multi lingual
databases
data mining
query translation
text summarization
statistical machine translation
bilingual dictionaries
english text
multilingual information retrieval