MathLang Translation to Isabelle Syntax

DOI10.1007/978-3-642-02614-0_30zbMath1247.68278OpenAlexW2169931946MaRDI QIDQ3637293

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

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

Cites Work

• Unnamed Item
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings
• Computerizing Mathematical Text with MathLang
• Grammatical Framework
• The Layers of Logiweb
• Restoring Natural Language as a Computerised Mathematics Input Method
• Narrative Structure of Mathematical Texts
• Mathematical Knowledge Management

This page was built for publication: MathLang Translation to Isabelle Syntax