Newsgroups: sci.math.symbolic,sci.math,comp.ai,sci.math.num-analysis
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!miner.usbm.gov!news.er.usgs.gov!stc06.ctd.ornl.gov!fnnews.fnal.gov!uwm.edu!cs.utexas.edu!howland.erols.net!EU.net!usenet2.news.uk.psi.net!uknet!usenet1.news.uk.psi.net!uknet!uknet!strath-cs!bradford.ac.uk!leeds.ac.uk!news
From: rjm@amsta.leeds.ac.uk (R J Morris)
Subject: Re: Mathematics Theory Expert System
Message-ID: <324A5CB5.167E@amsta.leeds.ac.uk>
NNTP-Posting-Host: nexus2.leeds.ac.uk
X-Mailer: Mozilla 3.0 (X11; I; IRIX 5.3 IP22)
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Date: Thu, 26 Sep 1996 11:50:42 +0100 (BST)
References: <Pine.GSO.3.93.960917205041.23040C-100000@hamlet.uncg.edu>
To: "QIAN . ZHONG" <q_zhong@hamlet.uncg.edu>
Lines: 15
Content-Transfer-Encoding: 7bit
Xref: glinda.oz.cs.cmu.edu sci.math.symbolic:23509 sci.math:168689 comp.ai:41121 sci.math.num-analysis:30459

QIAN . ZHONG wrote:
> 
>  I am new to this field and I wonder if there is something like
> "Mathematics Theory Generating Expert System", which will generate new
>  math theme or prove a theme by itself, it can use induction, plausible
>  reasoning (like George Polya's method or similar ) to find new math ?
> 

Yep there is quite a lot of work going on in this field, which
is often called Automatic Theorem Proving. Theres working being
done in Edinbrugh and posibly Aberdean, and probably a lot of other
places as well. I think they have managed to come up with a few
new theorems in geomerty but nothing particularly deep though.

	Rich
