Summary: ISSN 0361-7688, Programming and Computer Software, 2008, Vol. 34, No. 2, pp. 64­68. © Pleiades Publishing, Ltd., 2008.
Original Russian Text © S.A. Abramov, A.A. Ryabenko, 2008, published in Programmirovanie, 2008, Vol. 34, No. 2.
64
1. INTRODUCTION
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 [1] 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
theoretical studies.
2. EXPERIMENTS, CONJECTURES,
AND PROVES
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 [2]).
The use of modern computer algebra systems for

Source: Abramov, Sergei A. - Dorodnicyn Computing Centre of the Russian Academy of Sciences

Collections: Mathematics; Computer Technologies and Information Sciences