An 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.
Building similarity graph...
Analyzing shared references across papers
Loading...
Ken Wenzel (Sat,) studied this question.
Ken Wenzel
Building similarity graph...
Analyzing shared references across papers
Loading...