Solving Symbolic Equations with Press

The methods used for solving equations are described, together with the service facilities. The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation. Acknowledgements This work was supported by SERC grants GR/BI29252 and GR/B/73989 and various studentships. Keywords equation solving, rewrite rules, meta-level inference, logic programming I. Introduction The PRESS program was originally developed with two aims in mind. The first aim was to use the program as a vehicle to explore some ideas about controlling search in mathematical reasoning using meta-level descriptions and strategies.