"A Framework for Representing and Processing Arbitrary Mathematics."

Arnold Neumaier, Peter Schodl (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics