Символьное интегрирование
В математическом анализе символьное интегрирование — нахождение первообразной или неопределённого интеграла данной функции f(x), то есть поиск дифференцируемой функции F(x), такой что
Термин символьное используется для отличия от численного интегрирования, в котором вычисляется конкретное значение определённого интеграла по значениям f(x).
Обе задачи имели большую теоретическую и практическую значимость задолго до эры цифровых компьютеров, но теперь их исследование проводится в области информатики, так как созданы и развиваются системы компьютерной алгебры.
Поиск производной — простой процесс, для которого легко определить алгоритм. Обратная задача гораздо более сложна, зачастую интеграл от элементарной функции не представим в замкнутой форме (комбинации конечного числа элементарных функций). См. первообразная.
Процедура, называемая алгоритм Риша, способна определить, существует ли интеграл и найти его для многих классов функций. Этот алгоритм продолжает совершенствоваться.