Re: Theorem-writing Computer Program?

Pashley <sandyinchina@xxxxxxxxx> wrote:
| MTGAP <mtga...@xxxxxxxxx> wrote:
| > I heard recently about a computer program that writes theorems (or at
| > least tries to), but I can't seem to find anything on the web about
| > it. Does anyone know where I can find something about that?

OP might also be interested in this:

Some applications are listed here:


Rob Warnock <rpw3@xxxxxxxx>
627 26th Avenue <URL:>
San Mateo, CA 94403 (650)572-2607


Relevant Pages