Algorithms for symbolic manipulation

Solution 1:

The algorithms behind symbolic integration (due to Liouville, Ritt, Risch, Bronstein et al.) are discussed in prior questions here, e.g. the transcendental case and algebraic case.

For general references on symbolic computation see any of the standard texbooks, e.g. Geddes et al. Algorithms for computer algebra, Grabmeier et al: Computer algebra handbook,von zur Gathen: Modern computer algebra, and Zippel: Effective polynomial computation, and many other books. See also the Journal of Symbolic Computation and various conferences: SIGSAM ISSAC, EUROCAL, etc.

Exciting games and material to motivate children to math

What are some good iPhone/iPod Touch/iPad Apps for mathematicians? [closed]

Is there a way to make tangent bundle a monad?

Cosine similarity / distance and triangle equation

If a line bundle and its dual both have a section (on a projective variety) does this imply that the bundle is trivial?

Prove that every bilinear associative form in a simple Lie algebra is a multiple of a Killing form

Hilbert spaces and unique extensions of linear functions.

Closed form for $\sum_{n=1}^\infty\frac{\cos(\pi \log n)}{n^2}$

Need help understanding Erdős' proof about divergence of $\sum\frac1p$

Some basic examples of étale fundamental groups

In the context of vectors, is there a difference between the terms "magnitude" and "length"?

Found an odd relationship! Could someone help me to prove or debunk it?