Making Presentation Math Computable - 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