The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Deyan Ginev, Mihnea Iancu, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing. The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. In Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew J. Sommese, editors, Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Volume 9725 of Lecture Notes in Computer Science, pages 451-457, Springer, 2016. [doi]

This author has not been identified. Look up 'Deyan Ginev' in GoogleThis author has not been identified. Look up 'Mihnea Iancu' in GoogleThis author has not been identified. Look up 'Constantin Jucovschi' in GoogleThis author has not been identified. Look up 'Andrea Kohlhase' in GoogleThis author has not been identified. Look up 'Michael Kohlhase' in GoogleThis author has not been identified. Look up 'Akbar Oripov' in GoogleThis author has not been identified. Look up 'Jürgen Schefter' in GoogleThis author has not been identified. Look up 'Wolfram Sperber' in GoogleThis author has not been identified. Look up 'Olaf Teschke' in GoogleThis author has not been identified. Look up 'Tom Wiesing' in Google

runs on WebDSL