Download PDFOpen PDF in browser

Pattern Matching for Mathematical Expressions with OpenMath

EasyChair Preprint 6406

6 pagesDate: August 26, 2021

Abstract

Am OpenMath Content Dictionary with symbols for pattern matching of tree-like structures is presented. Furthermore, a mapping to RDF and SPARQL is introduced that allows to execute search queries against an OpenMath RDF representation.

Keyphrases: Information Retrieval, OpenMath, RDF, mathematics, pattern matching

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:6406,
  author    = {Ken Wenzel},
  title     = {Pattern Matching for Mathematical Expressions with OpenMath},
  howpublished = {EasyChair Preprint 6406},
  year      = {EasyChair, 2021}}
Download PDFOpen PDF in browser