Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow. Mathematical Models as Research Data via Flexiformal Theory Graphs. In Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke, editors, Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Volume 10383 of Lecture Notes in Computer Science, pages 224-238, Springer, 2017. [doi]
@inproceedings{KohlhaseKMT17,
title = {Mathematical Models as Research Data via Flexiformal Theory Graphs},
author = {Michael Kohlhase and Thomas Koprucki and Dennis Müller and Karsten Tabelow},
year = {2017},
doi = {10.1007/978-3-319-62075-6_16},
url = {https://doi.org/10.1007/978-3-319-62075-6_16},
researchr = {https://researchr.org/publication/KohlhaseKMT17},
cites = {0},
citedby = {0},
pages = {224-238},
booktitle = {Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
editor = {Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
volume = {10383},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-62075-6},
}