Keyword:OpenMath

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