Summary: ISSN 0361-7688, Programming and Computer Software, 2008, Vol. 34, No. 2, pp. 6468. © Pleiades Publishing, Ltd., 2008.
Original Russian Text © S.A. Abramov, A.A. Ryabenko, 2008, published in Programmirovanie, 2008, Vol. 34, No. 2.
In this paper, we give a detailed description of the
way used to obtain a mathematical result. This result is
formulated in Section 7 in Theorem 1. The computer
algebra system Maple  plays an important role in
obtaining this result.
In particular, this paper demonstrates some capabil-
ities of computer algebra systems that may be useful for
2. EXPERIMENTS, CONJECTURES,
The viewpoint that mathematics is an experimental
science deserves attention. The difference between
mathematics and physics is that physical experiments
cost millions of dollars while mathematical experi-
ments cost only several dollars (see ).
The use of modern computer algebra systems for