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]
Abstract is missing.