Конференции ИВТ СО РАН

Тезисы докладов

Можно сказать, что система компьютерной алгебры (СКА) является развитой системой программирования с удобным входным языком, управляющие конструкции которого близки к обычным языкам программирования. В качестве базовых типов данных в языках СКА практически всегда рассматриваются формулы, группы формул, массивы формул, последовательности формул и т.д. Формула является объектом преобразования. Формулы можно дифференцировать и интегрировать, в формулы можно подставлять вместо переменных или подформул новые формулы и выполнять много различных преобразований.

Можно отметить такие пути развития СКА. Первый путь определялся наличием достаточно мощных персональных ЭВМ, что позволило использовать на них уже существующие СКА. Он состоял в расширении возможностей, предоставляемых этими системами, реализации новых алгоритмов, повышении комфортности работы. При этом можно отметить, что персональные компьютеры образуют хорошую основу для объединения символьных, численных и графических методов.

Другой путь развития СКА определялся повышением интеллектуальности систем. Это направление поддерживалось работами по абстрактным типам данных и искусственному интеллекту. Системы, реализующие абстрактные типы данных, в дополнении к формулам и выражениям, вводят понятия "математического объекта" и при работе с ним учитывают его свойства.

При разработке интеллектуальной СКА применяется подход, несколько отличный от метода расширения уже существующих возможностей системы. Применяемый подход предполагает манипулирование знаниями в концептуальном смысле, а не только манипулирования формулами. Предполагается, что такая система должна основываться на знаниях и использовать методы искусственного интеллекта, методы хранения и поиска знаний.

СКА становятся все более привычным и все более необходимым инструментом научной работы. СКА позволяет проводить алгебраические выкладки сразу на компьютере, а также проверять выкладки, ранее проведенные вручную. На сегодняшний день имеется весьма значительное число работ, посвященное различным применениям СКАежегодно проводятся ряд представительных конференций по разным вопросам компьютерной алгебры, которые обязательно имеют секции применения компьютерной алгебры. И компьютерная алгебра является обычным инструментом, который используется во многих областях.

Дополнительные материалы:

ZIP (6 kb)

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск