Contributed OpenMath Content Dictionaries


OpenMath 2 Content dictionaries may be submitted using the OpenMath 2 CD  submission form.
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.


<dl>
<dt>
<a href="cd/contrib/cd/aggregate_cats.xhtml">aggregate_cats</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2002-10-02 3:07 GMT</date>
</div>
<div>
  A CD of basic aggregate category constructors. This CD holds
constructors of individual instances of the categories, with
defining properties of the categories.

  </div>
</dd>
<dt>
<a href="cd/contrib/cd/airy.xhtml">airy</a>
</dt>
<dd>
<div>Author: <author email="J.H.Davenport@bath.ac.uk">J.H.Davenport</author>
</div>
<div>Submitted: <date>2002-09-19 11:20 GMT</date>
</div>
<div>
  Airy functions
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/algebraic_cats.xhtml">algebraic_cats</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2002-10-02 3:58 GMT</date>
</div>
<div>
  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.

  </div>
</dd>
<dt>
<a href="cd/contrib/cd/asymp1.xhtml">asymp1</a>
</dt>
<dd>
<div>Author: <author email="Bill.Naylor@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2003-01-07 15:42 GMT</date>
</div>
<div>
  This CD provides a representation of the O notation. Formally the
 O constructs a set of certain functions.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/calculus2.xhtml">calculus2</a>
</dt>
<dd>
<div>Author: <author email="miked@nag.co.uk">Mike Dewar</author>
</div>
<div>Submitted: <date>2004-03-24 15:21 GMT</date>
</div>
<div>
  symbols for describing integrals
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/cauchypv.xhtml">cauchypv</a>
</dt>
<dd>
<div>Author: <author email="J.H.Davenport@bath.ac.uk">J.H.Davenport</author>
</div>
<div>Submitted: <date>2002-09-19 11:20 GMT</date>
</div>
<div>
  Cauchy principal value definite integral
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/dimensions1.xhtml">dimensions1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/equations1.xhtml">equations1</a>
</dt>
<dd>
<div>Author: <author email="miked@nag.co.uk">Mike Dewar</author>
</div>
<div>Submitted: <date>2004-02-04 16:06 GMT</date>
</div>
<div>
  Predicates for stating properties of (systems of) equations.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/expint.xhtml">expint</a>
</dt>
<dd>
<div>Author: <author email="J.H.Davenport@bath.ac.uk">J.H.Davenport</author>
</div>
<div>Submitted: <date>2002-09-17 16:45 GMT</date>
</div>
<div>
  Exponential and Logarithmic Integrals
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/fns3.xhtml">fns3</a>
</dt>
<dd>
<div>Author: <author email="miked@nag.co.uk">Mike Dewar</author>
</div>
<div>Submitted: <date>2004-02-06 11:44 GMT</date>
</div>
<div>
  Symbols for making statements about properties of functions.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/gen_hyperbolic1.xhtml">gen_hyperbolic1</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2002-11-19 23:05 GMT</date>
</div>
<div>
  This CD contains a symbol to represent
generalised hyperbolic functions
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/generic_alg_cats.xhtml">generic_alg_cats</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2002-10-02 3:25 GMT</date>
</div>
<div>
  A CD of generic algebraic categories. This CD holds information
relating to the heirarchical sturcture of the algebraic category
system.

  </div>
</dd>
<dt>
<a href="cd/contrib/cd/hypergeo0.xhtml">hypergeo0</a>
</dt>
<dd>
<div>Author: <author email="ocd@math.kobe-u.ac.jp">Yasushi Tamura</author>
</div>
<div>Submitted: <date>2002-10-21 3:07 GMT</date>
</div>
<div>
  Functions required to define
hypergeometric functions of
one variable.
Gamma, Beta, and Pochhammer
are defined.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/hypergeo1.xhtml">hypergeo1</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Yasushi Tamura</author>
</div>
<div>Submitted: <date>2002-11-13 0:00 GMT</date>
</div>
<div>
  The Gauss hypergeometric function, confluent hypergeometric functions, and generalized hypergeometric functions in one variables. 
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/hypergeo2.xhtml">hypergeo2</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Yasushi Tamura</author>
</div>
<div>Submitted: <date>2002-11-13 0:01 GMT</date>
</div>
<div>
  The Kummer, Bessel, Hankel, and Airy functions are defined. 
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/hypergeon0.xhtml">hypergeon0</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Nobuki Takayama</author>
</div>
<div>Submitted: <date>2002-11-12 1:17 GMT</date>
</div>
<div>
  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.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/hypergeon1.xhtml">hypergeon1</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Nobuki Takayama</author>
</div>
<div>Submitted: <date>2002-11-12 1:18 GMT</date>
</div>
<div>
  A-hypergeometric functions are
defined.
They are modern hypergeometric
functions in several variables.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/hypergeon2.xhtml">hypergeon2</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Nobuki Takayama</author>
</div>
<div>Submitted: <date>2002-11-12 1:20 GMT</date>
</div>
<div>
  Appell and Lauricella hypergeometric
functions.
They are classical hypergeometric
functions in several variables.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/interval_types.xhtml">interval_types</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2002-10-02 4:03 GMT</date>
</div>
<div>
  A CD of basic interval type constructors. This CD holds
constructors of individual instances of the different types of intervals.

  </div>
</dd>
<dt>
<a href="cd/contrib/cd/intpath1.xhtml">intpath1</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Nobuki Takayama</author>
</div>
<div>Submitted: <date>2003-12-12 2:47 GMT</date>
</div>
<div>
  Pathes for complex integrals.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/linalg6.xhtml">linalg6</a>
</dt>
<dd>
<div>Author: <author email="wn@cs.bath.ac.uk">Bill Naylor</author>
</div>
<div>Submitted: <date>2004-04-06 9:23 GMT</date>
</div>
<div>
  Symbols for describing sparse matrices
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/linalg7.xhtml">linalg7</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2003-02-25 3:52 GMT</date>
</div>
<div>
  A content dictionary for structured 
vectors
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/list1.xhtml">list1</a>
</dt>
<dd>
<div>Author: <author email="amc@win,.tue.nl">a.m.cohen</author>
</div>
<div>Submitted: <date>2004-11-23 7:09 GMT</date>
</div>
<div>
  slight editing done to official version
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/logic3.xhtml">logic3</a>
</dt>
<dd>
<div>Author: <author email="J.H.Davenport@bath.ac.uk">Davenport/Naylor</author>
</div>
<div>Submitted: <date>2002-12-06 10:35 GMT</date>
</div>
<div>
  Updated version with some but fixes from Naylor of the existing logic3, which describes propositioal/predicate proofs.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/meta_cats.xhtml">meta_cats</a>
</dt>
<dd>
<div>Author: <author email="bill@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2002-10-02 3:09 GMT</date>
</div>
<div>
  This CD holds symbols for making meta statements about categories

  </div>
</dd>
<dt>
<a href="cd/contrib/cd/new_calculus1.xhtml">new_calculus1</a>
</dt>
<dd>
<div>Author: <author email="Bill.Naylor@mcs.vuw.ac.nz">Bill Naylor</author>
</div>
<div>Submitted: <date>2003-01-07 15:57 GMT</date>
</div>
<div>
  proposal to extend calculs1.ocd with
nthpartialdiff
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/norm1.xhtml">norm1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/numerical1.xhtml">numerical1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/numerical2.xhtml">numerical2</a>
</dt>
<dd>
<div>Author: <author email="miked@nag.co.uk">Mike Dewar</author>
</div>
<div>Submitted: <date>2004-02-09 17:00 GMT</date>
</div>
<div>
  This CD contains descriptors of symbols used by search-based numerical algorithms.

  </div>
</dd>
<dt>
<a href="cd/contrib/cd/om2test1.xhtml">om2test1</a>
</dt>
<dd>
<div>Author: <author email="dpc@nag">dpc</author>
</div>
<div>Submitted: <date>2004-07-12 13:54 GMT</date>
</div>
<div>
  test
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/orthpoly1.xhtml">orthpoly1</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Yasushi Tamura</author>
</div>
<div>Submitted: <date>2002-11-13 0:03 GMT</date>
</div>
<div>
  The Legendre and Jaboci polynomials, which are hypergeometric orthogonal polynomials in one variable. 
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/permutation1.xhtml">permutation1</a>
</dt>
<dd>
<div>Author: <author email="amc@win.tue.nl">Arjeh Cohen</author>
</div>
<div>Submitted: <date>2002-10-29 9:41 GMT</date>
</div>
<div>
  This CD defines permutations with finite support.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/plangeo1.xhtml">plangeo1</a>
</dt>
<dd>
<div>Author: <author email="amc@win.tue.nl">Arjeh Cohen</author>
</div>
<div>Submitted: <date>2002-09-23 16:32 GMT</date>
</div>
<div>
  CD for Planar Euclidean geometry.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/polyu.xhtml">polyu</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/setname2.xhtml">setname2</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/setname3.xhtml">setname3</a>
</dt>
<dd>
<div>Author: <author email="davidc">David carlisle</author>
</div>
<div>Submitted: <date>2003-01-07 15:51 GMT</date>
</div>
<div>
  Provides the function_set operator which generates the set of functions between the specified sets.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/sts2.xhtml">sts2</a>
</dt>
<dd>
<div>Author: <author email="miked@nag.co.uk">Mike Dewar</author>
</div>
<div>Submitted: <date>2004-02-06 11:41 GMT</date>
</div>
<div>
  Symbols for creating parameterised types in sts.
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/transc2.xhtml">transc2</a>
</dt>
<dd>
<div>Author: <author email="J.H. Davenport@bath.ac.uk">James Davenport</author>
</div>
<div>Submitted: <date>2004-01-06 15:59 GMT</date>
</div>
<div>
  Two argument arctan, and unwinding number
  </div>
</dd>
<dt>
<a href="cd/contrib/cd/units_binaryprefix1.xhtml">units_binaryprefix1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/units_imperial1.xhtml">units_imperial1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/units_metric1.xhtml">units_metric1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/units_ops1.xhtml">units_ops1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/units_siprefix1.xhtml">units_siprefix1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/units_sts.xhtml">units_sts</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/units_time1.xhtml">units_time1</a>
</dt>
<dd>
<div>Author: <author email="jhd">James Davenport</author>
</div>
<div>Submitted: <date>2003-09-17 13-50</date>
</div>
<div>
  
</div>
</dd>
<dt>
<a href="cd/contrib/cd/weylalgebra1.xhtml">weylalgebra1</a>
</dt>
<dd>
<div>Author: <author email="om@math.kobe-u.ac.jp">Yasushi Tamura and Nobuki Takayama</author>
</div>
<div>Submitted: <date>2002-11-12 0:34 GMT</date>
</div>
<div>
  Some basic symbols for the weyl
algebra (the ring of differential
operators).
  </div>
</dd>
</dl>



CD Home