MathLang Translation to Isabelle Syntax

DOI10.1007/978-3-642-02614-0_30zbMATH Open1247.68278OpenAlexW2169931946MaRDI QIDQ3637293FDOQ3637293

Authors: Robert Lamar, Fairouz Kamareddine, J. B. Wells 

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

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

Cited In (2)

• Enabling reasoning with LegalRuleML
• The formalization of group theory knowledge and solving

Uses Software

• Coq
• Isabelle
• Theorema
• Isar
• Mizar
• GF
• XPath

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)