A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics

DOI10.1007/978-3-319-20615-8_9zbMath1417.68207DBLPconf/mkm/IancuK15OpenAlexW816862344WikidataQ57389309 ScholiaQ57389309MaRDI QIDQ3453111

Mihnea Iancu, Michael Kohlhase

Publication date: 20 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-20615-8_9

Mathematics Subject Classification ID

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

Uses Software

• Mizar
• MMT
• QMT
• OMDoc

Cites Work

• Unnamed Item
• A scalable module system
• The MMT API: A Generic MKM System
• Fundamental Group of n-sphere for n ≥ 2
• A note on accelerated Turing machines
• On model theory of covers of algebraically closed fields
• Induced and Complete Multinets
• A Foundational View on Integration Problems
• A Search Engine for Mathematical Formulae
• Realms: A Structure for Consolidating Knowledge about Mathematical Theories

This page was built for publication: A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics