A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
1. Introduction.-2. Mathematical Information Retrieval.-3. Semantification of Mathematical LaTeX.-4. From LaTeX to Computer Algebra Systems.-5. Qualitative and Quantitative Evaluations.-6. Conclusion and Future Work
A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
1. Introduction.-2. Mathematical Information Retrieval.-3. Semantification of Mathematical LaTeX.-4. From LaTeX to Computer Algebra Systems.-5. Qualitative and Quantitative Evaluations.-6. Conclusion and Future Work