How to make AXIOM into a scratchpad

  title={How to make AXIOM into a scratchpad},
  author={Richard D. Jenks and Barry M. Trager},
  booktitle={International Symposium on Symbolic and Algebraic Computation},
  • R. JenksB. Trager
  • Published in
    International Symposium on…
    1 August 1994
  • Computer Science
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… 

Order sorted computer algebra and coercions

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

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

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

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

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訪問記(海外,ラボラトリーズ)

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



A first report on the A# compiler

Foam is designed to contain only those concepts which can have an efficient 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

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

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

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

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

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

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

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

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

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.