Tom Wiesing

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 10

Top Topics

Annotation Tool

Semantic Relevance

Semantically Related

Top Venues

Publications

Mark Fichtner, Robert Nasarek, Tom Wiesing
WissKI A Virtual Research Environment Based on Drupal. CoRDI (2023)
Tom Wiesing
WissKI Viewer Casual Access for WissKI Data Sets. CoRDI (2023)
Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM (2019)
Tom Wiesing
Evolving MathHub for Tetrapodal Math. CICM Workshops (2019)
Tom Wiesing, Michael Kohlhase
A Proposal for an OpenMath JSON Encoding. CICM Workshops (2018)
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. MACIS (2017)
Tom Wiesing, Michael Kohlhase, Florian Rabe
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. MACIS (2017)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, 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. ICMS (2016)
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
Tom Wiesing, Felix Schmoll
KAT: an Annotation Tool for STEM Documents. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
System Description: MathHub.info. CICM (2014)