Mathematics of Computing -- Mathematical Software.

This is a tutorial introduction to the Axiom Computer Algebra system. It includes examples that illustrate some of the basic abilities.

This anthology of essays from the inventor of literate programming includes Knuth's early papers on related topics such as structured programming, as well as the Computer Journal article that launched literate programming itself.

The book also serves well as a supplementary textbook for a traditional modern algebra course, by presenting concrete applications to motivate the understanding of the theory of rings and fields.

This first volume in the series "Algorithms and Computation in Mathematics", is destined to become the standard reference work in the field.

... system supporting both two- and three-dimensional graphics. Its programming environment, however, was somewhat ... Axiom Axiom was developed by a group at the IBM Thomas J. Watson Research Center. The project team was headed by ...

Written at a level appropriate to undergraduates, this book covers such topics as the Hilbert Basis Theorem, the Nullstellensatz, invariant theory, projective geometry, and dimension theory.

Written by an authority in the field, and one with great practical and teaching experience, this is certain to become the standard and indispensable reference on the subject.

The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms.