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?
|
| http://www.math.upenn.edu/~wilf/AeqB.html
+---------------

OP might also be interested in this:

http://www.cs.utexas.edu/~moore/acl2/

Some applications are listed here:

http://www.cs.utexas.edu/users/moore/publications/acl2-papers.html


-Rob

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

.