Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
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.
 

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.
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