Login / Signup
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems.
André Greiner-Petter
Moritz Schubotz
Akiko Aizawa
Bela Gipp
Published in:
ICMS (2020)
Keyphrases
</>
context sensitive
computer algebra systems
computer algebra
context free
multiple task learning
natural language
spelling correction
language model
theorem prover
artificial intelligence
multiword