Realms: A Structure for Consolidating Knowledge about Mathematical Theories

DOI10.1007/978-3-319-08434-3_19zbMath1304.68169arXiv1405.5956OpenAlexW2130628061WikidataQ57389326 ScholiaQ57389326MaRDI QIDQ5495928

Michael Kohlhase, Jacques Carette, William M. Farmer

Publication date: 7 August 2014

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

Full work available at URL: https://arxiv.org/abs/1405.5956

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (7)

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics ⋮ Math Literate Knowledge Management via Induced Material ⋮ Formalizing Physics: Automation, Presentation and Foundation Issues ⋮ Structuring theories with implicit morphisms ⋮ Morphism equality in theory graphs ⋮ Injecting formal mathematics into LaTeX ⋮ Extensional equality preservation and verified generic programming

Uses Software

• MMT
• TNTBase
• MathScheme

Cites Work

• Unnamed Item
• Unnamed Item
• A scalable module system
• Notions of Lawvere theory
• Theory Presentation Combinators
• Towards MKM in the Large: Modular Representation and Scalable Software Architecture
• MathScheme: Project Description
• Biform Theories in Chiron
• High-Level Theories

This page was built for publication: Realms: A Structure for Consolidating Knowledge about Mathematical Theories