Parsing and Disambiguation of Symbolic Mathematics in the Naproche System

DOI10.1007/978-3-642-22673-1_13zbMath1335.68257OpenAlexW197504935MaRDI QIDQ5200117

Peter Koepke, Marcos Cramer, Bernhard Schröder

Publication date: 29 July 2011

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-22673-1_13

zbMATH Keywords

symbolic mathematicsmathematical formulaeformula parsingNaproche

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items

Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues ⋮ Naproche

Uses Software

• Mizar
• Automath
• SAD
• Flyspeck

Cites Work

• The language of mathematics. A linguistic and philosophical investigation
• System for Automated Deduction (SAD): A Tool for Proof Verification
• A formally verified proof of the prime number theorem
• Premise Selection in the Naproche System
• A formulation of the simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item