RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал вычислительной математики и математической физики // Архив

Ж. вычисл. матем. и матем. физ., 1971, том 11, номер 5, страницы 1272–1281 (Mi zvmmf8403)

Эта публикация цитируется в 2 статьях

Система эквивалентных преобразований выражений

В. В. Тумасонис

Москва

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

УДК: 681.142.2

MSC: 68N01

Поступила в редакцию: 26.03.1971


 Англоязычная версия: USSR Computational Mathematics and Mathematical Physics, 1971, 11:5, 220–231

Реферативные базы данных:


© МИАН, 2024