ПифМат – небольшая математическая программа, предназначенная для широкого спектра
символьных преобразований и численных расчетов с использованием СКТ
(сопровождающего контроля точности),
созданная на кафедре физики с участием студентов кафедры РЛ2 МГТУ им. Н.Э. Баумана.
СКТ – это способ вычисления, при котором параллельно с численными расчетами проводится оценка
погрешности всех промежуточных результатов, что позволяет не только выводить на экран правильное
количество знаков, но и выявлять ситуации потери точности.
С помощью этой программы
были подготовлены несколько магистерских и кандидатских диссертаций.
На этом сайте будут размещаться также другие материалы, облегчающие жизнь студентов.
ПифМат иллюстрирует книгу А.С. Епифанова
"Элементарные методы символьных вычислений"
(ISBN 978-5-91146-810-1)
большим количеством примеров, представленных в виде файлов с раcширением ".mtp" в папке "Examples".
С другой стороны, в книге рассказано, как ПифМат все это делает.
Выполняются следующие символьные преобразования:
- Корректное упрощение выражений с действительными и комплексными (в частности, гауссовыми) коэффициентами
- Упрощение тригонометрических выражений
- Упрощение обратных тригонометрических выражений через их логарифмические представления
- Упрощение выражений, содержащих специальные функции
- Сокращение символьных дробей
- Факторизация многочленов от нескольких переменных
- Уменьшение вложенности радикалов
- Разложение выражений, содержащих элементарные функции, в обобщенные ряды
- Дифференцирование
- Интегрирование с подсказками
- Вычисление интегралов в смысле главного значения по Коши
- Автоматическое раскрытие неопределенностей
- Алгебраические операции с матрицами и вычисление определителей, норм и т.п.
- Упрощение операторных выражений
- Нахождение корней и особых точек
ПифМат поддерживает также следующие вычислительные возможности с использованием СКТ:
- Пользовательские функции, принимающие как параметры-значения, так и параметры-функции
- Автоматическое рекуррентное вычисление индексированных переменных
- Вычисления в простых и вложенных циклах
- Вычисления многих обратных специальных функций
- Численное нахождение нулей функций (в том числе кратных)
- Численное интегрирование
- Численное суммирование индексированных выражений
- Эвристический анализ сходимости числовых рядов и их суммирование