Loading...
Please wait, while we are loading the content...
Similar Documents
The axiom system.
| Content Provider | CiteSeerX |
|---|---|
| Author | Davenport, J. H. |
| Abstract | . AXIOM* is a computer algebra system superficially like many others, but fundamentally different in its internal construction, and therefore in the possibilities it offers to its users. In these lecture notes, we will ffl outline the high-level design of the AXIOM kernel and the AXIOM type system, ffl explain some of the algebraic facilities implemented in AXIOM, which may be more general than the reader is used to, ffl show how the type system and the information system interact, ffl give some references to the literature on particular aspects of AXIOM, and ffl suggest the way forward. A little history In 1978 the present author spent two months at IBM Yorktown Heights, as part of the Computer Algebra Group, which had developed the Scratchpad-1 computer algebra system. Though this system never saw the light of day outside IBM, it was at the time a competitor for Macsyma and Reduce. All systems had struggled with the problems of writing ever more complicated algebraic algorithm... |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Axiom System Present Author High-level Design Lecture Note Algebraic Facility Axiom Type System Scratchpad-1 Computer Algebra System Many Others Little History Axiom Kernel Ibm Yorktown Height Computer Algebra System Type System Information System Interact Internal Construction Computer Algebra Group Particular Aspect Complicated Algebraic Algorithm |
| Content Type | Text |
