Tom Wiesing

11 papers C 3Unranked 8

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	WissKI A Virtual Research Environment Based on Drupal. CoRDI Mark Fichtner, Robert Nasarek, Tom Wiesing
2023	—	`conf`	WissKI Viewer Casual Access for WissKI Data Sets. CoRDI Tom Wiesing
2019	—	`conf`	Evolving MathHub for Tetrapodal Math. CICM Workshops Tom Wiesing
2019	C	`conf`	Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
2018	—	`conf`	A Proposal for an OpenMath JSON Encoding. CICM Workshops Tom Wiesing, Michael Kohlhase
2017	—	`conf`	Knowledge-Based Interoperability for Mathematical Software Systems. MACIS Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
2017	—	`conf`	Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. MACIS Tom Wiesing, Michael Kohlhase, Florian Rabe
2016	C	`conf`	Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM 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
2016	—	`conf`	KAT: an Annotation Tool for STEM Documents. FM4M/MathUI/ThEdu/DP/WIP@CIKM Tom Wiesing, Felix Schmoll
2016	—	`conf`	The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
2014	C	`conf`	System Description: MathHub.info. CICM Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing