Casoratian

The Casoratian of sequences , , ...,  is defined by the  determinant

The Casoratian is implemented in the Wolfram Language as Casoratian[y1, y2, ..., n].

The solutions , , ...,  of the linear difference equation

for , 1, ..., are linearly independent sequences iff their Casoratian is nonzero for  (Zwillinger 1995).

REFERENCES:

Zwillinger, D. (Ed.). CRC Standard Mathematical Tables and Formulae. Boca Raton, FL: CRC Press, p. 229, 1995.