Ответ:
Здравствуйте. Ваша тема сформулирована очень узко и требует углубленного разыскания. Предлагаем краткий список литературы (источники - ЭК РНБ, ГПНТБ, РЖ ВИНИТИ):
1. Жихарев В.Я. Методы синтеза символьных процессоров / В.Я. Жихарев, И.В. Чумаченко, Я.В. Илюшко // Электромагнит. волны и электрон. Системы. - 2003. - № 3. - С. 19-34.
2. Самойленко В. Добрый волшебник по имени MathCAD // Компьютеры + прогр. - 1997. - № 5. - С. 24-29.
3. Шарипбаев А.А. Частичная верификация программ на языке символьного процессора : автореф. дис. … канд. физ.-мат. наук / Шарипаев А.А. - М., 1982. - 17 с.
4. Шуклина Е.В. Параллельные символьные процессоры с позиционной формой представления данных : автореф. дис. … канд. техн. наук / Шуклина Е.В. - Курск, 2000. - 19 с.
Подбор литературы по определенной тематике Вы можете заказать в Информационно-сервисном центре РНБ (http://www.infocenter.nlr.ru/online/). Услуги предоставляются на платной основе.
[Свердловская областная универсальная научная библиотека им. В.Г. Белинского]