A draft of OCD's for hypergeometric functions and complex integrals. See also the contrib section of OpenMath CD

Hypergeometric functions of one variable.
  1. hypergeo0.ocd , hypergeo0.tfb
  2. hypergeo1.ocd , hypergeo1.tfb
  3. hypergeo2.ocd , hypergeo2.tfb
  4. orthpoly1.ocd , orthpoly1.tfb

Hypergeometric functions of several variables.
  1. hypergeon1.ocd , hypergeon1.tfb
  2. hypergeon2.ocd , hypergeon2.tfb

CD's for differential operators.
  1. freealg1.ocd , freealg1.tfb
  2. weylalgebra1.ocd , weylalgebra1.tfb
CD's for integral representations (experimental).
  1. intpath1.ocd , intpath1.tfb
Some supplementary OCD's.
  1. hypergeon0.ocd , hypergeon0.tfb (which include everything below)
  2. linalg1p.ocd , linalg1p.tfb
  3. logic1p.ocd , logic1p.tfb
  4. poly1p.ocd , poly1p.tfb
  5. set1p.ocd , set1p.tfb
The CD's above are used for our digital formula book project for hypergeometric functions. The formula book is beeing built based on OpenMath architecture and OpenXM architecture .
References:
Yasushi Tamura, Isao Hasegawa, Hiromasa Nakayama, Nobuki Takayama, Shuhei Todo, Design and Implementation of a Digital Formula Book for Generalized Hypergeometric Functions, in Proceedings of IAMC 2003 (symbolicnet.org), 2003 [ PDF file ], [ a video presentation ]

A sample formula book
  1. OpenXM/fb Formula book (Sample)
  2. OpenXM/fb data in tfb/XML