Abstract:
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.
This publication is cited in the following 1 articles:
V. A. Korabelnikov, “Protsedurnaya interpretatsiya algoritmov simvolnogo integrirovaniya v sisteme MathPartner”, Vestnik rossiiskikh universitetov. Matematika, 24:126 (2019), 166–178