Re:Legible Mathematics: Sketches of interactive arithmetic f...
by carapace on Monday February 24, 2020 @02:14PM
(#22407317)
Here's something worth investigating, IMO:
> 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.
> 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.
https://dream.inf.ed.ac.uk/software/press/
And: https://github.com/maths/PRESS
> This directory contains a copy of the PRESS ... modified to run on SWI Prolog