Интернет магазин китайских планшетных компьютеров

Компьютеры - Система компьютерной алгебры

Система компьютерной алгебры — это приложение, помогающее выполнять символьные вычисления. Основная задача СКА — это работа с математическими выражениями в аналитической форме.

Символьные вычисления

Обычно эти пакеты поддерживают следующие символьные действия:

• упрощение выражений до меньшего размера или приведение к стандартному виду, включая автоматическое упрощение с использованием предположений и ограничений
• подстановка символьных и численных значений в выражения
• изменение вида выражений: раскрытие произведений и степеней, частичная и полная факторизация
• разложение на простые дроби, результат удовлетворяющий некоторому условию, запись тригонометрических функций через экспоненты, преобразование логических выражений, и т. д.
• дифференцирование в частных и полных производных
• нахождение неопределённых и определённых интегралов
• символьное решение задач оптимизации: нахождение глобальных экстремумов, условных экстремумов и т.д.
• решение линейных и нелинейных уравнений
• алгебраическое решение дифференциальных и конечно-разностных уравнений
• нахождение пределов функций и последовательностей
• интегральные преобразования
• оперирование с рядами: суммирование, умножение, суперпозиция и т.д.
• матричные операции: обращение, факторизация, решение спектральных задач и т.д.
• статистические вычисления
• автоматическое доказательство теорем, формальная верификация и т.п.
• синтез программ

Некоторые из указанных операций могут быть не всегда осуществимы средствами данной системы компьютерной алгебры.