Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/107713
Дата изменения: Unknown
Дата индексирования: Tue Apr 12 23:18:51 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: A Critical-Pair/Completion based Integration Algorithm
Автор: Norman A.C.
Аннотация:
In 1976 Risch proposed a scheme for finding the integrals of forms built up out of transcendental functions that viewed general functions as rational forms in a suitable differential field and represented the polynomial parts of those forms in a distributed rather than recursive way. By using a data representation where all variables were (more or less) equally important this new method seemed to side-step some of the complications that had appeared in his previous scheme where various side-constraints had to be propagated between the levels present in a tower of separate extensions of differential fields, otherwise seen as levels in recursive datastructures.