|
|
| Line 1: |
Line 1: |
| {{primary sources|date=September 2011}}
| | Gabrielle is what her his conversation loves to call your wife's though she doesn't genuinely like being called of that ranking. As a woman what this lady really likes is mah jongg but she by no means made a dime by using it. [http://Search.huffingtonpost.com/search?q=Software+developing&s_it=header_form_v1 Software developing] is where her main income comes from still , soon her husband but also her will start specific own business. For a while she's happened to be in [http://imgur.com/hot?q=Massachusetts Massachusetts]. Go to her website to find out more: http://circuspartypanama.com<br><br>my web-site [http://circuspartypanama.com clash of clans cheat] |
| '''OpenMath''' is the name of a [[document markup language|markup language]] for specifying the meaning of [[mathematics|mathematical]] [[formulae]]. Among other things, it can be used to complement [[MathML]], a standard which mainly focuses on the presentation of formulae, with information about their semantic meaning. OpenMath can be encoded in [[Extensible Markup Language|XML]] or in a binary format. | |
| | |
| == Coverage ==
| |
| | |
| OpenMath consists of the definition of "OpenMath Objects", which is an abstract datatype for describing the logical structure of a mathematical formula and the definition of "OpenMath Content Dictionaries", or collections of names for mathematical concepts. The names available from the latter type of collections are specifically intended for use in extending MathML, and conversely, a basic set of such "Content Dictionaries" has been designed to be compatible with the small set of mathematical concepts defined in Content MathML, the non-presentational subset of MathML.
| |
| | |
| == History ==
| |
| | |
| OpenMath has been developed in a long series of workshops and (mostly European) research projects that began in 1993 and continues through today. The OpenMath 1.0 Standard was released in February 2000, and revised as OpenMath 1.1 in October 2002. Two years later, the OpenMath 2.0 Standard was released in June 2004. OpenMath 1 fixed the basic language architecture, while OpenMath2 brought better XML integration, structure sharing and liberalized the notion of OpenMath Content dictionaries.
| |
| | |
| == OpenMath Society ==
| |
| | |
| The OpenMath Effort is governed by the [http://www.openmath.org/society/index.html OpenMath Society], based in [[Helsinki]], [[Finland]]. The Society brings together tool builders, software suppliers, publishers and authors. Membership is by invitation of the Societies Executive Committee, which welcomes self-nominations of individuals who have worked on OpenMath-related issues in research or application. As of 2007, [[Michael Kohlhase]] is president of the OpenMath society. He succeeded Arjeh M. Cohen, who was the first president.
| |
| | |
| == Example ==
| |
| | |
| The well-known [[quadratic formula]]:
| |
| :<math>x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}</math>
| |
| | |
| would be marked up like this in OpenMath (the representation is an expression tree made up from functional elements like <tt>OMA</tt> for function application or <tt>OMV</tt> for variables):
| |
| | |
| <source lang="xml">
| |
| <OMOBJ xmlns="http://www.openmath.org/OpenMath">
| |
| <OMA cdbase="http://www.openmath.org/cd">
| |
| <OMS cd="relation1" name="eq"/>
| |
| <OMV name="x"/>
| |
| <OMA>
| |
| <OMS cd="arith1" name="divide"/>
| |
| <OMA>
| |
| <OMS cdbase="http://www.example.com/mathops" cd="multiops" name="plusminus"/>
| |
| <OMA>
| |
| <OMS cd="arith1" name="unary_minus"/>
| |
| <OMV name="b"/>
| |
| </OMA>
| |
| <OMA>
| |
| <OMS cd="arith1" name="root"/>
| |
| <OMA>
| |
| <OMS cd="arith1" name="minus"/>
| |
| <OMA>
| |
| <OMS cd="arith1" name="power"/>
| |
| <OMV name="b"/>
| |
| <OMI>2</OMI>
| |
| </OMA>
| |
| <OMA>
| |
| <OMS cd="arith1" name="times"/>
| |
| <OMI>4</OMI>
| |
| <OMV name="a"/>
| |
| <OMV name="c"/>
| |
| </OMA>
| |
| </OMA>
| |
| </OMA>
| |
| </OMA>
| |
| <OMA>
| |
| <OMS cd="arith1" name="times"/>
| |
| <OMI>2</OMI>
| |
| <OMV name="a"/>
| |
| </OMA>
| |
| </OMA>
| |
| </OMA>
| |
| </OMOBJ>
| |
| </source>
| |
| | |
| In the expression tree above symbols—i.e. elements like <tt><nowiki><OMS cd="arith1" name="times"/></nowiki></tt>—stand for mathematical functions that are applied to sibling expressions in an <tt>OMA</tt> which are interpreted as arguments. The <tt>OMS</tt> element is a generic extension element that means whatever is specified in the content dictionary referred to in the <tt>cd</tt> attribute (this document can be found at the URI specified in the innermost <tt>cdbase</tt> attribute dominating the respective <tt>OMS</tt> element. In the example above, all symbols come from the content dictionary for arithmetics (<tt>arith1</tt>, see below), except for the <tt>plusminus</tt>, which comes from a non-standard place, hence the <tt>cdbase</tt> attribute here.
| |
| | |
| == OpenMath Content Dictionaries ==
| |
| | |
| Content Dictionaries are structured XML documents that define mathematical symbols that can be referred to by <nowiki>OMS</nowiki> elements in OpenMath Objects. The OpenMath 2 standard does not prescribe a canonical encoding for content dictionaries, but only requires an infrastructure sufficient for unique referencing in <nowiki>OMS</nowiki> elements. OpenMath provides a very basic XML encoding that meets these requirements, and a set of specific content dictionaries for some areas of mathematics, in particular covering the K-14 fragment covered by content MathML.
| |
| | |
| For more richly structured content dictionaries (and generally for arbitrary mathematical documents) the [[OMDoc]] format extends OpenMath by a “statement level” (including structures like definitions, theorems, proofs and examples, as well as means for interrelating them) and a “theory level”, where a theory is a collection of several contextually related statements. OMDoc's theories are designed to be compatible to OpenMath content dictionaries, but they can also be set into inheritance and import relations. | |
| | |
| ==See also==
| |
| *[[List of document markup languages]]
| |
| *[[Comparison of document markup languages]]
| |
| *[[MathML]]
| |
| *[[OMDoc]]
| |
| *[[TeX]]
| |
| | |
| ==External links==
| |
| *[http://www.openmath.org The OpenMath website] — The definitive source of information on all things OpenMath.
| |
| *[http://www.openmath.org/standard/ The OpenMath Standard] — The definition of OpenMath Objects.
| |
| *[http://www.openmath.org/cd/ OpenMath Content Dictionaries] — The official repository of OpenMath Content Dictionaries.
| |
| | |
| [[Category:Markup languages]]
| |
| [[Category:Mathematical markup languages]]
| |
| [[Category:XML-based standards]]
| |
Gabrielle is what her his conversation loves to call your wife's though she doesn't genuinely like being called of that ranking. As a woman what this lady really likes is mah jongg but she by no means made a dime by using it. Software developing is where her main income comes from still , soon her husband but also her will start specific own business. For a while she's happened to be in Massachusetts. Go to her website to find out more: http://circuspartypanama.com
my web-site clash of clans cheat