Mathematics in Computer Science
ISSN: 1661-8270
eISSN: 1661-8289
Publisher: Springer Verlag
Publications (5)
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