|
Журнал вычислительной математики и математической физики, 1971, том 11, номер 5, страницы 1272–1281
(Mi zvmmf8403)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Система эквивалентных преобразований выражений
В. В. Тумасонис Москва
Аннотация:
Описываемая в статье система представляет собой набор алгоритмов символьных преобразований, реализованных на языке ЛИСП. Описываются язык и действия системы. Предложен метод решения некоторых алгоритмически неразрешимых проблем, во многих случаях приводящий к цели.
Поступила в редакцию: 26.03.1971
Образец цитирования:
В. В. Тумасонис, “Система эквивалентных преобразований выражений”, Ж. вычисл. матем. и матем. физ., 11:5 (1971), 1272–1281; U.S.S.R. Comput. Math. Math. Phys., 11:5 (1971), 220–231
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf8403 https://www.mathnet.ru/rus/zvmmf/v11/i5/p1272
|
Статистика просмотров: |
Страница аннотации: | 166 | PDF полного текста: | 110 | Первая страница: | 1 |
|