MathLang Translation to Isabelle Syntax
From MaRDI portal
Publication:3637293
DOI10.1007/978-3-642-02614-0_30zbMATH Open1247.68278OpenAlexW2169931946MaRDI QIDQ3637293FDOQ3637293
Fairouz Kamareddine, J. B. Wells, Robert Lamar
Publication date: 9 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_30
Recommendations
- Mathematical Knowledge Management
- Enabling reasoning with LegalRuleML
- Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
- The formalization of group theory knowledge and solving
- Accessing the Mizar library with a weakly strict Mizar parser
Cites Work
- Grammatical Framework
- Title not available (Why is that?)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computerizing mathematical text with MathLang
- Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings
- Restoring Natural Language as a Computerised Mathematics Input Method
- Narrative Structure of Mathematical Texts
- Mathematical Knowledge Management
- The Layers of Logiweb
Uses Software
This page was built for publication: MathLang Translation to Isabelle Syntax
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637293)
