A flexiformal model of knowledge dissemination and aggregation in mathematics

DOI10.1007/978-3-319-20615-8_9MaRDI QIDQ3453111zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• Communities of Practice in MKM: An Extensional Model
• Mathematical Knowledge Management
• Mathematical models as research data via flexiformal theory graphs
• scientific article; zbMATH DE number 1951628
• From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management

Cites work

• scientific article; zbMATH DE number 3399886 (Why is no real title available?)
• A Search Engine for Mathematical Formulae
• A foundational view on integration problems
• A note on accelerated Turing machines
• A scalable module system
• Fundamental group of \(n\)-sphere for \(n \geq 2\)
• Induced and complete multinets
• On model theory of covers of algebraically closed fields
• Realms: a structure for consolidating knowledge about mathematical theories
• The MMT API: a generic MKM system

Cited in

(2)

• Mathematical models as research data via flexiformal theory graphs
• Communities of Practice in MKM: An Extensional Model

Describes a project that uses

Uses Software

• OMDoc
• QMT
• MMT
• Mizar

This page was built for publication: A flexiformal model of knowledge dissemination and aggregation in mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3453111)