# 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

- 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):