You could look at "PRESS: PRolog Equation Solving System", "a system for solving symbolic, transcendental, non-differential equations." Journal of Symbolic

You could look at "PRESS: PRolog Equation Solving System", "a system for solving symbolic, transcendental, non-differential equations." Journal of Symbolic Computation Volume 7, Issue 1, January 1989, Pages 71-84 "Solving symbolic equations with PRESS" https://www.sciencedirect.com/science/article/pii/S0747717189800070 https://www.sciencedirect.com/science/article/pii/S074771718... Source: https://github.com/maths/PRESS https://github.com/maths/PRESS - - - - BTW, Does anyone know where I can find the source for MIXTUS partial evaluation system?