Re: Theoremwriting Computer Program?
 From: rpw3@xxxxxxxx (Rob Warnock)
 Date: Fri, 21 Aug 2009 03:31:49 0500
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/acl2papers.html
Rob

Rob Warnock <rpw3@xxxxxxxx>
627 26th Avenue <URL:http://rpw3.org/>
San Mateo, CA 94403 (650)5722607
.
 References:
 Re: Theoremwriting Computer Program?
 From: Pashley
 Re: Theoremwriting Computer Program?
 Prev by Date: Re: OpenSSL can't emit nonSHA1 certs for DSA?
 Next by Date: >>>> CLINTON VIDEOS <<<<
 Previous by thread: Re: Theoremwriting Computer Program?
 Next by thread: >>>> CLINTON VIDEOS <<<<
 Index(es):
Relevant Pages
