Exponential and Logarithmic Integrals 2002-09-17 16:06 GMT J.H.Davenport Exponential and Logarithmic Integrals 2002-09-17 16:01 GMT J.H.Davenport Exponential and Logarithmic Integrals 2002-09-17 16:45 GMT J.H.Davenport logic3: support for formal (propositional, predicate) proofs. 2002-09-17 17:02 GMT J.H.Davenport Support for formal (propositional, predicate) proofs. 2002-09-17 17:10 GMT J.H.Davenport Support for formal (propositional, predicate) proofs. 2002-09-17 17:15 GMT J.H.Davenport Airy functions 2002-09-19 11:19 GMT J.H.Davenport Airy functions 2002-09-19 11:20 GMT J.H.Davenport Cauchy principal value definite integral 2002-09-19 11:20 GMT J.H.Davenport CD for Planar Euclidean geometry. 2002-09-23 16:32 GMT Arjeh Cohen A CD of basic aggregate category constructors. This CD holds constructors of individual instances of the categories, with defining properties of the categories. 2002-10-02 3:01 GMT Bill Naylor A CD of basic aggregate category constructors. This CD holds constructors of individual instances of the categories, with defining properties of the categories. 2002-10-02 3:07 GMT Bill Naylor 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. 2002-10-02 3:11 GMT Bill Naylor This CD holds symbols for making meta statements about categories 2002-10-02 3:09 GMT Bill Naylor A CD of generic algebraic categories. This CD holds information relating to the heirarchical sturcture of the algebraic category system. 2002-10-02 3:22 GMT Bill Naylor A CD of generic algebraic categories. This CD holds information relating to the heirarchical sturcture of the algebraic category system. 2002-10-02 3:25 GMT Bill Naylor 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. 2002-10-02 3:28 GMT Bill Naylor 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. 2002-10-02 3:36 GMT Bill Naylor 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. 2002-10-02 3:37 GMT Bill Naylor 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. 2002-10-02 3:38 GMT Bill Naylor 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. 2002-10-02 3:58 GMT Bill Naylor A CD of basic interval type constructors. This CD holds constructors of individual instances of the different types of intervals. 2002-10-02 4:00 GMT Bill Naylor A CD of basic interval type constructors. This CD holds constructors of individual instances of the different types of intervals. 2002-10-02 4:03 GMT Bill Naylor Functions required to define hypergeometric functions of one variable. Gamma, Beta, and Pochhammer are defined. 2002-10-21 3:07 GMT Yasushi Tamura This CD defines permutations with finite support. 2002-10-29 9:41 GMT Arjeh Cohen The Gauss hypergeometric function, confluent hypergeometric functions, and generalized hypergeometric functions in one variables. 2002-11-12 0:27 GMT Yasushi Tamura The Kummer, Bessel, Hankel, and Airy functions are defined. 2002-11-12 0:30 GMT Yasushi Tamura The legendre and Jaboci polynomials, which are hypergeometric orthogonal polynomials in one variable. 2002-11-12 0:32 GMT Yasushi Tamura Some basic symbols for the weyl algebra (the ring of differential operators). 2002-11-12 0:34 GMT Yasushi Tamura and Nobuki Takayama 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. 2002-11-12 1:17 GMT Nobuki Takayama A-hypergeometric functions are defined. They are modern hypergeometric functions in several variables. 2002-11-12 1:18 GMT Nobuki Takayama Appell and Lauricella hypergeometric functions. They are classical hypergeometric functions in several variables. 2002-11-12 1:20 GMT Nobuki Takayama The Gauss hypergeometric function, confluent hypergeometric functions, and generalized hypergeometric functions in one variables. 2002-11-13 0:00 GMT Yasushi Tamura The Kummer, Bessel, Hankel, and Airy functions are defined. 2002-11-13 0:01 GMT Yasushi Tamura The Legendre and Jaboci polynomials, which are hypergeometric orthogonal polynomials in one variable. 2002-11-13 0:03 GMT Yasushi Tamura This CD contains a symbol to represent generalised hyperbolic functions 2002-11-19 23:25 GMT Bill Naylor This CD contains a symbol to represent generalised hyperbolic functions 2002-11-19 23:05 GMT Bill Naylor Symbols for describing sparse matrices 2002-11-19 23:05 GMT Bill Naylor Updated version with some but fixes from Naylor of the existing logic3, which describes propositioal/predicate proofs. 2002-12-06 10:35 GMT Davenport/Naylor This CD provides a representation of the O notation. Formally the O constructs a set of certain functions. 2003-01-07 15:40 GMT Bill Naylor This CD provides a representation of the O notation. Formally the O constructs a set of certain functions. 2003-01-07 15:02 GMT Bill Naylor This CD provides a representation of the O notation. Formally the O constructs a set of certain functions. 2003-01-07 15:42 GMT Bill Naylor Provides the function_set operator which generates the set of functions between the specified sets. 2003-01-07 15:51 GMT David carlisle proposal to extend calculs1.ocd with nthpartialdiff 2003-01-07 15:57 GMT Bill Naylor proposal to extend calculs1.ocd with nthpartialdiff 2003-01-07 15:57 GMT Bill Naylor A content dictionary for structured vectors 2003-02-25 3:05 GMT Bill Naylor A content dictionary for structured vectors 2003-02-25 3:04 GMT Bill Naylor A content dictionary for structured vectors 2003-02-25 3:52 GMT Bill Naylor 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport 2003-09-17 13-50 James Davenport Pathes for complex integrals. 2003-12-12 2:37 GMT Nobuki Takayama Pathes for complex integrals. 2003-12-12 2:43 GMT Nobuki Takayama Pathes for complex integrals. 2003-12-12 2:47 GMT Nobuki Takayama Two argument arctan, and unwinding number 2004-01-06 15:59 GMT James Davenport Symbols for type constructors 2004-02-02 16:35 GMT Mike Dewar Symbols for type constructors 2004-02-02 16:36 GMT Mike Dewar sts symbols for parameterised types 2004-02-04 15:20 GMT Mike Dewar Predicates for stating properties of (systems of) equations. 2004-02-04 16:06 GMT Mike Dewar Symbols for creating parameterised types in sts. 2004-02-06 11:41 GMT Mike Dewar Symbols for making statements about properties of functions. 2004-02-06 11:44 GMT Mike Dewar This CD contains descriptors of symbols used by search-based numerical algorithms. 2004-02-09 17:00 GMT Mike Dewar symbols for describing integrals 2004-03-24 15:21 GMT Mike Dewar Symbols for describing sparse matrices 2004-04-06 9:23 GMT Bill Naylor test 2004-07-12 11:00 GMT dpc test 2004-07-12 11:02 GMT dpc test 2004-07-12 11:56 GMT dpc test 2004-07-12 11:56 GMT dpc test 2004-07-12 11:09 GMT dpc test 2004-07-12 11:58 GMT dpc test 2004-07-12 12:00 GMT dpc test 2004-07-12 12:00 GMT dpc test 2004-07-12 12:01 GMT dpc test 2004-07-12 12:00 GMT dpc test 2004-07-12 12:03 GMT dpc test 2004-07-12 13:54 GMT dpc