## Equational Prover of Theorema (2003)

by
Temur Kutsia

Citations: | 7 - 6 self |

### BibTeX

@MISC{Kutsia03equationalprover,

author = {Temur Kutsia},

title = {Equational Prover of Theorema},

year = {2003}

}

### Years of Citing Articles

### OpenURL

### Abstract

The equational prover of the Theorema system is described. It is implemented on Mathematica and is designed for unit equalities in the first order or in the applicative higher order form. A (restricted) usage of sequence variables and Mathematica built-in functions is allowed.