zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Orthogonal polynomials and computer algebra. (English) Zbl 0955.68131
Gilbert, Robert P. (ed.) et al., Recent developments in complex analysis and computer algebra. Papers presented in special sessions of the ISAAC ’97 congress, Newark, DE, June 2-7, 1997. Dordrecht: Kluwer Academic Publishers. Int. Soc. Anal. Appl. Comput. 4, 205-234 (1999).

Summary: Orthogonal polynomials have a long history, and are still important objects of consideration in mathematical research as well as in applications in Mathematical Physics, Chemistry, and Engineering. Quite a lot is known about them. Particularly well-known are differential equations, recurrence equations, Rodrigues formulas, generating functions and hypergeometric representations for the classical systems of Jacobi, Laguerre and Hermite which can be found in mathematical dictionaries. Less well-known are the corresponding representations for the classical discrete systems of Hahn, Krawtchouk, Meixner and Charlier, as well as addition theorems, connection relations between different systems and other identities for these and other systems of orthogonal polynomials. The ongoing research in this still very active subject of mathematics expands the knowledge database about orthogonal polynomials continuously. In the last few decades the classical families have been extended to a rather large collection of polynomial systems, the so-called Askey-Wilson scheme, and they have been generalized in other ways as well.

Recently new algorithmic approaches have been discovered to compute differential, recurrence and similar equations from series or integral representations. These methods turn out to be quite useful to prove or detect identities for orthogonal polynomial systems. Further algorithms to detect connection coefficients or to identify polynomial systems from given recurrence equations have been developed. Although some algorithmic methods had been known already in the last century, their use was rather limited due to the immense amount of calculations. Only the existence and distribution of computer algebra systems makes their use simple and useful for everybody.

In this plenary lecture an overview is given of how algorithmic methods implemented in computer algebra systems can be used to prove identities about and to detect new knowledge for orthogonal polynomials and other hypergeometric type special functions. Implementations for this type of algorithms exist in Maple, Mathematica and REDUCE, and maybe also in other computer algebra systems. Online demonstrations will be given using Maple V.5.

MSC:
68W30Symbolic computation and algebraic computation
33C45Orthogonal polynomials and functions of hypergeometric type
Software:
AXIOM; Maple