Theorem Proving Algorithm
Abstract
The ability to prove theorems in mathematics is a good
example of an intellectual faculty and one that is relevant to the
construction of reasoning programs. Examples of such programs are
the ones capable of finding proofs for theorems within mathematical
theories. Such programs are called theorem provers. We will first
analyze developments in computer science in this field and later a
basic theorem prover will be presented.