The Freedom to Extend OpenMath and its Utility

Abstract.OpenMath is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML in not being directly concerned with the presentation of the object, and from Content MathML 2 in being extensible.How should these extensions be performed so as to maximize the utility (which includes presentation) of OpenMath? How could publishers have the freedom to extend and let consumers find their way with expressions discovered on the Web? The answer up to now has been, too often, to say “this is not specified” whereas the existing content dictionary mechanism of OpenMath allows it to include formal properties which state mathematical facts that should stay uncontradicted while manipulating the symbols.The contribution of this paper is to propose methods to exploit the content dictionaries so as to allow an OpenMath-consuming tool to process expressions even if containing symbols it did not know about before. This approach is generalized to allow such newly discovered symbol to be, for example, rendered or input.

[1]  Joachim von zur Gathen,et al.  Irreducibility of Multivariate Polynomials , 1985, J. Comput. Syst. Sci..

[2]  Michael Kohlhase,et al.  Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge , 2007 .

[3]  Stephen M. Watt,et al.  Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms , 2003, Annals of Mathematics and Artificial Intelligence.

[4]  Pekka Aavikko,et al.  Network Time Protocol , 2010 .

[5]  Paul Bachmann,et al.  Die Analytische Zahlentheorie , 2022 .

[6]  Anany Levitin,et al.  Introduction to the Design and Analysis of Algorithms , 2002 .

[7]  Stephen M. Watt,et al.  According to abramowitz and stegun , 2000 .

[8]  Donald E. Knuth,et al.  Big Omicron and big Omega and big Theta , 1976, SIGA.

[9]  David Carlisle.  OpenMath, MathML, and XSL , 2000, SIGS.

[10]  D. Owen.  Handbook of Mathematical Functions with Formulas , 1965 .

[11]  Stephen M. Watt,et al.  Notation Selection in Mathematical Computing Environments , 2006 .

[12]  N. S. Barnett,et al.  Private communication , 1969 .

[13]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[14]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[15]  James H. Davenport,et al.  A small OpenMath type system , 2000, SIGS.

[16]  Abdou Youssef,et al.  A More Canonical Form of Content MathML to Facilitate Math Search , 2007 .

[17]  James H. Davenport,et al.  Computer algebra approaches to enzyme kinetics , 1991 .

[18]  Rajesh Munavalli,et al.  An Approach to Mathematical Search Through Query Formulation and Data Normalization , 2007, Calculemus/MKM.

[19]  Milton Abramowitz,et al.  Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 1964 .

[20]  Paul Libbrecht,et al.  Authoring Presentation for OpenMath , 2005, MKM.