Recent Advances in MercuryDPM (2023) Thornton AR, Plath T, Ostanin I, Götz H, Bisschop JW, Hassan M, Roeplal R, et al. Journal article DiscreteZOO: A Fingerprint Database of Discrete Objects (2020) Bercic K, Vidali J Journal article Semantics of OpenMath and MathML3 (2012) Kohlhase M, Rabe F Journal article, Original article Transforming large collections of scientific publications to XML (2010) Stamerjohanns H, Kohlhase M, Ginev D, David C, Miller B Journal article, Original article Using LATEX as a semantic markup format (2008) Kohlhase M Journal article, Original article