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/