×

Derivations of identities by symbolic computation. (English) Zbl 1106.68437

Summary: We implemented symbolic computation programs which can derive identity relations for arbitrarily given mathematical expressions. Simulations of several relatively easy concrete examples have been shown to run within practical speed.

MSC:

68W30 Symbolic computation and algebraic computation
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series,55, National Bureau of Standards, US Dept. of Commerce, USA, 1964. · Zbl 0171.38503
[2] A. Erdelyi et al., Higher Transcendental Functions Vol. I. Robert E. Krieger Publishing Co., Malabar, Florida, 1953.
[3] R. Hirota, The Direct Method in Soliton Theory. Cambridge U.P., Cambridge, UK, 2004. · Zbl 1099.35111
[4] M.B. Monagan et al., Maple Introductory Programming Guide. Waterloo Maple Inc., Canada, 2005.
[5] S. Moriguchi et al., Mathematical Formulas III. Iwanami Shoten, Tokyo, 1960 (in Japanese).
[6] A. Nakamura, Toda equation and its solutions in special functions. Journal of the Physical Society of Japan,65 (1996), 1589–1597. · Zbl 0948.39006
[7] A. Nakamura, Ladder operator approach of special functions and the N-soliton solutions of the 2 + 1 dimensional finite Toda equation. Journal of the Physical Society of Japan,73 (2004), 838–842. · Zbl 1057.37061
[8] A. Nakamura, Ladder operator approach of special functions for 1 + 1d discrete systems and theN-soliton solutions of the quotient-difference equation. Journal of the Physical Society of Japan,73 (2004), 2667–2679. · Zbl 1074.39020
[9] A. Nakamura, Ladder operation method by dressed special functions and the Gram-type soliton solutions of the 2 + 1 dimensional finite Toda equation. Journal of the Physical Society of Japan,74 (2005), 1963–1972. · Zbl 1073.37085
[10] Y. Nakamura, Applied Integrable Systems. Shokabo, Tokyo, 2000 (in Japanese).
[11] T. Saito, T. Takeshima and T. Hilano, Symbolic Computation Software Born in Japan. SEG Shuppan, Tokyo, 1998 (in Japanese).
[12] N. Takayama and M. Noro, Risa/Asir Drill-Mathematical Programming Introduction by using Risa/Asir. Kobe, 2002 (in Japanese).
[13] S. Wolfram, Mathematica Book. Wolfram Media, 2003.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.