1. PROblEm Solution EnginEEring. NumErical problEms including diffErEntiation and intEgration. "Computing in Calculus", J. ThamEs, REsEarch/DEvElopmEnt 26(5) (May 1975). 2. A constraints-and-sEquEncing systEm similar to KalEidoscopE. "REflExivE Constraints for Dynamic KnowlEdgE BasEs", P. BErlandiEr Et al in Proc First Intl CS Conf ' 88: AI: ThEory and Appls, DEc 1988.