Tom Wiesing

According to our database, Tom Wiesing authored at least 11 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

WissKI Viewer Casual Access for WissKI Data Sets.

Tom Wiesing

Proceedings of the 1st Conference on Research Data Infrastructure - Connecting Communities, 2023

WissKI A Virtual Research Environment Based on Drupal.

Mark Fichtner, Robert Nasarek, Tom Wiesing

Proceedings of the 1st Conference on Research Data Infrastructure - Connecting Communities, 2023

2019

Evolving MathHub for Tetrapodal Math.

Tom Wiesing

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

Integrating Semantic Mathematical Documents and Dynamic Notebooks.

Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

A Proposal for an OpenMath JSON Encoding.

Tom Wiesing, Michael Kohlhase

Proceedings of the Joint Proceedings of the CME-EI, 2018

2017

Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases.

Tom Wiesing, Michael Kohlhase, Florian Rabe

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Knowledge-Based Interoperability for Mathematical Software Systems.

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

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

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.

Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing

Proceedings of the Mathematical Software - ICMS 2016, 2016

KAT: an Annotation Tool for STEM Documents.

Tom Wiesing, Felix Schmoll

Proceedings of the Joint Proceedings of the FM4M, 2016

2014

System Description: MathHub.info.

Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014