Введение в системы компьютерной алгебры?[закрыто]

Question

Кто-нибудь знает о каких-либо ресурсах (книгах, классах, конспектах лекций или чем-либо еще) об общей теории систем компьютерной алгебры (например математика, сочувствующий)?

Предпочтительны "вводные" материалы, но я понимаю, что с таким специализированным предметом все должно быть достаточно продвинутым.

Answer 1

"Общая теория" CAS - это довольно обширная область для вопроса.Тем не менее, я сделаю все возможное, чтобы рассказать как можно больше в надежде, что что-то поможет вам найти то, что вы ищете :)

В материалах групп ISSAC и SIGSAM, без сомнения, было бы много полезного о методах построения систем CAS.Список различных тем в общей области построения CAS доступен здесь: http://www.cs.berkeley.edu/~fateman/algebra.html

Если вы больше ищете информацию о том, как закодировать некоторые математические операции, я являюсь поклонником серии "Числовые рецепты";он предоставляет примеры кода и достаточно приличное объяснение математики по широкому кругу тем.Последний раз, когда я проверял, онлайн-версия более старой редакции книги была доступна здесь: http://www.nrbook.com/a/bookcpdf.php (Обратите внимание, что это форма книги "Числовые рецепты на языке Си";существуют версии и на других языках).

Для создания центра сертификации в целом, одним из мест, с которого можно начать, может быть здесь:"Построение среды компьютерной алгебры с помощью набора инструментов для совместной работы" Кайлера и Сафира;Еще одно место, которое вы могли бы проверить, находится здесь: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html где приведено высокоуровневое описание того, как несколько человек внедрили CAS.

Другая вещь, которую вы могли бы попробовать, - это погрузиться в код нескольких существующих проектов CAS с открытым исходным кодом:YACAS (Еще одна система компьютерной алгебры :Java), Аксиома и т.д.Мне нравится приведенный здесь список: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

Надеюсь, там было что-то полезное!

Answer 2

Основы хорошо описаны в ПАЙП;исходный код является бесплатно онлайн -- смотрите, в частности, исходные файлы с 'macsyma' в названии.Темы включают системы правил перезаписи, упрощение с использованием канонических форм, интеграцию и дифференциацию, а также компиляцию и запоминание правил перезаписи для ускорения.

Answer 3

Я нашел Алгоритмы компьютерной алгебры К.О.Геддес...быть довольно полезным.Я студент младшего курса с легким математическим образованием, занимаюсь работой над OpenAxiom (a CAS).Приготовьтесь к тяжелой математике, хотя мой лучший совет - взять с собой пару книг, хотя бы для того, чтобы взглянуть на ситуацию с другой точки зрения, если вы "застряли".

Это может помочь, если вы предложите, что вы изучаете, какие области вас интересуют и т.д.

Answer 4

Вот одна ссылка из Википедии: Системы компьютерной Алгебры
И еще один здесь: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html

Answer 5

Вот две книги, в которых описываются алгоритмы, используемые для реализации систем компьютерной алгебры:

Компьютерная алгебра и символьные вычисления:Элементарные Алгоритмы

Компьютерная алгебра и символьные вычисления:Математические Методы

Я использовал эти книги для реализации библиотек для компьютерной алгебры в Scheme (MPL) и C# (Символизм).

Answer 6

Вы упоминаете Сочувствующий в вашем вопросе так что я кратко остановлюсь на этом.

Проект и сообщество SymPy сами по себе на самом деле являются очень хорошими ресурсами.

1. Существует множество экспертных знаний, которые регулярно проверяют и реагируют на список рассылки.
2. Код находится в открытом доступе на github.
3. В Документация является достаточно полным и часто включает академические цитаты.

Если тебя интересует Касс, заходи.Авторы любят рассказывать о том, над чем они работают.Если вам интересно, это легко приступить к работе и добавляйте свои собственные вклады.