**Axiom: The Scientific Computation System**

by Richard D. Jenks, Robert S. Sutor

**Publisher**: axiom-developer.org 2003**ISBN/ASIN**: 0387978550**ISBN-13**: 9780387978550**Number of pages**: 1200

**Description**:

Axiom is a free general purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly typed, mathematically correct type hierarchy. The primary philosophy is that Axiom needs to develop several fundamental features in order to be useful to the next generation of computational mathematicians. The book gives the reader a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms newly developed by the symbolic computation community, and presents advanced programming and problem solving techniques.

Download or read it online for free here:

**Download link**

(3.8MB, PDF)

## Similar books

**Mathematical Illustrations: A Manual of Geometry and PostScript**

by

**Bill Casselman**-

**Cambridge University Press**

The author gives an introduction to basic features of the PostScript language and shows how to use it for producing mathematical graphics. The book includes the discussion computer graphics and some comments on good style in mathematical illustration.

(

**11068**views)

**Mathematics in the Age of the Turing Machine**

by

**Thomas Hales**-

**arXiv**

Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

(

**8131**views)

**Implementing Mathematics with The Nuprl Proof Development System**

by

**R. L. Constable, at al.**-

**Prentice Hall**

The authors offer a tutorial on the new mathematical ideas which underlie their research. Many of the ideas in this book will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.

(

**8805**views)

**Algorithms in Real Algebraic Geometry**

by

**S. Basu, R. Pollack, M. Roy**-

**Springer**

The monograph gives a detailed exposition of the algorithmic real algebraic geometry. It is well written and will be useful both for beginners and for advanced readers, who work in real algebraic geometry or apply its methods in other fields.

(

**8482**views)