Bundy, Alan

English

We study equation solving and analyse the solutions of experienced mathematicians. We find that traditional theorem proving methods are inadequate to explain the directness of these solutions, and that the well known algorithms for polynomials etc. are inadequate to explain the wide variety of equations solved. Our analysis reveals a system of high-level descriptions, strategies and goals, which can be used to guide the search through an explosively large search space. A few of these strategies will be investigated in detail. It is hoped that this analysis will eventually be incorporated into a computer program that solves equations

Edinburgh Research Explorer

A Machine Oriented Logic Based on the Resolution Principle&quot;.

A Treatise on Elementary Equation Solving&quot;.

Analyzing Mathematical Proofs (or reading between the lines)&quot;.

Building in Equational Theories&quot;.

Epilog [400,400) - A Users Guide to the D.E.C. 10 PROLOG System**. Internal Memo.

Mathematical Discovery&quot;, Vol. I and II.

Private Communication.

REDUCE : A User Oriented Interactive System for Algebraic Simplification&quot;. In Interactive Systems for Experimental Applied Mathematics.

Search Strategies in Theorem Proving&quot;.

Some Problems and NonProblems in Representation Theory&quot;. Paper presented at the A.I.S.B. Summer Conference at Sussex.

The MACSYMA System.

Analysing Mathematical Proofs (or Reading between the Lines)

Analysing Mathematical Proofs (or Reading between the Lines)

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer