Indexed Artifacts (15.9M)

Popular Categories

Group: Muni FI MIR

Sort: popular | newest
MathMLCanonicalizer is able to canonicalize MathML input. Modular architecture allows to set up canonicalization features according to users needs.
Last Release on Jan 27, 2016

2. MathMLUnificator » mathml-unificatorApache

MathMLCan is a tool which performs simple MathML (Mathematical Markup Language) unification.
Last Release on Jul 1, 2016