Axiom. The scientific computation system (Q4023355)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 107769
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Axiom. The scientific computation system |
scientific article; zbMATH DE number 107769 |
Statements
23 January 1993
0 references
symbolic computation system AXIOM
0 references
SCRATCHPAD
0 references
computer algebra
0 references
0 references
0 references
0 references
0.7872878
0 references
0 references
Axiom. The scientific computation system (English)
0 references
The book is a rather extensive manual for the symbolic computation system AXIOM. Axiom is a commercial realisation of the system SCRATCHPAD, developed by the Symbolic Computation Group of the Mathematical Sciences Department, IBM Thomas J. Watson Research Center at Yorktown Heights. Among other widely used systems like Mathematica, Maple, Reduce, or Macsyma, AXIOM is the most oriented toward abstract mathematical structures, theorem proving and computer algebra. The book, written by the developers of the system is, of course, the best that can be, presenting a systematic introduction to the system, it is endowed with many excellent examples, a glossary, an index, and practical instructions for the user. It should be recommended to everyone interested in symbolic computations, or even to those mathematicians who do not have any experience with such systems, or who do not know how much they can do within AXIOM. The present version of AXIOM is, unfortunately, available only for the IBM Risc System/600 series, under the IBM AIX operating system, and requires 32MB of memory, and 100 MB disk space.
0 references
