Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site gymble.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!zehntel!hplabs!hao!seismo!umcp-cs!gymble!mark
From: mark@gymble.UUCP (Mark Weiser)
Newsgroups: net.math.symbolic
Subject: AutoMath
Message-ID: <80@gymble.UUCP>
Date: Tue, 25-Sep-84 01:42:34 EDT
Article-I.D.: gymble.80
Posted: Tue Sep 25 01:42:34 1984
Date-Received: Wed, 26-Sep-84 04:00:00 EDT
Distribution: net
Organization: U of Maryland, Laboratory for Parallel Computation, C.P., MD
Lines: 11

What is AutoMath?  What I know is, it is some wort of automatically
verifiable mathematical notation, in which an entire textbook
has been written and automatically verified.  

Anyone know more?  Like, what is different that makes it verifiable?
What does the verification?  How and for how much is it available?
How general is it?

-- 
Spoken: Mark Weiser 	ARPA:	mark@maryland
CSNet:	mark@umcp-cs 	UUCP:	{seismo,allegra}!umcp-cs!mark