Алгоритм Риша
- Алгоритм Риша — метод неопределенного интегрирования в символьных вычислениях.
- Разработан американским математиком Робертом Генри Ришем в 1968 году.
- Основан на форме интегрируемой функции и методах интегрирования рациональных функций, радикалов, логарифмов и экспоненциальных функций.
- Риш назвал это процедурой принятия решения, определяющей, имеет ли функция элементарную функцию в виде неопределенного интеграла.
- Алгоритм используется для интегрирования элементарных функций, полученных путем сложения экспонент, логарифмов, радикалов и других арифметических операций.
- Лиувилль сформулировал задачу, решаемую с помощью алгоритма Риша, и показал, что если существует элементарное решение уравнения, то в поле, порожденном функцией, существуют константы и функции.
- Реализация алгоритма Риша в компьютерных системах алгебры была сложной задачей, требующей проверки эквивалентности определенных выражений нулю.
- Алгоритм Риша является полуалгоритмом, так как он должен проверять эквивалентность определенных выражений нулю.
Полный текст статьи: