Re: Symbolic Math as Computer Science

In article <o9OdnWTfnrYsqQzenZ2dnUVZ_v-dnZ2d@xxxxxxxxxxxxx>,
Hatto von Aquitanien <abbot@xxxxxxxxxxxxxx> wrote:
>Is there much in the way of academic computer scientific literature on the
>mechanisms underlying symbolic computing? I don't (believe I) mean _Modern
>Computer Algebra_ by von zur Gathen and Gerhard. I'm really thinking in
>terms of implementation along the lines of compiler theory, and formal
>language theory.
>
>My limited experience with such systems is pretty much exclusively with
>Mathematica. Does anybody happen to know of literature that reveals how
>Mathematica works at the fundamental level?

You will find the following useful:

Peter Norvig: Paradigms of AI Programming.

--
Rouben Rostamian
.