"Общая Теория" CAS является довольно огромным объемом для вопроса. Однако я приложу все усилия для покрытия столько, сколько я могу в надеждах, что что-то помогает Вам найти то, что Вы ищете :)
, продолжения ISSAC и групп SIGSAM несомненно имели бы некоторый хороший материал о методах для создания систем CAS. Список различных тем в общей области здания CAS доступен здесь: http://www.cs.berkeley.edu/~fateman/algebra.html
, Если Вы больше ищете информацию о том, как кодировать часть включенной математики, я - поклонник серии "Numerical Recipes"; это предоставляет код кода и довольно достойное объяснение математики в широком спектре тем. В последний раз я проверил, интерактивная версия более старого пересмотра книги была доступна здесь: http://www.nrbook.com/a/bookcpdf.php (Отмечают, что это - "Числовые Рецепты в C" форма книги; существуют версии на других языках также).
Для создания CAS в целом, одно место для запуска могло бы быть здесь: "Создавая компьютерную среду алгебры составом совместных инструментов" Kajler и Safir; Другое место, которое Вы могли бы проверить, здесь: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html , где высокоуровневое описание того, как несколько человек реализовали CAS, перечислено.
другая вещь, которую Вы могли бы попробовать, погружается в код для нескольких проектов CAS с открытым исходным кодом, которые существуют: YACAS (еще одна Компьютерная Система Алгебры: Java), Аксиома, и т.д. Мне нравится список здесь: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems
Hope что-то там было полезно!
Основы приятно покрыты в PAIP; исходный код бесплатный онлайн - посмотрите особенно исходные файлы с 'macsyma' на имя. Темы включают системы переписывать-правила, упрощение с помощью канонических форм, интеграции и дифференцирования, и компилируя, и memoizing переписывают правила для скорости.
Я нашел Алгоритмы для компьютерной алгебры K.O. Geddes..., чтобы быть довольно полезным. Я - младший старшекурсник с легкой математической фоновой работой выполнения над OpenAxiom (CAS). Подготовьтесь к некоторой тяжелой, тяжелой математике, хотя, мой лучший совет состоит в том, чтобы иметь пару книг, если только иметь другую точку зрения, если Вы вовлекаете.
могло бы помочь, предлагаете ли Вы то, что Вы изучаете, какие области Вы интересуетесь, и т.д.
Вот одна ссылка из Википедии: Компьютерные Системы Алгебры
И другой здесь: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html