Mathematical models as research data via flexiformal theory graphs

DOI10.1007/978-3-319-62075-6_16zbMATH Open1367.68307OpenAlexW2726226804WikidataQ57389282 ScholiaQ57389282MaRDI QIDQ2364682FDOQ2364682

Authors Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow 

Publication date 21 July 2017

Full work available at URL https://doi.org/10.1007/978-3-319-62075-6_16

Mathematics Subject Classification ID

Knowledge representation (68T30) General theory of mathematical modeling (00A71)

Recommendations

• Mathematical models: a research data category?
• Mathematical research data, software, models, and the publication-based approach
• A flexiformal model of knowledge dissemination and aggregation in mathematics
• Computable Models
• Discourse-level parallel markup and meaning adoption in flexiformal theory graphs

Cites work

• A gradient structure for reaction–diffusion systems and for energy-drift-diffusion systems
• A scalable module system
• Extending MKM formats at the statement level
• Generic literals
• How to identify, translate and combine logics?
• Mathematical models: a research data category?
• Representing, archiving, and searching the space of mathematical knowledge
• Space-Time Approach to Quantum Electrodynamics
• Theory of the flow of electrons and holes in Germanium and other semiconductors
• swMATH -- an information service for mathematical software

Cited in

(4)

• Mathematical models: a research data category?
• Knowledge amalgamation for computational science and engineering
• A flexiformal model of knowledge dissemination and aggregation in mathematics
• Mathematical models as artefacts for research: Felix Klein and the case of Kummer surfaces

Describes a project that uses

Uses Software

• Modelica
• MMT
• OMDoc
• MPDHub
• GitHub

This page was built for publication: Mathematical models as research data via flexiformal theory graphs

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