A flexiformal model of knowledge dissemination and aggregation in mathematics
DOI10.1007/978-3-319-20615-8_9zbMATH Open1417.68207DBLPconf/mkm/IancuK15OpenAlexW816862344WikidataQ57389309 ScholiaQ57389309MaRDI QIDQ3453111FDOQ3453111
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
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
Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cites Work
- The MMT API: a generic MKM system
- A Search Engine for Mathematical Formulae
- Title not available (Why is that?)
- A scalable module system
- On model theory of covers of algebraically closed fields
- A foundational view on integration problems
- A note on accelerated Turing machines
- Realms: a structure for consolidating knowledge about mathematical theories
- Fundamental group of \(n\)-sphere for \(n \geq 2\)
- Induced and complete multinets
Cited In (2)
Uses Software
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)
