What we read in the Axiom: The Scientific Computation System
by Richard D. Jenks and Robert S. Sutor, Hardcover, 742 pages
Springer-Verlag (July 1, 1992), ISBN 0387978550

http://www.amazon.com/exec/obidos/tg/detail/-/0387978550/103-8872015-...

?

What whales had been creating this systems over decades?

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

The design and development of AXIOM was led by the Symbolic
Computation Group of the Mathematical Sciences Department,
IBM Thomas J. Watson Research Center, Yorktown Heights, New
York. The current implementation of AXIOM is the product of
many people. The primary contributors are:

Richard D. Jenks (IBM, Yorktown) received a Ph.D. from the
University of Illinois and was a principal architect of the
Scratchpad computer algebra system (1971). In 1977, Jenks
initiated the AXIOM effort with the design of MODLISP,
inspired by earlier work with Riidiger Loos (Tubingen), James
Griesmer (IBM, Yorktown), and David Y. Y. Yun (Hawaii). Joint
work with David R. Barton (Berkeley, California) and James
Davenport led to the design and implementation of prototypes
and the concept of categories (1980). More recently, Jenks
led the effort on user interface software for AXIOM.

Barry M. Trager (IBM, Yorktown) received a Ph.D. from MIT
while working in the MACSYMA computer algebra group. Trager's
thesis laid the groundwork for a complete theory for closed-
form integration of elementary functions and its implementation
in AXIOM. Trager and Richard Jenks are responsible for the
original abstract datatype design and implementation of the
programming language with its current MODLISP-based compiler
and run-time system. Trager is also responsible for the overall
design of the current AXIOM library and for the implementation
of many of its components.

http://www.csd.uwo.ca/~watt/
http://www.orcca.on.ca/~watt/

Stephen M. Watt (IBM, Yorktown) received a Ph.D. from the
University of Waterloo and is one of the original authors
of the Maple computer algebra system. Since joining IBM in
1984, he has made central contributions to the AXIOM language
and system design, as well as numerous contributions to the
library. He is the principal architect of the new AXIOM
compiler, planned for Release 2.

http://www10.org/keynoters/sutor.html
http://sys-con.com/author/?id=269

Robert S. Sutor (IBM, Yorktown) received a Ph.D. in mathematics
from Princeton University and has been involved with the design
and implementation of the system interpreter, system commands,
and documentation since 1984. Sutor's contributions to the AXIOM
library include factored objects, partial fractions, and the
original implementation of finite field extensions. Recently, he
has devised technology for producing automatic hard-copy and on-
line documentation from single source files.

Scott C. Morrison (IBM, Yorktown) received an M.S. from the
University of California, Berkeley, and is a principal person
responsible for the design and implementation of the AXIOM
interface, including the interpreter, HyperDoc, and applications
of the computer graphics system.

http://www-sop.inria.fr/cafe/Manuel.Bronstein/bronstein-eng.html

Manuel Bronstein (ETH, Zurich) received a Ph.D. in mathematics
from the University of California, Berkeley, completing the
theoretical work on closed-form integration by Barry Trager.
Bronstein designed and implemented the algebraic structures and
algorithms in the AXIOM library for integration, closed form
solution of differential equations, operator algebras, and
manipulation of top-level mathematical expressions. He also
designed (with Richard Jenks) and implemented the current pattern
match facility for AXIOM.

http://theory.lcs.mit.edu/~jacm/Authors/burgewilliamh.html

William H. Burge (IBM, Yorktown) received a Ph.D. from Cambridge
University, implemented the AXIOM parser, designed (with Stephen
Watt) and implemented the stream and power series structures, and
numerous algebraic facilities including those for data structures,
power series, and combinatorics.

Timothy P. Daly (IBM, Yorktown) is pursuing a Ph.D. in computer
science at Brooklyn Polytechnic Institute and is responsible for
porting, testing, performance, and system support work for AXIOM.

www.bath.ac.uk/~masjhd/

James Davenport (Bath) received a Ph.D. from Cambridge University,
is the author of several computer algebra textbooks, and has long
recognized the need for AXIOM'S generality for computer algebra.
He was involved with the early prototype design of system
internals and the original category hierarchy for AXIOM (with
David R. Barton). More recently, Davenport and Barry Trager
designed the algebraic category hierarchy currently used in
AXIOM. Davenport is Hebron and Medlock Professor of Information
Technology at Bath University.

Michael Dewar (Bath) received a Ph.D. from the University of Bath
for his work on the IRENA system (an interface between the REDUCE
computer algebra system and the NAG Library of numerical subpro-
grams), and work on interfacing algebraic and numerical systems in
general. He has contributed code to produce FORTRAN output from
AXIOM, and is currently developing a comprehensive foreign langua-
ge interface and a link to the NAG Library for release 2 of AXIOM.

http://www.fhtw-berlin.de/persons/albrecht.fortenbacher.html

Albrecht Fortenbacher (IBM Scientific Center, Heidelberg) received
a doctorate from the University of Karlsruhe and is a designer and
implementer of the type-inferencing code in the AXIOM interpreter.
The result of research by Fortenbacher on type coercion by rewrite
rules will soon be incorporated into AXIOM.

Patrizia Gianni (Pisa) received a Laurea in mathematics from
the University of Pisa and is the prime author of the polynomial
and rational function component of the AXIOM library. Her contri-
butions include algorithms for greatest common divisors, factori-
zation, ideals, Grobner bases, solutions of polynomial systems,
and linear algebra. She is currently Associate Professor of
Mathematics at the University of Pisa.

http://www.fh-deggendorf.de/wi/grabmeier/

Johannes Grabmeier (IBM Scientific Center, Heidelberg) received
a Ph.D. from University Bayreuth (Bavaria) and is responsible for
many AXIOM packages, including those for representation theory
(with Holger Gollan (Essen)), permutation groups (with Gerhard
Schneider (Essen)), finite fields (with Alfred Scheerhorn), and
non-associative algebra (with Robert Wisbauer (Dusseldorf)).

Larry Lambe received a Ph.D. from the University of Illinois
(Chicago) and has been using AXIOM for research in homological
algebra. Lambe contributed facilities for Lie ring and exterior
algebra calculations and has worked with Scott Morrison on various
graphics applications.

Michael Monagan (ETH, Zurich) received a Ph.D. from the University
of Waterloo and is a principal contributor to the Maple computer
algebra system. He designed and implemented the category hierarchy
and domains for data structures (with Stephen Watt), multi-preci-
sion floating point arithmetic, code for polynomials modulo a
prime, and also worked on the new compiler.

William Sit (CCNY) received a Ph.D. from Columbia University. He
has been using AXIOM for research in differential algebra, and
contributed operations for differential polynomials (with Manuel
Bronstein).

Jonathan M. Steinbach (IBM, Yorktown) received a B.A. degree from
Ohio State University and has responsibility for the AXIOM compu-
ter graphics facility. He has modified and extended this facility
from the original design by Jim Wen. Steinbach is currently invo-
lved in the new compiler effort.

Jim Wen, a graduate student in computer graphics at Brown
University, designed and implemented the original computer
graphics system for AXIOM with pop-up control panels for
interactive manipulation of graphic objects.

Clifton J. Williamson (Cal Poly) received a Ph.D. in Mathematics
from the University of California, Berkeley. He implemented the
power series (with William Burge and Stephen Watt), matrix, and
limit facilities in the library and made numerous contributions
to the HyperDoc documentation and algebraic side of the computer
graphics facility. Williamson is currently an Assistant Professor
of Mathematics at California Polytechnic State University, San
Luis Obispo.

Contributions to the current AXIOM system were also made by:
Yurij Baransky (IBM Research, Yorktown), David R. Barton,
Bruce Char (Drexel), Korrinn Fu, Riidiger Gebauer, Holger
Gollan (Essen), Steven J. Gortler, Michael Lucks, Victor
Miller (IBM Research, Yorktown), C. Andrew Neff (IBM Research,
Yorktown), H. Michael Moller (Hagen), Simon Robinson, Gerhard
Schneider (Essen), Thorsten Werther (Bonn), John M. Wiley,
Waldemar Wiwianka (Paderborn), David Y. Y. Yun (Hawaii).

Other group members, visitors and contributors to AXIOM include
Richard Anderson, George Andrews, David R. Barton, Alexandre
Bouyer, Martin Brock, Florian Bundschuh, Cheekai Chin, David V.
Chudnovsky, Gregory V. Chudnovsky, Josh Cohen, Gary Cornell, Jean
Delia Dora, Claire Di-Crescendo, Dominique Duval, Lars Erickson,
Timothy Freeman, Marc Gaetano, Vladimir A. Grinberg, Florian
Bundschuh, Oswald Gschnitzer, Klaus Kusche, Bernhard Kutzler,
Mohammed Mobarak, Julian A. Padget, Michael Rothstein, Alfred
Scheerhorn, William F. Schelter, Martin Schonert, Fritz Schwarz,
Christine J. Sundaresan, Moss E. Sweedler, Themos T. Tsikas,
Berhard Wall, Robert Wisbauer, and Knut Wolf.

This book has contributions from several people in addition to
its principal authors. Scott Morrison is responsible for the
computer graphics gallery and the programs in Appendix F. Jonathan
Steinbach wrote the original version of Chapter 7. Michael Dewar
contributed material on the FORTRAN interface in Chapter 4. Manuel
Bronstein, Clifton Williamson, Patricia Gianni, Johannes Grabmeier
, and Barry Trager, and Stephen Watt contributed to Chapters 8 and
9 and Appendix E. William Burge, Timothy Daly, Larry Lambe, and
William Sit contributed material to Chapter 9.

The authors would like to thank the production staff at Springer-
Verlag for their guidance in the preparation of this book, and
Jean K. Rivlin of IBM Yorktown Heights for her assistance in
producing the camera-ready copy. Also, thanks to Robert F.
Caviness, James H. Davenport, Sam Dooley, Richard J. Fateman,
Stuart I. Feldman, Stephen J. Hague, John A. Nelder. Eugene J.
Surowitz, Themos T. Tsikas, James W. Thatcher, and Richard E.
Zippel for their constructive suggestions on drafts of the book.

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

An amazing team of authors & helpers, yes?