Semantics of OpenMath and MathML3.

Michael Kohlhase Florian Rabe

Published in: Math. Comput. Sci. (2012)

Keyphrases

formal semantics
data sets
real world
search engine
similarity measure
multiscale
object oriented
semantic information
graphical representation
specification language
proof theory