RUS  ENG
Full version
JOURNALS // Russian Universities Reports. Mathematics // Archive

Russian Universities Reports. Mathematics, 2019 Volume 24, Issue 125, Pages 75–89 (Mi vtamu99)

This article is cited in 1 paper

Scientific articles

Symbolic integration algorithms in CAS MathPartner

V. A. Korabelnikov

Tambov State University named after G.R. Derzhavin

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.

Keywords: Risch algorithm; symbolic integration; indefinite integral; CAS MathPartner; differential field; elementary functions.

UDC: 517.312, 004.421.6

Received: 23.01.2019

DOI: 10.20310/1810-0198-2019-24-125-75-89



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024