solve (e_, v_)
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)