axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] OpenMath


From: Bertfried Fauser
Subject: Re: [Axiom-developer] OpenMath
Date: Thu, 13 May 2004 15:44:06 +0200 (CEST)

On Thu, 13 May 2004, root wrote:

Dear All,

> It is clear from numerous discussions that Axiom needs to develop a
> notebook-like interface. Several people told me that they don't use
> Axiom specifically because it lacks a notebook.

what's wrong with TeXmacs?

Please note:

- I saw a book entirely written in "Matehmatica", printed it looks (in my
  eyes) awful. It's hard to beat (AMS,La,..)TeX

- The maple gui of Maple 9.0 has turned many people away from the product
  (if those who announced to do so really did). This interface does not
  support presentations, eg on a conference, and has a very very limited
  typographical capability.

- If you spend too much effort into a GUI, most likely the backend will
  suffer. A person from scientific computing, some times ago told me that
  Maple is really going for the engineers and students, not primarily for
  scientists. If AXIOM would / will try to do this, I think the typed
  language will be a barrier never surmounted by engineers, and most
  students and even many scientists.

- A point may be, that AXOM is still not available for windows (am I
  right?)

So my conclusion would be to take TeXmacs, and to try to have an export
function of AXIOM "worksheets" to ps/pdf. Pdf can be used for
presentations, even if real computations are not possible.

The main point of concern is, to specify the targeted user....

ciao
BF.

% PD Dr Bertfried Fauser
%       Institution: Max Planck Institut for Mathematics Leipzig 
<http://www.mis.mpg.de>
%       Privat Docent: University of Konstanz, Physics Dept 
<http://www.uni-konstanz.de>
% contact |->    URL : http://clifford.physik.uni-konstanz.de/~fauser/
%             E-Mail : address@hidden (address@hidden)
%              Phone : Leipzig +49 341 9959 735  Konstanz +49 7531 693491





reply via email to

[Prev in Thread] Current Thread [Next in Thread]