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