Prototyping Controlled Mathematical Languages in Jupyter Notebooks.

Jan Frederik Schaefer Kai Amann Michael Kohlhase

Published in: ICMS (2020)

Keyphrases

language independent
expressive power
databases
mathematical expressions
multi lingual
text summarization
rapid prototyping
development process
cross lingual
language identification
computer controlled
native language
mathematical knowledge