Computerizing Mathematical Text with MathLang

DOI10.1016/j.entcs.2008.03.063zbMath1277.68288OpenAlexW2132783187MaRDI QIDQ2866734

Fairouz Kamareddine, J. B. Wells

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.063

zbMATH Keywords

proof assistantstheorem proversmathematical knowledge managementmathematical vernacularlogical foundations of mathematicsmathematical typesettingproof checkers

Mathematics Subject Classification ID

Related Items (6)

Methods and means for semantic structuring of electronic mathematical documents ⋮ A User-friendly Interface for a Lightweight Verification System ⋮ Mathematical knowledge representation: semantic models and formalisms ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ Spreadsheet Interaction with Frames: Exploring a Mathematical Practice ⋮ MathLang Translation to Isabelle Syntax

Uses Software

• Coq
• Mizar
• TeXmacs
• XQuery
• Automath
• XPath
• MathLang

Cites Work

• The calculus of constructions
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• A refinement of de Bruijn's formal language of mathematics
• A modern perspective on type theory. From its origins until today
• Mathematical Knowledge Management
• Restoring Natural Language as a Computerised Mathematics Input Method
• Narrative Structure of Mathematical Texts
• Types for Proofs and Programs
• Capturing Abstract Matrices from Paper
• Mathematical Knowledge Management
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computerizing Mathematical Text with MathLang