Name: Bertfried Fauser Date: 05/19/04-06:18:22 PM Z


On Wed, 19 May 2004, Tim Daly wrote:

Dear Tim,

        I agree on your thougth, and will respond to a few things later, I
wonder how you manage to do all these things…

Just one remark:

> First, claims are made which cannot be reproduced. Citing results of
> the program runs without presenting the programs is equivalent to
> citing theorems without providing proofs. How can a referee properly
> review such work? Physics and chemistry require reproduced results
> before claims are accepted.

curiously, the clifford package emerged out of the mind of Rafal whene
refereeing a paper based on extensive mathematica computations. Since he
had no chance to recalculate or understand, he programed a set of maple
(just that was on his computer) routines to check the claims (which were
found true by teh way), having the code, and the effort done, he embarked
to compleete the functionality, by now, over 120 functions and over 750
pasges of documentation shipping with the package, where you will find
even unpublished math, so I hope for such a future for AXIOM, but as you
mention it needs to be portable on the basis of peopel not program code.

> It’s a hard problem but we have 30 years to solve it.
>
> Tim “the 30 year horizon” Daly

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/
% Phone : Leipzig +49 341 9959 735 Konstanz +49 7531 693491