Knowledge-Based Interoperability for Mathematical Software Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing. Knowledge-Based Interoperability for Mathematical Software Systems. In Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos, editors, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Volume 10693 of Lecture Notes in Computer Science, pages 195-210, Springer, 2017. [doi]

This author has not been identified. Look up 'Michael Kohlhase' in GoogleThis author has not been identified. Look up 'Luca De Feo' in GoogleThis author has not been identified. Look up 'Dennis Müller' in GoogleThis author has not been identified. Look up 'Markus Pfeiffer' in GoogleThis author has not been identified. It may be one of the following persons:

Florian Rabe

Look up 'Florian Rabe' in GoogleThis author has not been identified. Look up 'Nicolas M. Thiéry' in GoogleThis author has not been identified. Look up 'Victor Vasilyev' in GoogleThis author has not been identified. Look up 'Tom Wiesing' in Google

runs on WebDSL