A parser to read and write textual formulas from / to OpenMath RDF syntax
Implementation of (most of) the OpenMath Standard in JavaScript
math agent — CLI & library for building math reasoning GUIs
Evaluates mathematical formulas stored in RDF/OpenMath format against SPARQL endpoints
An implementation of the Huet-Lang pattern-matching algorithm in JavaScript
VMEdit is a visual content MathML editor. In the standard workflow parallel markup is generated from LaTeX input, which we visualize in expression tree form. Then, the user alters the tree structure via drag and drop and links symbols to content dictiona
Perform computations using the GAP computer algebra system
Support for OpenMath (de)serialization
Powerful Maths Library for Graphical Applications in Rust and OpenGeometry