- 3Dgeo1
-
Submitted:
2013-03-06 16:06 GMT
This CD defines symbols for 3-dimensional Euclidean geometry
- 3Dgeo2
-
Submitted:
2013-03-06 16:06 GMT
This CD defines symbols for 3-dimensional Euclidean geometry
- 3Dgeo3
-
Submitted:
2013-03-06 16:06 GMT
This CD defines symbols for 3-dimensional Euclidean geometry
- FundamentalPhysicalConstants1
-
Submitted:
2009-04-15 1:08 GMT
The five Planck Units and the five physical constants that define them.
- SIUsed_OffSystemMeasuredUnits1
-
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
-
Submitted:
2009-04-15 1:08 GMT
Commonly used units that are not coherent with SI, but are accepted for use with SI.
- SI_BaseQuantities1
-
Submitted:
2009-04-15 1:08 GMT
This CD captures the seven base quantities of the SI International System of Quantities (ISQ).
- SI_BaseUnits1
-
Submitted:
2009-04-15 1:08 GMT
This CD captures the seven base units of the SI.
- SI_DerivedQuantities1
-
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
-
Submitted:
2009-04-15 1:08 GMT
Essential mappings, identified in the SI, between quantities and units.
- SI_NamedDerivedUnits1
-
Submitted:
2009-04-15 1:08 GMT
This CD captures additional units, named in the SI, and derived from the SI base units.
- aggregate_cats
-
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
-
Submitted:
2002-09-19 11:20 GMT
Airy functions
- algebraic_cats
-
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
-
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
-
Submitted:
2004-03-24 15:21 GMT
symbols for describing integrals
- cauchypv
-
Submitted:
2002-09-19 11:20 GMT
Cauchy principal value definite integral
- dimensions1
-
Submitted:
2003-09-17 13-50
- equations1
-
Submitted:
2004-02-04 16:06 GMT
Predicates for stating properties of (systems of) equations.
- expint
-
Submitted:
2002-09-17 16:45 GMT
Exponential and Logarithmic Integrals
- fns3
-
Submitted:
2004-02-06 11:44 GMT
Symbols for making statements about properties of functions.
- gen_hyperbolic1
-
Submitted:
2002-11-19 23:05 GMT
This CD contains a symbol to represent
generalised hyperbolic functions
- generic_alg_cats
-
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
-
Submitted:
2002-10-21 3:07 GMT
Functions required to define
hypergeometric functions of
one variable.
Gamma, Beta, and Pochhammer
are defined.
- hypergeo1
-
Submitted:
2002-11-13 0:00 GMT
The Gauss hypergeometric function, confluent hypergeometric functions, and generalized hypergeometric functions in one variables.
- hypergeo2
-
Submitted:
2002-11-13 0:01 GMT
The Kummer, Bessel, Hankel, and Airy functions are defined.
- hypergeon0
-
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
-
Submitted:
2002-11-12 1:18 GMT
A-hypergeometric functions are
defined.
They are modern hypergeometric
functions in several variables.
- hypergeon2
-
Submitted:
2002-11-12 1:20 GMT
Appell and Lauricella hypergeometric
functions.
They are classical hypergeometric
functions in several variables.
- interval_types
-
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
-
Submitted:
2003-12-12 2:47 GMT
Pathes for complex integrals.
- linalg6
-
Submitted:
2004-04-06 9:23 GMT
Symbols for describing sparse matrices
- linalg7
-
Submitted:
2003-02-25 3:52 GMT
A content dictionary for structured
vectors
- list1
-
Submitted:
2004-11-23 7:09 GMT
slight editing done to official version
- logic3
-
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
-
Submitted:
2002-10-02 3:09 GMT
This CD holds symbols for making meta statements about categories
- new_calculus1
-
Submitted:
2003-01-07 15:57 GMT
proposal to extend calculs1.ocd with
nthpartialdiff
- norm1
-
Submitted:
2003-09-17 13-50
- numerical1
-
Submitted:
2003-09-17 13-50
- numerical2
-
Submitted:
2004-02-09 17:00 GMT
This CD contains descriptors of symbols used by search-based numerical algorithms.
- om2test1
-
Submitted:
2004-07-12 13:54 GMT
test
- orthpoly1
-
Submitted:
2002-11-13 0:03 GMT
The Legendre and Jaboci polynomials, which are hypergeometric orthogonal polynomials in one variable.
- permutation1
-
Submitted:
2002-10-29 9:41 GMT
This CD defines permutations with finite support.
- plangeo1
-
Submitted:
2002-09-23 16:32 GMT
CD for Planar Euclidean geometry.
- polyu
-
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
- setname2
-
Submitted:
2003-09-17 13-50
- setname3
-
Submitted:
2003-01-07 15:51 GMT
Provides the function_set operator which generates the set of functions between the specified sets.
- sts2
-
Submitted:
2004-02-06 11:41 GMT
Symbols for creating parameterised types in sts.
- tensor1
-
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
-
Submitted:
2004-01-06 15:59 GMT
Two argument arctan, and unwinding number
- units_binaryprefix1
-
Submitted:
2003-09-17 13-50
- units_imperial1
-
Submitted:
2003-09-17 13-50
- units_metric1
-
Submitted:
2003-09-17 13-50
- units_ops1
-
Submitted:
2003-09-17 13-50
- units_siprefix1
-
Submitted:
2003-09-17 13-50
- units_sts
-
Submitted:
2003-09-17 13-50
- units_time1
-
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).