PRESS (PRolog Equation Solving System) is a system for solving symbolic, transcendental, non-differential equations. 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.
Knowledge of ML is beneficial. It is also strongly suggested that the student have taken the automated reasoning course and essential that they have some experience in functional programming.
Challenging. It will require significant programming.