Discrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational Science2658-46702658-7149Peoples' Friendship University of Russia2942710.22363/2658-4670-2021-29-4-337-346Research ArticleCalculation of integrals in MathPartnerMalaschonokGennadi I.<p>Doctor of Physical and Mathematical Sciences, Professor, Department of Informatics</p>malaschonok@gmail.comhttps://orcid.org/0000-0002-9698-6374SeliverstovAlexandr V.<p>Candidate of Physical and Mathematical Sciences, Leading researcher</p>slvstv@iitp.ruhttps://orcid.org/0000-0003-4746-6396National University of Kyiv-Mohyla AcademyInstitute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute)1211202129433734612112021Copyright © 2021, Malaschonok G.I., Seliverstov A.V.2021<p style="text-align: justify;">We present the possibilities provided by the MathPartner service of calculating definite and indefinite integrals. MathPartner contains software implementation of the Risch algorithm and provides users with the ability to compute antiderivatives for elementary functions. Certain integrals, including improper integrals, can be calculated using numerical algorithms. In this case, every user has the ability to indicate the required accuracy with which he needs to know the numerical value of the integral. We highlight special functions allowing us to calculate complete elliptic integrals. These include functions for calculating the arithmetic-geometric mean and the geometric-harmonic mean, which allow us to calculate the complete elliptic integrals of the first kind. The set also includes the modified arithmetic-geometric mean, proposed by Semjon Adlaj, which allows us to calculate the complete elliptic integrals of the second kind as well as the circumference of an ellipse. The Lagutinski algorithm is of particular interest. For given differentiation in the field of bivariate rational functions, one can decide whether there exists a rational integral. The algorithm is based on calculating the Lagutinski determinant. This year we are celebrating 150th anniversary of Mikhail Lagutinski.</p>computer algebra systemMathPartnerintegralarithmetic-geometric meanmodified arithmetic-geometric meanLagutinski determinantMathPartnerсистема компьютерной алгебрыинтеграларифметико-геометрическое среднеемодифицированное арифметикогеометрическое среднееопределитель Лагутинского<p>1. Introduction The development of computer algebra systems and cloud computing makes it possible to solve many computational problems. Vladimir Petrovich Gerdt was at the forefront of the development of computer algebra. As a professional physicist, he developed new algorithms for solving problems in mathematical physics and implemented them in many well-known systems of computer algebra. He has worked on systems such as REDUCE, Mathematica, Maple, and Singular. Malaschonok G.I., Seliverstov A.V., 2021 This work is licensed under a Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4.0/ ACS. 2021, 29 (4) 337-346 Today, many useful programs and cloud services are available. A new generation of computer algebra systems is actively developing. They are cloudbased systems freely available on the Internet. The MathPartner service is a nice example of this [1]-[4]. Free access to the MathPartner service is possible at http://mathpar.ukma.edu.ua/ as well as http://mathpar.com/. In this review, we consider only a small area of MathPartner application, namely the calculation of definite and indefinite integrals. Symbolic computations and estimates of the computational complexity are of the greatest interest [5]-[9]. However, in some cases, symbolic computations need to be supplemented with numerical methods. In particular, this is true when calculating special functions [10], [11]. For example, elliptic integrals are used to calculate the period of the simple pendulum [12] as well as some properties of porous materials [13], [14]. Robert Henry Risch proposed a method to integrate elementary functions [15], [16]. The method was later improved by Manuel Bronstein [17]. In 2010-2019, an algorithm based on the Liouville- Risch-Davenport-Trager-Bronstein theory was developed at the Laboratory of Algebraic Computations of Derzhavin Tambov State University. A series of papers on symbolic integration algorithms was published by Svetlana Mikhailovna Tararova [18] and Vyacheslav Alekseevich Korabelnikov [19], [20]. The procedures were developed using object-oriented programming in Java. Their description is given in cited publications. Since the symbolic integration theory has not yet been completed, this algorithm can be considered as a good basis for further theoretical and practical development in this important area. Historically, the first major symbolic integration project was the IBM Scratchpad project led by Richard Dimick Jenks. The development of this project as a commercial one was later stopped by the company. However, he played an important role in the development of the theory of symbolic integration and attracting interest in it. Many general computer algebra systems today support symbolic integration of elementary functions. However, they all have a common drawback that is the incompleteness of solving the problem of symbolic integration. Another drawback is the lack of a detailed description of the procedural implementation and the technical possibility of further development of the package of procedures. The most famous example is the cloud-based SAGE system, which provides access to old open source packages that have long been discontinued. On the other hand, commercial systems do not give users access to their packages of procedures, and they do not have specialists who can complete the theory of calculating the antiderivative for the composition of simple elementary functions. Experiments with integration problems from mathematical analysis textbooks show that many problems can be solved using any of the systems such as Mathematica, Maple, and MathPartner. Nevertheless, for each of them, one can find functions that have an antiderivative, but it is not calculated by this system. The MathPartner symbolic integration package is one of the newest packages in this area. It is developed in Java and is the most promising for further development. In a series of important works, Mikhail Nikolaevich Lagutinski (1871-1915) developed a method for determining integrals of polynomial ordinary differential equations in finite terms. He also developed the theory of integrability in finite terms of such systems of equations [21]-[23]. Lagutinski was an outstanding mathematician. He had worked at Kharkiv and died during the First World War. In this article, we also consider the Lagutinski method. Note that he published his papers as Lagoutinsky using the French spelling [24], [25]. The authors are grateful to Mikhail Malykh for comments and historical notes about M.N. Lagutinski. 2. Integrals of some functions 2.1. Indefinite integrals To calculate the indefinite integral of an elementary function</p>[G. I. Malaschonok, “Application of the MathPartner service in education,” Computer Tools in Education, no. 3, pp. 29-37, 2017, in Russian.][G. I. Malaschonok, “MathPartner computer algebra,” Programming and Computer Software, vol. 43, pp. 112-118, 2017. DOI: 10.1134/ S0361768817020086.][G. I. Malaschonok and I. A. Borisov, “About MathPartner web service,” Tambov University Reports. Series: Natural and Technical Sciences, vol. 19, no. 2, pp. 512-516, 2014, in Russian.][G. I. Malaschonok and M. A. Rybakov, “Solving systems of linear differential equations and calculation of dynamic characteristics of control systems in a web service MathPartner,” Tambov University Reports. Series: Natural and Technical Sciences, vol. 19, no. 2, pp. 517- 529, 2014, in Russian.][A. M. Kotochigov and A. I. Suchkov, “A method for reducing iteration in algorithms for building minimal additive chains,” Computer Tools in Education, no. 1, pp. 5-18, 2020, in Russian. DOI: 10.32603/20712340-2020-1-5-18.][M. D. Malykh, A. L. Sevastianov, and L. A. Sevastianov, “About symbolic integration in the course of mathematical analysis,” Computer Tools in Education, no. 4, pp. 94-106, 2019, in Russian. DOI: 10.32603/2071-2340-2019-4-94-106.][M. D. Malykh, L. A. Sevastianov, and Yu Ying, “On algebraic integrals of a differential equation,” Discrete and continuous models and applied computational science, vol. 27, no. 2, pp. 105-123, 2019. DOI: 10.22363/2658-4670-2019-27-2-105-123.][M. D. Malykh, L. A. Sevastianov, and Yu Ying, “On symbolic integration of algebraic functions,” Journal of Symbolic Computation, vol. 104, pp. 563-579, 2021. DOI: 10.1016/j.jsc.2020.09.002.][A. V. Seliverstov, “Heuristic algorithms for recognition of some cubic hypersurfaces,” Programming and Computer Software, vol. 47, pp. 50-55, 2021. DOI: 10.1134/S0361768821010096.][J. M. Borwein and P. B. Borwein, “The arithmetic-geometric mean and fast computation of elementary functions,” SIAM Review, vol. 26, no. 3, pp. 351-366, 1984. DOI: 10.1137/1026073.][K. Y. Malyshev, “Calculation of special functions arising in the problem of diffraction by a dielectric ball,” Discrete and Continuous Models and Applied Computational Science, vol. 29, no. 2, pp. 146-157, 2021. DOI: 10.22363/2658-4670-2021-29-2-146-157.][S. Adlaj, “An eloquent formula for the perimeter of an ellipse,” Notices of the American Mathematical Society, vol. 59, no. 8, pp. 1094-1099, 2012. DOI: 10.1090/noti879.][N. J. Mariani, G. D. Mazza, O. M. Martinez, and G. F. Barreto, “Evaluation of radial voidage profiles in packed beds of low-aspect ratios,” The Canadian Journal of Chemical Engineering, vol. 78, no. 6, pp. 1133-1137, 2000. DOI: 10.1002/cjce.5450780614.][B.-X. Xu, Y. Gao, and M.-Z. Wang, “Particle packing and the mean theory,” Physics Letters A, vol. 377, no. 3-4, pp. 145-147, 2013. DOI: 10.1016/j.physleta.2012.11.022.][R. H. Risch, “The problem of integration in finite terms,” Transactions of the American Mathematical Society, vol. 139, pp. 167-189, 1969. DOI: 10.2307/1995313.][R. H. Risch, “The solution of the problem of integration in finite terms,” Bulletin of the American Mathematical Society, vol. 76, no. 3, pp. 605- 608, 1970. DOI: 10.1090/S0002-9904-1970-12454-5.][M. Bronstein, “The transcendental Risch differential equation,” Journal of Symbolic Computation, vol. 9, pp. 49-60, 1990. DOI: 10.1016/S07477171(08)80006-5.][S. M. Tararova, “To the problem of constructing an algorithm for symbolic integration,” Tambov University Reports. Series: Natural and Technical Sciences, vol. 17, no. 2, pp. 607-616, 2012, in Russian.][V. A. Korabelnikov, “Symbolic integration algorithms in CAS MathPartner,” Tambov University Reports. Series: Natural and Technical Sciences, vol. 24, no. 125, pp. 75-89, 2019, in Russian. DOI: 10.20310/18100198-2019-24-125-75-89.][V. A. Korabelnikov, “Procedural interpretation of symbolic integration algorithms in MathPartner system,” Tambov University Reports. Series: Natural and Technical Sciences, vol. 24, no. 126, pp. 166-178, 2019, in Russian. DOI: 10.20310/1810-0198-2019-24-126-166-178.][V. A. Dobrovol’skii, N. V. Lokot’, and J.-M. Strelcyn, “Mikhail Nikolaevich Lagutinskii (1871-1915): Un Mathématicien Méconnu,” Historia Mathematica, vol. 25, no. 3, pp. 245-264, 1998. DOI: 10.1006/hmat.1998.2194.][V. A. Dobrovol’skii, N. V. Lokot’, and J.-M. Strelcyn, “Mikhail Nikolaevich Lagutinskii (1871-1915),” Istoriko-Matematicheskie Issledovaniya, vol. 6, pp. 111-127, 2001, in Russian.][M. D. Malykh, “On application of M.N. Lagutinski method to integration of differential equations in symbolic form. Part 1,” RUDN Journal of Mathematics, Information Sciences and Physics, vol. 25, no. 2, pp. 103-112, 2017, in Russian. DOI: 10.22363/2312-9735-2017-25-2-103-112.][M. N. Lagoutinsky, “Application des opérations polaires à l’intégration des équations différ. ordinaires sous forme finie,” Communications de la Société mathématique de Kharkow. 2-ée série, vol. 12, pp. 111-243, 1911, in Russian.][M. N. Lagoutinsky, “Sur certains polynômes, liés à l’intégration algébrique des équations différentielles ordinaires algébriques,” Communications de la Société mathématique de Kharkow. 2-ée série, vol. 13, no. 4-5, pp. 200-224, 1912, in Russian.]