HomeOverviewDocumentsContent DictionariesSoftware & ToolsThe OpenMath SocietyOpenMath ProjectsOpenMath Discussion ListsOpenMath MeetingsLinks


Contributed OpenMath Content Dictionaries

OpenMath 2 Content dictionaries may be submitted using the OpenMath 2 CD submission flow.

Some of these files have been submitted as OpenMath 1 CDs and have been automatically converted to use the OpenMath 2 CD namespace, http://www.openmath,org/OpenMathCD.

3Dgeo1
Author: Jesús Escribano
Submitted: 2013-03-06 16:06 GMT
This CD defines symbols for 3-dimensional Euclidean geometry
3Dgeo2
Author: Jesús Escribano
Submitted: 2013-03-06 16:06 GMT
This CD defines symbols for 3-dimensional Euclidean geometry
3Dgeo3
Author: Jesús Escribano
Submitted: 2013-03-06 16:06 GMT
This CD defines symbols for 3-dimensional Euclidean geometry
aggregate_cats
Author: Bill Naylor
Submitted: 2002-10-02 3:07 GMT
A CD of basic aggregate category constructors. This CD holds constructors of individual instances of the categories, with defining properties of the categories.
airy
Author: J.H.Davenport
Submitted: 2002-09-19 11:20 GMT
Airy functions
algebraic_cats
Author: Bill Naylor
Submitted: 2002-10-02 3:58 GMT
A CD of basic algebraic category constructors. This CD holds constructors of individual instances of the categories, with defining properties of the categories and accessor symbols to allow access to attributes of the categories.
asymp1
Author: Bill Naylor
Submitted: 2003-01-07 15:42 GMT
This CD provides a representation of the O notation. Formally the O constructs a set of certain functions.
calculus2
Author: Mike Dewar
Submitted: 2004-03-24 15:21 GMT
symbols for describing integrals
cauchypv
Author: J.H.Davenport
Submitted: 2002-09-19 11:20 GMT
Cauchy principal value definite integral
dimensions1
Author: James Davenport
Submitted: 2003-09-17 13-50
equations1
Author: Mike Dewar
Submitted: 2004-02-04 16:06 GMT
Predicates for stating properties of (systems of) equations.
expint
Author: J.H.Davenport
Submitted: 2002-09-17 16:45 GMT
Exponential and Logarithmic Integrals
fns3
Author: Mike Dewar
Submitted: 2004-02-06 11:44 GMT
Symbols for making statements about properties of functions.
freealg1
Author: Nobuki Takayama
Submitted: 2002-09-25
This CD defines elements of a free algebra.
FundamentalPhysicalConstants1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
The five Planck Units and the five physical constants that define them.
gen_hyperbolic1
Author: Bill Naylor
Submitted: 2002-11-19 23:05 GMT
This CD contains a symbol to represent generalised hyperbolic functions
generic_alg_cats
Author: Bill Naylor
Submitted: 2002-10-02 3:25 GMT
A CD of generic algebraic categories. This CD holds information relating to the heirarchical sturcture of the algebraic category system.
hypergeo0
Author: Yasushi Tamura
Submitted: 2002-10-21 3:07 GMT
Functions required to define hypergeometric functions of one variable. Gamma, Beta, and Pochhammer are defined.
hypergeo1
Author: Yasushi Tamura
Submitted: 2002-11-13 0:00 GMT
The Gauss hypergeometric function, confluent hypergeometric functions, and generalized hypergeometric functions in one variables.
hypergeo2
Author: Yasushi Tamura
Submitted: 2002-11-13 0:01 GMT
The Kummer, Bessel, Hankel, and Airy functions are defined.
hypergeon0
Author: Nobuki Takayama
Submitted: 2002-11-12 1:17 GMT
Some symbols which are necessary to define hypergeometric functions of several variables. I think most of these symbols should belong to CD's list and linalg in a future.
hypergeon1
Author: Nobuki Takayama
Submitted: 2002-11-12 1:18 GMT
A-hypergeometric functions are defined. They are modern hypergeometric functions in several variables.
hypergeon2
Author: Nobuki Takayama
Submitted: 2002-11-12 1:20 GMT
Appell and Lauricella hypergeometric functions. They are classical hypergeometric functions in several variables.
interval_types
Author: Bill Naylor
Submitted: 2002-10-02 4:03 GMT
A CD of basic interval type constructors. This CD holds constructors of individual instances of the different types of intervals.
intpath1
Author: Nobuki Takayama
Submitted: 2003-12-12 2:47 GMT
Pathes for complex integrals.
linalg1p
Author: Nobuki Takayama
Submitted: 2002-07-30
This CD defines symbols for linear algebra used for hypergeon1
linalg6
Author: Bill Naylor
Submitted: 2004-04-06 9:23 GMT
Symbols for describing sparse matrices
linalg7
Author: Bill Naylor
Submitted: 2003-02-25 3:52 GMT
A content dictionary for structured vectors
list1
Author: a.m.cohen
Submitted: 2004-11-23 7:09 GMT
slight editing done to official version
logic1p
Author: Nobuki Takayama
Submitted: 2002-09-25
This CD defines a where symbol
logic3
Author: Davenport/Naylor
Submitted: 2002-12-06 10:35 GMT
Updated version with some but fixes from Naylor of the existing logic3, which describes propositioal/predicate proofs.
meta_cats
Author: Bill Naylor
Submitted: 2002-10-02 3:09 GMT
This CD holds symbols for making meta statements about categories
new_calculus1
Author: Bill Naylor
Submitted: 2003-01-07 15:57 GMT
proposal to extend calculs1.ocd with nthpartialdiff
norm1
Author: James Davenport
Submitted: 2003-09-17 13-50
numerical1
Author: James Davenport
Submitted: 2003-09-17 13-50
numerical2
Author: Mike Dewar
Submitted: 2004-02-09 17:00 GMT
This CD contains descriptors of symbols used by search-based numerical algorithms.
om2test1
Author: dpc
Submitted: 2004-07-12 13:54 GMT
test
orthpoly1
Author: Yasushi Tamura
Submitted: 2002-11-13 0:03 GMT
The Legendre and Jaboci polynomials, which are hypergeometric orthogonal polynomials in one variable.
permutation1
Author: Arjeh Cohen
Submitted: 2002-10-29 9:41 GMT
This CD defines permutations with finite support.
plangeo1
Author: Arjeh Cohen
Submitted: 2002-09-23 16:32 GMT
CD for Planar Euclidean geometry.
poly1p
Author: Nobuki Takayama
Submitted: 2002-09-25
This CD defines symbols for concerning multi-index and indexed variables.
polyu
Author: James Davenport
Submitted: 2003-09-17 13-50
rdf
Author: Ken Wenzel, Fraunhofer IWU
Submitted: 2011-02-29 16:00 GMT
This CD modelizes the resource description framework
set1p
Author: Nobuki Takayama
Submitted: 2002-09-25
This CD defines a cartesian product symbol
setname2
Author: James Davenport
Submitted: 2003-09-17 13-50
setname3
Author: David carlisle
Submitted: 2003-01-07 15:51 GMT
Provides the function_set operator which generates the set of functions between the specified sets.
SI_BaseQuantities1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
This CD captures the seven base quantities of the SI International System of Quantities (ISQ).
SI_BaseUnits1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
This CD captures the seven base units of the SI.
SI_DerivedQuantities1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
This CD captures those quantities specifically mentioned in the SI and includes all the quantities for which there are SI named units.
SI_Functions1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
Essential mappings, identified in the SI, between quantities and units.
SI_NamedDerivedUnits1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
This CD captures additional units, named in the SI, and derived from the SI base units.
SIUsed_OffSystemMeasuredUnits1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
Units which are used with the SI, but have values in SI units determined by measurement.
SIUsed_OffSystemUnits1
Author: J B Collins
Submitted: 2009-04-15 1:08 GMT
Commonly used units that are not coherent with SI, but are accepted for use with SI.
sts2
Author: Mike Dewar
Submitted: 2004-02-06 11:41 GMT
Symbols for creating parameterised types in sts.
tensor1
Author: J B Collins
Submitted: 2010-08-31 3:00 GMT
This CD defines content markup symbols which may be used to represent tensor formulae,particularly with index notation.
transc2
Author: James Davenport
Submitted: 2004-01-06 15:59 GMT
Two argument arctan, and unwinding number
units_binaryprefix1
Author: James Davenport
Submitted: 2003-09-17 13-50
units_imperial1
Author: James Davenport
Submitted: 2003-09-17 13-50
units_metric1
Author: James Davenport
Submitted: 2003-09-17 13-50
units_ops1
Author: James Davenport
Submitted: 2003-09-17 13-50
units_siprefix1
Author: James Davenport
Submitted: 2003-09-17 13-50
units_sts
Author: James Davenport
Submitted: 2003-09-17 13-50
units_time1
Author: James Davenport
Submitted: 2003-09-17 13-50
weylalgebra1
Author: Yasushi Tamura and Nobuki Takayama
Submitted: 2002-11-12 0:34 GMT
Some basic symbols for the weyl algebra (the ring of differential operators).

CD Home


HomeOverviewDocumentsContent DictionariesSoftware & ToolsThe OpenMath SocietyOpenMath ProjectsOpenMath Discussion ListsOpenMath MeetingsLinks


© The OpenMath Society 2001–2016
Maintained by the OpenMath Infrastructure Team