Re: QED, Bourbaki and Mathematica

• Mail folder: QED
• Next message: Bill McCune: "response to Meglicki"
• Previous message: Rusty Lusk: "Let's start"

Subject: Re: QED, Bourbaki and Mathematica
To: qed@mcs.anl.gov
Date: Tue, 13 Apr 93 8:19:47 PDT
From: Ted Ashton <ashted@saturn.wwc.edu>
In-Reply-To: <kfmXWBeKmlE24xcJwf@arp>; 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
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."