Geodesic
Procedural interpretation of symbolic integration algorithms in MathPartner system
Vestnik rossijskih universitetov. Matematika, Tome 24 (2019) no. 126, pp. 166-178 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The work is devoted to the development of a procedure library for the computer algebra system MathPartner. A software implementation of symbolic integration algorithms is being developed. The solution of the problem of symbolic integration is divided into three stages. At the first stage, the integrand is reduced to the form necessary for applying the Rish algorithm. A description is given of the corresponding procedures that reduce the integrand to an expression containing a finite set of arithmetic operations and compositions of logarithmic functions and exponentials, and also make a set of regular monomials. At the second stage, the integration of the fractional part of the integrand is performed. A description is given of the procedures that reduce the fractional part to the form required for the application of the integration algorithm. At the third stage, the polynomial part of the integrand is integrated. Procedures are obtained that allow, depending on the type of the integrand, to apply the appropriate integration algorithms. The appendix contains a description of the user’s language commands of the MathPartner system, which are designed to calculate integrals in symbolic form.
Keywords: computer algebra system, MathPartner computer algebra system, symbolic integration. 
@article{VTAMU_2019_24_126_a2,
     author = {V. A. Korabelnikov},
     title = {Procedural interpretation of symbolic integration algorithms in {MathPartner} system},
     journal = {Vestnik rossijskih universitetov. Matematika},
     pages = {166--178},
     year = {2019},
     volume = {24},
     number = {126},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTAMU_2019_24_126_a2/}
}
TY  - JOUR
AU  - V. A. Korabelnikov
TI  - Procedural interpretation of symbolic integration algorithms in MathPartner system
JO  - Vestnik rossijskih universitetov. Matematika
PY  - 2019
SP  - 166
EP  - 178
VL  - 24
IS  - 126
UR  - http://geodesic.mathdoc.fr/item/VTAMU_2019_24_126_a2/
LA  - ru
ID  - VTAMU_2019_24_126_a2
ER  - 
%0 Journal Article
%A V. A. Korabelnikov
%T Procedural interpretation of symbolic integration algorithms in MathPartner system
%J Vestnik rossijskih universitetov. Matematika
%D 2019
%P 166-178
%V 24
%N 126
%U http://geodesic.mathdoc.fr/item/VTAMU_2019_24_126_a2/
%G ru
%F VTAMU_2019_24_126_a2
V. A. Korabelnikov. Procedural interpretation of symbolic integration algorithms in MathPartner system. Vestnik rossijskih universitetov. Matematika, Tome 24 (2019) no. 126, pp. 166-178. http://geodesic.mathdoc.fr/item/VTAMU_2019_24_126_a2/

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

[2] V. A. Korabelnikov, “Symbolic integration algorithms in CAS MathPartner”, Tambov University Reports. Series: Natural and Technical Sciences, 24:125 (2019), 75–89 (In Russian) | DOI

[3] E. V. Pankrat'yev, Elements of computer algebra, MSU, Moscow, 2007 (In Russian)

[4] J. Davenport, Y. Siret, E. Tournier, Computer algebra. Systems and algorithms of algebraic computation, Mir, Moscow, 1991 (In Russian) | MR

[5] G. M. Fichtenholz, Differential and Integral Calculus, v. 2, PHYSMATLIT, Moscow, 2001 (In Russian)

[6] 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)