Algebra.Com has a Universal Simplifier with Work Shown. Even though it is a work in progress, my goal is to make it able to simplify any reasonable expression that a student might encounter, and to solve some equations. Eventually, it should be able to deal with formulas that use constants that are not expressible by finite sized decimal numbers, such as 1/3 or square toor of 2.
Here's the link to the simplifier: http://www.algebra.com/services/rendering/simplifier.mpl.
My simplifier is an outgrowth of the formula plotting system.
This list may be not quite up to date, but the simplifier does the following, as of now:
- Reduce all constant expressions to single constants
- Removes extraneous 1's in terms and zeros in expressions
- Reduces similar terms and factors
- Opens up extraneous parentheses, being mindful of signs
Future plans include:
- Associative property
- Factorization of polynomials and polynomial division
- Solving equations
Simplifier can be used in very many ways as a teaching tool. One way is to generate simplification cartoons to illustrate formula simplification, in solutions and lessons.