Geodesic
Symbolic integration algorithms in CAS MathPartner
Vestnik rossijskih universitetov. Matematika, Tome 24 (2019) no. 125, pp. 75-89 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Risch theorem, published in 1969, gave beginning to creation of procedure library for symbolic integration. But such library, for past almost 50 years, still not been created. Some attempts of creation such libraries is known, but not one of them not finished. In computer algebra system MathPartner a new procedure library for symbolic integration, based on Risch theorem, is creating. We give detailed description of basic procedures contained in this library, and role of each procedure in symbolic integration algorithm. We represent procedural block diagram of whole algorithm and examples of computed integrals.
Keywords: Risch algorithm; symbolic integration; indefinite integral; CAS MathPartner; differential field; elementary functions. 
@article{VTAMU_2019_24_125_a6,
     author = {V. A. Korabelnikov},
     title = {Symbolic integration algorithms in {CAS} {MathPartner}},
     journal = {Vestnik rossijskih universitetov. Matematika},
     pages = {75--89},
     year = {2019},
     volume = {24},
     number = {125},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTAMU_2019_24_125_a6/}
}
TY  - JOUR
AU  - V. A. Korabelnikov
TI  - Symbolic integration algorithms in CAS MathPartner
JO  - Vestnik rossijskih universitetov. Matematika
PY  - 2019
SP  - 75
EP  - 89
VL  - 24
IS  - 125
UR  - http://geodesic.mathdoc.fr/item/VTAMU_2019_24_125_a6/
LA  - ru
ID  - VTAMU_2019_24_125_a6
ER  - 
%0 Journal Article
%A V. A. Korabelnikov
%T Symbolic integration algorithms in CAS MathPartner
%J Vestnik rossijskih universitetov. Matematika
%D 2019
%P 75-89
%V 24
%N 125
%U http://geodesic.mathdoc.fr/item/VTAMU_2019_24_125_a6/
%G ru
%F VTAMU_2019_24_125_a6
V. A. Korabelnikov. Symbolic integration algorithms in CAS MathPartner. Vestnik rossijskih universitetov. Matematika, Tome 24 (2019) no. 125, pp. 75-89. http://geodesic.mathdoc.fr/item/VTAMU_2019_24_125_a6/

[1] J. Davenport, Y. Siret, E. Tournier, Computer Algebra. Systems and Algorithms of Algebraic Computation, Mir, Moscow, 1991 (In Russian) | MR

[2] M. Bronstein, “Symbolic Integration Tutorial”, ISSAC`98 (Rostock, August 1998) | MR

[3] R. Risch, “The problem of integration in finite terms”, Trans. Amer. Math. Soc., 1969, 167–189 | DOI | MR | Zbl

[4] B. Terelius, Symbolic Integration, Master of science thesis, Stockholm, 2009

[5] D. A. Pavlov, “Symbolic integration”, Computer Tools in Education, 2010, no. 2, 38–43 (In Russian)

[6] G. I. Malaschonok, Language Guide “Mathpar”, Publishing House of Tambov University, Tambov, 2013 (In Russian)

[7] E. V. Pankrat'yev, Elements of Computer Algebra, MSU, Moscow, 2007 (In Russian)

[8] S. M. Tararova, “To the problem of constructing an algorithm for symbolic integration”, Tambov University Reports. Series: Natural and Technical Sciences, 17:2 (2012), 607-617 (In Russian)