Solving Equations formally

13 years ago