MathMLCanonicalizer

MathMLCanonicalizer is able to canonicalize MathML input. Modular architecture allows to set up canonicalization features according to users needs.

License	Apache License, Version 2.0
GroupId	cz.muni.fi.mir
ArtifactId	mathml-canonicalizer
Last Version	1.3.1
Release Date	Jan 27, 2016
Type	jar
Description	MathMLCanonicalizer MathMLCanonicalizer is able to canonicalize MathML input. Modular architecture allows to set up canonicalization features according to users needs.
Project URL	https://mir.fi.muni.cz/
Source Code Management	https://github.com/michal-ruzicka/MathMLUnificator

Download mathml-canonicalizer

Filename	Size
mathml-canonicalizer-1.3.1.pom
mathml-canonicalizer-1.3.1.jar	38 KB
mathml-canonicalizer-1.3.1-sources.jar	27 KB
mathml-canonicalizer-1.3.1-javadoc.jar	127 KB
mathml-canonicalizer-1.3.1-jar-with-dependencies.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/cz.muni.fi.mir/mathml-canonicalizer/ -->
<dependency>
    <groupId>cz.muni.fi.mir</groupId>
    <artifactId>mathml-canonicalizer</artifactId>
    <version>1.3.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/cz.muni.fi.mir/mathml-canonicalizer/
implementation 'cz.muni.fi.mir:mathml-canonicalizer:1.3.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/cz.muni.fi.mir/mathml-canonicalizer/
implementation ("cz.muni.fi.mir:mathml-canonicalizer:1.3.1")

Apache Buildr

'cz.muni.fi.mir:mathml-canonicalizer:jar:1.3.1'

Apache Ivy

<dependency org="cz.muni.fi.mir" name="mathml-canonicalizer" rev="1.3.1">
  <artifact name="mathml-canonicalizer" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='cz.muni.fi.mir', module='mathml-canonicalizer', version='1.3.1')
)

Scala SBT

libraryDependencies += "cz.muni.fi.mir" % "mathml-canonicalizer" % "1.3.1"

Leiningen

[cz.muni.fi.mir/mathml-canonicalizer "1.3.1"]

Dependencies

compile (5)

Group / Artifact	Type	Version
org.jdom : jdom2	jar	2.0.6
jaxen : jaxen	jar	1.1.6
commons-io : commons-io	jar	2.4
commons-cli : commons-cli	jar	1.3.1
xmlunit : xmlunit	jar	1.6

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.

MathML Unificator – Generalizes mathematical formulae for structural unification

MathML Unificator is a tool which performs structural MathML unification as proposed by Růžička, Sojka, and Líška, 2016.

Usage

File encoding on Windows

On Windows, file encodings default to system-language-specific single-byte encodings. To ensure that JVM uses UTF-8, start JVM with command line argument -Dfile.encoding=UTF-8 as follows:

java -Dfile.encoding=UTF-8 -jar mathml-unificator.jar

However, be aware the default Windows command line shell has significant problems with Unicode in the default configuration. Try Lucida console font with appropriate shell code page setting.

Example

Executing the following command derives a series of four increasingly general formulae from an example formula:

$ java -jar mathml-unificator.jar -p sample-data/single-formula.xml
<?xml version="1.0" encoding="UTF-8"?>
<unified-math xmlns="http://mir.fi.muni.cz/mathml-unification/">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
        <msup>
            <mi>a</mi>
            <mn>2</mn>
        </msup>
        <mo>+</mo>
        <mfrac>
            <msqrt>
                <mi>b</mi>
            </msqrt>
            <mi>c</mi>
        </mfrac>
    </math>
    <math xmlns:uni="http://mir.fi.muni.cz/mathml-unification/"
        uni:unification-level="1" uni:unification-max-level="4" xmlns="http://www.w3.org/1998/Math/MathML">
        <msup>
            <mi>a</mi>
            <mn>2</mn>
        </msup>
        <mo>+</mo>
        <mfrac>
            <msqrt>
                <mi>◍</mi>
            </msqrt>
            <mi>c</mi>
        </mfrac>
    </math>
    <math xmlns:uni="http://mir.fi.muni.cz/mathml-unification/"
        uni:unification-level="2" uni:unification-max-level="4" xmlns="http://www.w3.org/1998/Math/MathML">
        <msup>
            <mi>◍</mi>
            <mi>◍</mi>
        </msup>
        <mo>+</mo>
        <mfrac>
            <mi>◍</mi>
            <mi>◍</mi>
        </mfrac>
    </math>
    <math xmlns:uni="http://mir.fi.muni.cz/mathml-unification/"
        uni:unification-level="3" uni:unification-max-level="4" xmlns="http://www.w3.org/1998/Math/MathML">
        <mi>◍</mi>
        <mo>+</mo>
        <mi>◍</mi>
    </math>
    <math xmlns:uni="http://mir.fi.muni.cz/mathml-unification/"
        uni:unification-level="4" uni:unification-max-level="4" xmlns="http://www.w3.org/1998/Math/MathML">
        <mi>◍</mi>
        <mo>◍</mo>
        <mi>◍</mi>
    </math>
</unified-math>

Citing MathML Unificator

Text

RŮŽIČKA, Michal, Petr SOJKA a Martin LÍŠKA. Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies. In Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2016. 7 pp.

BibTeX

@inproceedings{RuzickaSojkaLiska16Math,
     author = "Michal R\r{u}\v{z}icka and Petr Sojka and Martin L{\' i}ska",
      title = "{Math Indexer and Searcher under the Hood: Fine-tuning Query
                Expansion and Unification Strategies.}",
  booktitle = "{Proceedings of the 12th NTCIR Conference on Evaluation of
                Information Access Technologies}",
     editor = "{Noriko Kando et al.}",
      pages = "331--337",
       year = 2016,
}

Versions

Version
1.3.1 Jan 27, 2016
1.3.0 Dec 14, 2015
1.2.0 Jul 20, 2015
1.1.0 Jul 20, 2015
1.0.0 Nov 10, 2013
0.1 Mar 26, 2013