Re: Theorem-writing Computer Program?
- From: Pashley <sandyinchina@xxxxxxxxx>
- Date: Thu, 20 Aug 2009 12:33:03 -0700 (PDT)
On Jul 8, 12:43 pm, 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
.
- Follow-Ups:
- Re: Theorem-writing Computer Program?
- From: Rob Warnock
- Re: Theorem-writing Computer Program?
- Prev by Date: Re: OpenSSL can't emit non-SHA1 certs for DSA?
- Next by Date: Re: OpenSSL can't emit non-SHA1 certs for DSA?
- Previous by thread: RSASSA-PSS using a wounded hash function
- Next by thread: Re: Theorem-writing Computer Program?
- Index(es):
