Download PDFOpen PDF in browser

Pattern Matching for Mathematical Expressions with OpenMath

EasyChair Preprint no. 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, mathematics, OpenMath, pattern matching, RDF

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 no. 6406},

  year = {EasyChair, 2021}}
Download PDFOpen PDF in browser