Re: Theorem-writing Computer Program?



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
.