solve (x + 1 + 2, x)
Given:
Where:
Find:
Relate:

This is the root of automated problem refinement by ISAC. You can watch ISACs search for a more appropriate problem (i.e. a more concise type of equation) by inspecting the 'CalcHead' any time you find a formula beginning with 'solve (...' on the worksheet. Give it a try with this example, where ISAC recursively descents to the children-nodes in the hierarchy while normalizing the equation.


(c) Richard Lang 2003 (math-author)
(c) isac-team 2006 (course-designer)