|
|
Компьютеры - Система компьютерной алгебры - Mathematics used in computer algebra systems22 января 2011
Оглавление: 1. Система компьютерной алгебры 2. Дополнительные возможности 3. Types of expressions 4. Mathematics used in computer algebra systems
- Символьное интегрирование Алгоритм Риша
- Гипергеометрическое суммирование Алгоритм Госфера
- Предел Алгоритм Грюнтза
- Полиномиальная факторизация. Для ограниченных областей используются Алгоритм Берлекампа или Cantor–Zassenhaus algorithm.
- Наибольший общий делитель Алгоритм Евклида
- Метод Гаусса
- Базис Грёбнера Buchberger's algorithm; generalization of Euclidean algorithm and Gaussian elimination
- Аппроксимация Паде
- Лемма Шварца-Зиппела и проверка равенства полиномов
- Китайская теорема об остатках
- Диофантово уравнение
- Элиминация кванторов over real numbers Tarski’s method/Cylindrical algebraic decomposition
- Алгоритм Ландау
- Производные от элементарных и специальных функций
Просмотров: 3376
|