Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4

First Page		Document Content
Date: 2018-07-03 04:41:37		Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4 Add to Reading List Source URL: research-repository.st-andrews.ac.uk Download Document from Source Website File Size: 311,90 KB Share Document on Facebook