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

[MathXXI]

Заинтересовала тематика. А именно аналитические расчеты на компьютерах.
Интересует не книги о том как пользоваться маткадом или Вольфрам математикой. А про то, как они устроены изнутри. Про компьютерные алгоритмы, которые там применяются.

Может кто посоветовать что-то почитать по данной тематике?

[arseniiv]

Про детальное устройство проприетарных СКА (а упомянутые две таковы) вряд ли много есть в открытом доступе, вот с опенсорсными (Maxima, GAP, PARI/GP и много других) должно быть другое дело. Книг, к сожалению, не знаю.

[Pphantom]

Есть доступная в сети книга "Элементы компьютерной алгебры" Е.В.Панкратьева, можно стартовать с нее.

[Xaositect]

von zur Gathen, Gerhard "Modern Computer Algebra".

[Yuri Gendelman]

Computer Algebra and Symbolic Computation: Mathematical Methods
by Cohen, Joel S.

Д.Кокс, Дж.Литтл, Д.О'Ши
Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

Algorithms for Computer Algebra
by K.O.Geddes, S.R.Czapor, G.Labahn

[g______d]

Дэвенпорт, «Интегрирование алгебраических функций».

[maxal]

Ноден П., Китте К. — Алгебраическая алгоритмика
Cohen H.A. — A Course in Computational Algebraic Number Theory

[Aritaborian]

Что касается Wolfram Mathematica, вот три текста из их документации; не бог весть какой кладезь, но, возм., вам будет интересно прочесть:
а) Basic Internal Architecture;
б) Why You Do Not Usually Need to Know about Internals;
в) Some Notes on Internal Implementation.