Menu: Home :: go to Journal :: switch to Russian :: switch to English
You are here: all Journals and Issues→ Journal→ Issue→ Article

Procedural interpretation of symbolic integration algorithms in MathPartner system


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.


computer algebra system; MathPartner computer algebra system; symbolic integration

Full-text in one file





517.312, 004.421.6




[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 DOI: 10.20310/1810-0198-2019-24-125-75-89 (In Russian). [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). [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).



Section of issue

Scientific articles

Для корректной работы сайта используйте один из современных браузеров. Например, Firefox 55, Chrome 60 или более новые.