Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If you take a look at WolframAlpha, or other computer algebraic system, you will find that it is able to do symbolic manipulation like real humans.

For example, if you type in an integral, it can show you step by step on how to solve the integration.

What are the algorithms behind all this?

share|cite|improve this question
up vote 14 down vote accepted

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.

share|cite|improve this answer
Don't forget A=B, which can be downloaded for free at – Yuval Filmus Feb 10 '11 at 5:08
@Yuval: I didn't mention books devoted to specific topics since the OP didn't mention their specific interests (besides integration). Note that my list of general textbooks is far form complete - it's off the top of my head, late at night (and probably biased since I was a Macsyma developer). – Bill Dubuque Feb 10 '11 at 5:13
I don't think the WolframAlpha step-by-step integration is using the Risch algorithm. It's likely just using a rules based system with pattern matching. – asmeurer Feb 9 '15 at 17:10

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.