Algebra Vision shows students how to play with algebra. Drag numbers around!
With Algebra Vision, you start off with an expression, and you have a toolbox full of tools (theorems). Each one has a unique purpose that changes your expression. Use them.