Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Tue, 13 Apr 1993 16:45:21 +0100 Received: by antares.mcs.anl.gov id AA11770 (5.65c/IDA-1.4.4 for qed-outgoing); Tue, 13 Apr 1993 10:12:41 -0500 Received: from saturn.wwc.edu by antares.mcs.anl.gov with SMTP id AA11758 (5.65c/IDA-1.4.4 for ); Tue, 13 Apr 1993 10:12:22 -0500 Subject: Re: QED, Bourbaki and Mathematica To: qed@gov.anl.mcs Date: Tue, 13 Apr 93 8:19:47 PDT From: Ted Ashton In-Reply-To: ; from "Zdzislaw Meglicki" at Apr 13, 93 1:50 pm X-Mailer: ELM [version 2.3 PL11] Message-Id: <9304130819.aa10002@saturn.wwc.edu> Sender: qed-owner@gov.anl.mcs Precedence: bulk ... good stuff deleted ... > The interface is a very important issue too. The technology nowadays is > sufficiently advanced to allow mathematicians the use of real > mathematical notation. It should not be necessary to type "\int" for an > integral: an appropriate integral icon should be available and draggable > onto the workspace. Agreed. Yet let's not forget those of us who find it much faster and more automatic to type \int. With the technology available, it should be also possible to create an interface in which everything that can be done by mouse can also be done by keyboard. It might be worthwhile to store stuff in, say, TeX format for the benefit of those who want to send copies of stored info to those who don't have access to qed. ... more good stuff deleted ... > Zdzislaw Gustav Meglicki, gustav@arp.anu.edu.au, > Automated Reasoning Program - CISR, and Plasma Theory Group - RSPhysS, > The Australian National University, G.P.O. Box 4, Canberra, A.C.T., 2601, > Australia, fax: (Australia)-6-249-0747, tel: (Australia)-6-249-0158 -- Ted Ashton (ashted@wwc.edu) Campus Computer Center (509) 527-2307 Walla Walla College College Place, WA 99324 "The slide rule liveth still."