MathLang Translation to Isabelle Syntax.
Robert LamarFairouz KamareddineJ. B. WellsPublished in: Calculemus/MKM (2009)
Keyphrases
- theorem prover
- cross language information retrieval
- machine translation
- high level
- natural language
- syntactic analysis
- object oriented
- databases
- natural deduction
- operational semantics
- real time
- evolutionary algorithm
- context free grammars
- statistical machine translation
- website
- machine translation system
- rotation and translation
- definition language
- neural network
- language resources
- precisely defined