1 QA engineer vs 7 users: opinions about the AXIOM computer algebra system

From: Vladimir Bondarenko (vb_at_cybertester.com)
Date: 02/09/05 

Date: 9 Feb 2005 04:34:35 -0800

.................................................................

http://zebra.sci.ccny.cuny.edu/web/caiss/main.htm

Axiom - a large, general purpose computer algebra system
http://savannah.nongnu.org/projects/axiom

           ~1 million lines of source code
           Team of 63 developers
           Contact with ~200 researchers

.................................................................

The quoted users' opinions come from the book

AXIOM: the scientific computation system,
742 pp, 1992, ISBN 0-387-97855-0, Springer-Verlag New York, Inc.

.................................................................

-- 1992

"AXIOM is a milestone in the history of computation. It sets
a new standard for depth and breadth of mathematical software.
AXIOM is a fully integrated environment for exploratory research
in mathematics, easily extensible to new domains. I recommend
this book to all researchers and teachers of advanced courses
in scientific and mathematical disciplines."

Anil Nerode

Director, Mathematical Sciences Institute
Goldwin Smith Professor of Mathematics, Cornell University

http://www.math.cornell.edu/~anil/

.................................................................

-- 1992

"The AXIOM language is a jewel that should receive wide
attention among mathematicians as potential users and
among computer scientists as a model for excellence in
language design."

Michael Rabin

Thomas J. Watson, Sr., Professor of Computer Science
Harvard University

Albert Einstein Professor of Mathematics Hebrew University

http://www.deas.harvard.edu/faculty/profile/Michael_Rabin
http://www.sis.pitt.edu/~mbsclass/hall_of_fame/rabin.htm

.................................................................

-- 1992

"AXIOM has captured the excitement of the French mathematical
community. It is the first of a new generation of computer
algebra systems, and is highly efficient for large and difficult
computations."

Daniel Lazard

Professeur d'Informatique
Universite Pierre et Marie Curie, Paris VI

www.inria.fr/personnel/Daniel.Lazard.en.html

.................................................................

-- 1992

"The abstraction capabilities of AXIOM are unparalleled among
presently available computer algebra systems. Many natural
mathematical constructions, very awkward in other systems,
remain natural and simple in AXIOM"

Willard Miller, Jr.

Professor and Associate Director
Institute for Mathematics and its Applications
University of Minnesota

http://www.ima.umn.edu/~miller/

.................................................................

-- 1992

"AXIOM is the culmination of a quarter of a century of research
at IBM. It represents an important new generation of computer
algebra systems."

Joel Moses,

Dean of Engineering
D.C. Jackson Professor of Computer Science and Engineering
Massachusetts Institute of Technology

http://esd.mit.edu/Faculty_Pages/moses/moses.htm

.................................................................

-- 1992

"AXIOM is a dream come true - a powerful, fast, flexible system
soundly based on the principles of modern mathematics. For anyone
who does a substantial amount of empirical mathematics, AXIOM is
a godsend."

George E. Andrews

Evan Pugh Professor of Mathematics
Pennsylvania State University

www.math.psu.edu/andrews/

.................................................................

-- 1992

"I strongly recommend that statisticians acquaint themselves with
AXIOM for at least two very good reasons. Its algebraic strength
offers help with the combinatoric problems of design of experiment
while the tensor-calculus facilities can provide powerful tools
for likelihood inference."

John Nelder

Fellow of the Royal Society
Professor of Imperial College, London

http://stats.ma.ic.ac.uk/jan01/public_html/

.................................................................

-- Dec 30, 2005

"Good idea,
imperfect design,
buggy implementation,
inadequate testing,
unclear prospects."

Vladimir Bondarenko

GEMM architect
Co-founder, CEO, Mathematical Director
Cyber Tester, LLC

http://www.cybertester.com/
http://maple.bug-list.org/
http://www.CAS-testing.org/

.................................................................

Relevant Pages

  • 1 QA engineer vs 7 users: opinions about the AXIOM computer algebra system
    ... Axiom - a large, ... Goldwin Smith Professor of Mathematics, ... among computer scientists as a model for excellence in ... presently available computer algebra systems. ...
    (sci.math.symbolic)
  • 1 QA engineer vs 7 users: opinions about the AXIOM computer algebra system
    ... Axiom - a large, ... Goldwin Smith Professor of Mathematics, ... among computer scientists as a model for excellence in ... presently available computer algebra systems. ...
    (sci.physics)
  • Godels incompleteness theorm proven wrong
    ... either lead to paradox or end in paradox. ... axiom of reducibility but this axiom was rejected as being invalid by ... Thus just on this point Godel is invalid as by using an axiom most people ... Godel proved that mathematics was inconsistent ...
    (sci.math)
  • Godels incompleteness theorem proven invalid
    ... axiom 1V - axiom of reducibility- in his proof. ... either lead to paradox or end in paradox. ... Thus just on this point Godel is invalid as by using an axiom most people ... Godel proved that mathematics was inconsistent ...
    (sci.math)
  • Re: Why does Cantor a target for cranks?
    ... objects without having some sort of axiom to that effect. ... Has to have an axiomatic system infinite many axioms to be definite? ... My point is that, at least in in pure mathematics, one cannot conclude ... The axiomatic method does not in any way dispute what you have just ...
    (sci.math)