Keyword:OpenMath

Publications
OpenMath-RDF: RDF Encodings for OpenMath Objects and Content Dictionaries Ken Wenzel EasyChair Preprint 6407
Pattern Matching for Mathematical Expressions with OpenMath Ken Wenzel EasyChair Preprint 6406