Computerizing Mathematical Text with MathLang
From MaRDI portal
Publication:2866734
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
proof assistantstheorem proversmathematical knowledge managementmathematical vernacularlogical foundations of mathematicsmathematical typesettingproof checkers
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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