A Survey of Languages for Formalizing Mathematics.

Cezary Kaliszyk Florian Rabe

Published in: CICM (2020)

Keyphrases

expressive power
language independent
computer science
cross lingual
real time
artificial intelligence
case study
grammatical inference
spoken language
language identification
multi lingual
computer algebra
interchange format