Tom Wiesing

FAU Competence Center Research Data and Information (FAU CDI) Lehrstuhl für Informatik 8 (Theoretische Informatik) Professur für Wissensrepräsentation und -verarbeitung

Integrating Semantic Mathematical Documents and Dynamic Notebooks (2019) Amann K, Kohlhase M, Rabe F, Wiesing T Conference contribution A proposal for an openMath JSON encoding (2018) Wiesing T, Kohlhase M Conference contribution, Conference Contribution A proposal for an OpenMath JSON encoding (2018) Kohlhase M, Wiesing T Conference contribution, Conference Contribution Virtual theories – A uniform interface to mathematical knowledge bases (2017) Wiesing T, Kohlhase M, Rabe F Conference contribution, Original article Virtual theories – A uniform interface to mathematical knowledge bases (2017) Wiesing T, Kohlhase M, Rabe F Conference contribution, Original article Knowledge-Based Interoperability for Mathematical Software Systems (2017) Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T Conference contribution, Original article Knowledge-based interoperability for mathematical software systems (2017) Kohlhase M, de Feo L, Müller D, Pfeiffer M, Rabe F, Wiesing T Conference contribution Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017) Wiesing T, Kohlhase M, Rabe F, Kohlhase M Conference contribution, Original article Interoperability in the OpenDreamKit project: The math-in-the-middle approach (2016) Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, et al. Conference contribution, Original article The SMGloM project and system: Towards a terminology and ontology for mathematics (2016) Ginev D, Jucovschi C, Kohlhase A, Kohlhase M, Wiesing T Authored book, Volume of book series