Sign in

Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems.

André Greiner-PetterMoritz SchubotzAkiko AizawaBela 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