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