Options
2022
Conference Paper
Title
OpenMath-RDF: RDF encodings for OpenMath objects and Content Dictionaries
Abstract
This paper presents RDF encodings for OpenMath objects and Content Dictionaries that allow mathematical objects and symbol definitions to be first-class citizens on the Web of Data.
Mainwork
Ceur Workshop Proceedings
Conference
Joint of the 5th Workshop on Formal Mathematics for Mathematicians, FMM 2019, 2nd Workshop on Formal Verification of Physical Systems, FVPS 2021, 13th Workshop on Mathematical User Interaction, MathUI 2021, 2021 Workshop on Natural Formal Mathematics, NatFoM 2021, and 31st OpenMath Workshops, OM 2021 Doctoral Program and Work in Progress at the 14th Conference on Intelligent Computer Mathematics, CICM-WS 2021