Objectives of Openmath
نویسندگان
چکیده
OpenMath aims at providing a universal means of communicating mathematical information between applications. In this paper we present a global description of OpenMath as well as some exemplary scenarios involving its use. Through examination of these scenarios we nd a list of requirements leading to suggestions regarding structure and implementation of OpenMath.
منابع مشابه
MMT Objects
Mmt is a mathematical knowledge representation language, whose object layer is strongly inspired by OpenMath. In fact, the first version of the Mmt system implemented exactly OpenMath objects. But over time Mmt has evolved and deviated from OpenMath in some respects. Some of these deviations are experimental or specific to Mmt applications, but others may be interesting for future versions of O...
متن کاملOn the relationship between OpenMath and MathML
OpenMath and MathML Bill Naylor Stephen Watt Ontario Resear h Center for Computer Algebra University of Western Ontario London Ontario CANADA N6A 5B7 fbill,wattg or a.on. a July 6, 2001 Abstra t MathML provides a rather omplete set of primitives for notational representation of mathemati s but only a limited set of primitives to des ribe the meaning of mathemati al expressions. OpenMath provide...
متن کاملOpenMath and SMT-LIB
OpenMath and SMT-LIB are languages with very different origins, but both"represent mathematics". We describe SMT-LIB for the OpenMath community and consider adaptations for both languages to support the growing SC-Square initiative.
متن کاملSemantics of OpenMath and MathML3
Even though OpenMath has been around for more than 10 years, there is still confusion about the “semantics of OpenMath”. As the upcoming MathML3 recommendation will semantically base Content MathML on OpenMath Objects, this question becomes more pressing. One source of confusions about OpenMath semantics is that it is given on two levels: a very weak algebraic semantics for expression trees, wh...
متن کاملInteractive Mathematics with Strong OpenMath
Interactive mathematics over the Internet is particularly appealing in that it can take advantage of the wealth of resources available online. Among the prerequisites to cooperation among systems for computer mathematics is the meaningfulness of the objects that are exchanged. Strong OpenMath is a sublanguage of OpenMath for which meaningfullness of the objects is exactly de ned. The paper addr...
متن کامل