Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: $Revision: 1.6.2.14 $; site uiucdcs.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!inuxc!pur-ee!uiucdcs!stevens
From: stevens@uiucdcs.UUCP
Newsgroups: net.math.symbolic
Subject: Re: AutoMath
Message-ID: <98300002@uiucdcs.UUCP>
Date: Wed, 26-Sep-84 18:49:00 EDT
Article-I.D.: uiucdcs.98300002
Posted: Wed Sep 26 18:49:00 1984
Date-Received: Fri, 28-Sep-84 04:37:38 EDT
References: <80@gymble.UUCP>
Lines: 7
Nf-ID: #R:gymble:-8000:uiucdcs:98300002:000:279
Nf-From: uiucdcs!stevens    Sep 26 17:49:00 1984

As I recall AutoMath did not live up to the expectations of the original
authors.. In particular the ability to Automatically Verify proofs of any
complexity proved very difficult.  I also do not believe the original
research project continued much beyond the late 70's.

--rick