You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Knowledge-Based Interoperability for Mathematical Software Systems
|
---|---|
Chapter number | 14 |
Book title |
Mathematical Aspects of Computer and Information Sciences
|
Published by |
Springer, Cham, November 2017
|
DOI | 10.1007/978-3-319-72453-9_14 |
Book ISBNs |
978-3-31-972452-2, 978-3-31-972453-9
|
Authors |
Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing, Kohlhase, Michael, De Feo, Luca, Müller, Dennis, Pfeiffer, Markus, Rabe, Florian, Thiéry, Nicolas M., Vasilyev, Victor, Wiesing, Tom |