Mathematical models as research data via flexiformal theory graphs
type: Item
instance of: scholarly article
title: Mathematical models as research data via flexiformal theory graphs
zbMATH Open document ID: 1367.68307
DOI: 10.1007/978-3-319-62075-6_16
author: Michael Kohlhase
author: Thomas Koprucki
author: Dennis Müller
author: Karsten Tabelow
publication date: 2017-07-21T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 00A71
zbMATH DE Number: 6751321
Wikidata QID: Q57389282
describes a project that uses: OMDoc
describes a project that uses: MPDHub
describes a project that uses: Modelica
describes a project that uses: MMT
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: 978-3-319-62075-6 16
OpenAlex ID: W2726226804
cites work: Space-Time Approach to Quantum Electrodynamics
cites work: swMATH – An Information Service for Mathematical Software
cites work: Extending MKM Formats at the Statement Level
cites work: Representing, Archiving, and Searching the Space of Mathematical Knowledge
cites work: Mathematical Models: A Research Data Category?
cites work: A gradient structure for reaction–diffusion systems and for energy-drift-diffusion systems
cites work: Generic Literals
cites work: How to identify, translate and combine logics?
cites work: A scalable module system
cites work: Theory of the Flow of Electrons and Holes in Germanium and Other Semiconductors
description: scientific article