If you would like to add something to this list, please submit a pull request or email mathsteps@socratic.org
-
PRESS PRolog Equation Solving System
A computer algebra system for solving symbolic, transcendental, non-differential equations. The equations in the PRESS test suite have largely been taken from English A-level examination papers from the years 1971-1979. The system has four different top-level modules: one for solving single equations, one for sets of simultaneous equations, one for inequalities, and one for proving identities. The procedure for solving single equations is the central core of the program. The other top-level modules are largely interfaces to the relevant parts of the single equation code. (See below for more information on PRESS.)
-
A conventional computer algebra system that has been modified to support step-by-step mathematics. The step-by-step equation solver in MathPiper (which is based on PRESS) has not been officially released yet, so if you would like to experiment with it contact Ted Kosan.
The following tutorial provides a brief explanation of how this equation solver works:
-
On the following website is a file named moses-simp.pdf that contains a paper titled "Algebraic Simplification a Guide for the Perplexed": https://groups.csail.mit.edu/mac/users/gjs/6.945/readings/simplification/. It describes the various ways simplification is typically used in a CAS.
-
PRESS (PRolog Equation Solving System) research papers.
PRESS was created by a team of researchers lead by Dr. Alan Bundy at the University of Edinburgh's Department of Artificial Intelligence during the 1970s and 1980s. In 2014 Marvin Minsky (who was one of the pioneers of the field of artificial intelligence) stated that much of current AI research was years behind the AI research that was being done in the 1970s, and the PRESS research is a good example of this.
Most of Dr. Bundy's research papers are available on his research outputs website. The following papers are the ones on this website that are directly related to PRESS.
- Analysing Mathematical Proofs (or Reading between the Lines) 1975
- A treatise on elementary equation solving 1979
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation 1981
- Using Matching in Algebraic Equation Solving 1981
- Meta-level inference in Algebra 1981
- Homogenization: Preparing Equations for Change of Unknown 1981
- Solving Symbolic Equations with PRESS 1982
- The Computer Modelling of Mathematical Reasoning (Book) 1983
- Discovery and Reasoning in Mathematics 1985
-
An AI math tutor which is based on the Cyc human-like reasoning system (think HAL 9000 and the Star Trek computer). Doug Lenat (who founded the Cyc project in 1984 and who still leads it) recently estimated that Cyc contains around 5 percent of the common-sense knowledge a typical human has, but it is around 97 percent of the way to accumulating the remaining 95 percent automatically because it understands natural language.