A draft of OCD's for hypergeometric functions and complex integrals.
See also the contrib section of
OpenMath CD
Hypergeometric functions of one variable.
- hypergeo0.ocd ,
hypergeo0.tfb
- hypergeo1.ocd ,
hypergeo1.tfb
- hypergeo2.ocd ,
hypergeo2.tfb
- orthpoly1.ocd ,
orthpoly1.tfb
Hypergeometric functions of several variables.
- hypergeon1.ocd ,
hypergeon1.tfb
- hypergeon2.ocd ,
hypergeon2.tfb
CD's for differential operators.
- freealg1.ocd ,
freealg1.tfb
- weylalgebra1.ocd ,
weylalgebra1.tfb
CD's for integral representations (experimental).
- intpath1.ocd ,
intpath1.tfb
Some supplementary OCD's.
- hypergeon0.ocd ,
hypergeon0.tfb
(which include everything below)
- linalg1p.ocd ,
linalg1p.tfb
- logic1p.ocd ,
logic1p.tfb
- poly1p.ocd ,
poly1p.tfb
- 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
-
OpenXM/fb Formula book (Sample)
-
OpenXM/fb data in tfb/XML