В работе рассматриваются особенности разработки и реализации систем компьютерной алгебры (СКА) на примере систем АУМ и FABULA. Основной упор делается на анализ механизмов подстановки и на различные способы проведения преобразований. Система АУМ разрабатывалась как универсальная СКА со специализированными полиномиальными подсистемами. Система FABULA является инструментальной системой, ориентированной на проведение преобразований булевых выражений. Базовыми функциями системы являются упрощение булевых выражений, вычисление выражений и построение различных дизъюнктивных и конъюнктивных нормальных форм булевых выражений.
Примечание. Тезисы докладов публикуются в авторской редакции
Ваши комментарии Обратная связь |
[Головная страница] [Конференции] |
© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск