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