Russian Universities Reports. Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Russian Universities Reports. Mathematics:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Russian Universities Reports. Mathematics, 2019, Volume 24, Issue 125, Pages 75–89
DOI: https://doi.org/10.20310/1810-0198-2019-24-125-75-89
(Mi vtamu99)
 

This article is cited in 1 scientific paper (total in 1 paper)

Scientific articles

Symbolic integration algorithms in CAS MathPartner

V. A. Korabelnikov

Tambov State University named after G.R. Derzhavin
Full-text PDF (593 kB) Citations (1)
References:
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.
Funding agency Grant number
Russian Foundation for Basic Research 16-07-00420
The work is partially supported by the Russian Foundation for Basic Research (project no. 16-07-00420).
Received: 23.01.2019
Bibliographic databases:
Document Type: Article
UDC: 517.312, 004.421.6
Language: Russian
Citation: V. A. Korabelnikov, “Symbolic integration algorithms in CAS MathPartner”, Russian Universities Reports. Mathematics, 24:125 (2019), 75–89
Citation in format AMSBIB
\Bibitem{Kor19}
\by V.~A.~Korabelnikov
\paper Symbolic integration algorithms in CAS MathPartner
\jour Russian Universities Reports. Mathematics
\yr 2019
\vol 24
\issue 125
\pages 75--89
\mathnet{http://mi.mathnet.ru/vtamu99}
\crossref{https://doi.org/10.20310/1810-0198-2019-24-125-75-89}
\elib{https://elibrary.ru/item.asp?id=37526682}
Linking options:
  • https://www.mathnet.ru/eng/vtamu99
  • https://www.mathnet.ru/eng/vtamu/v24/i125/p75
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Russian Universities Reports. Mathematics
    Statistics & downloads:
    Abstract page:152
    Full-text PDF :209
    References:29
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024