Indexed Artifacts (8.21M)

Popular Categories

Group: cz.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

cz.muni.fi.mir » mathml-unificatorApache

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