# How to make AXIOM into a scratchpad

@inproceedings{Jenks1994HowTM, title={How to make AXIOM into a scratchpad}, author={Richard D. Jenks and Barry M. Trager}, booktitle={International Symposium on Symbolic and Algebraic Computation}, year={1994} }

Scratchpad [GrJe71] was a computer algebra system developed in the early 1970s. Like M&M (Maple [CGG91ab] and Mathematical [W01S92]) and other systems today, Scratchpad had one principal representation for mathematical formulae based on “expression trees”. Its user interface design was based on a pattern-matching paradigm with infinite rewriterule semantics, providing what we believe to be the most natural paradigm for interactive symbolic problem solving. Like M&M, however, user programs were…

## 6 Citations

### Order sorted computer algebra and coercions

- Mathematics, Computer Science
- 1997

This thesis gives an algorithm for automatically creating all coercions in type system which adheres to a set of assumptions and proves that this is an algorithm and that it always returns a coercion when one exists.

### Conditional Categories and Domains

- Computer ScienceDISCO
- 1996

The Type System defined in [San95] with Axiomlike Conditional Categories with the additional property of Static Typing and Checking is extended with an appropriate calculus and its properties are defined.

### A Bibliography of Publications about the AXIOM (formerly, Scratchpad) Symbolic Algebra Language

- Materials Science
- 2007

The methods and apparatus disclosed include creating the aforesaid controlled rubbing contact either while the grinding wheel is free of grinding contact with a workpiece or simultaneously while grinding is occurring, and then either continuously or intermittently.

### Introduction to Gauss

- Computer ScienceSIGS
- 1994

The Gauss package offers Maple users a new approach to programming based on the idea of parameterized types (domains) which is central to the AXIOM system. This approach to programming is now…

### The early history of computer-assisted mathematics instruction for engineering students in the United States: 1965-1989

- EducationEducational Technology Quarterly
- 2021

The article discusses ICT development issues in teaching mathematics to engineering students in the United States. The nature of trends in the convergence of information systems in higher technical…

### Numerical Algorithms Group, Ltd訪問記(海外,ラボラトリーズ)

- Mathematics
- 2000

Axiom can work with individual permutations, permutation groups and do representation theory, so it can be used for permutation theory and representation theory.

## References

SHOWING 1-10 OF 39 REFERENCES

### A first report on the A# compiler

- Computer ScienceISSAC '94
- 1994

Foam is designed to contain only those concepts which can have an eﬃcient realization in both Lisp and C, and big integer arithmetic is assumed as part of Foam, and this is provided as a library for C.

### LISP 1.5 Programmer's Manual

- Computer Science
- 1962

The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing,…

### C++ Programming Language

- Computer ScienceIEEE Softw.
- 1986

Bjarne Stroustrup makes C even more accessible to those new to the language, while adding advanced information and techniques that even expert C programmers will find invaluable.

### SMP - A Symbolic Manipulation Program

- EducationSYMSAC '81
- 1981

Some of the basic concepts and principles of SMP are described, with examples, in the “SMP Handbook” (available on request from the authors).

### The type inference and coercion facilities in the scratchpad II interpreter

- Computer ScienceSIGPLAN '87
- 1987

The Scratchpad II system is an abstract datatype programming language, a compiler for the language, a library of packages of polymorphic functions and parametrized abstract datatypes, and an…

### Common Lisp the Language

- Computer Science
- 1984

This greatly expanded edition of the defacto standard is written by the Vice- Chairman of X3J13 (the ANSI committee responsible for the standardization of Common Lisp) and contains the entire text of the first edition plus six completely new chapters.

### Maple V Language Reference Manual

- Computer ScienceSpringer US
- 1991

This text describes the Maple Symbolic Computation System and the Maple V language and describes the numeric and symbolic expressions that can be used in Maple V, including its 2D and 3D graphics.

### Smalltalk-80: The Language and Its Implementation

- Computer Science
- 1983

This book is the first detailed account of the Smalltalk-80 system and is divided into four major parts: an overview of the concepts and syntax of the programming language, a specification of the system's functionality, and an example of the design and implementation of a moderate-size application.

### Maple V Library Reference Manual

- Computer ScienceSpringer New York
- 1991

This manual describes all of the functions that are available in the Maple library which is where the code for over 95% of Maple's mathematical knowledge and expertise resides.

### SCRATCHPAD/1: An interactive facility for symbolic mathematics

- Computer ScienceSYMSAC '71
- 1971

The SCRATCHPAD/1 system is designed to provide an interactive symbolic computational facility for the mathematician user that incorporates symbolic capabilities provided by such systems as SIN, MATHLAB, and REDUCE.