Article View: net.math.symbolic
Article #12AutoMath
From: Mark Weiser
Date: Tue, 25 Sep 1984 05:42
Date: Tue, 25 Sep 1984 05:42
11 lines
1025 bytes
1025 bytes
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
Technical Details
Message-ID:
<80@gymble.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!zehntel!hplabs!hao!seismo!umcp-cs!gymble!markShow Full Headers
Complete Article Headers
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: arc1-ca.pugleaf.net!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