В.В. Суворов. Абстрактно-алгебраический подход к построению вычислительных сред для решения задач в объектных формулировках// Вычислительные методы и программирование. 2010. Т. 11, № 2. 195-206.

Излагается метод решения прикладных задач в алгебраических постановках, основанный на «самопреобразовании» исходных условий. Математическую основу составляет аппарат абстрактных алгебр, средство реализации – объектно-ориентированный язык программирования Java. Формируется программно-вычислительная среда, в которой объекты (термы алгебраической системы) актуализируют значения атрибутов в полях классов-объектов методами, реализующими интерпретацию предикатов алгебраической системы в содержании задачи. Метод применим к решению алгебраических задач: в частности, к определению групповых свойств и решению задач, заданных в матричном виде и в форме систем уравнений.

Ключевые слова: абстрактно-алгебраические системы, объектные формулировки задач, системообразующий принцип

Текст: http://num-meth.srcc.msu.ru/zhurnal/tom_2010/pdf/v11r205.pdf