"A Framework for Representing and Processing Arbitrary Mathematics."

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