|
|
|
last edited 2 years ago by test1 |
Edit detail for ScratchPad revision 2 of 3
| 1 2 3 | ||
|
Editor: test1
Time: 2022/06/01 12:57:36 GMT+0 |
||
| Note: | ||
changed: -Scratchpad was a computer algebra system developed at IBM -in the early 1970s. Like M&M (Maple and Mathematical) and Scratchpad was a large, general purpose computer algebra system developed at IBM. Developement was started around 1965 by J. Griesmer with creation of Lisp system. Later, Richard Jenks joined Scratchpad team and became director of the project. Like M&M (Maple and Mathematical) and changed: -rewriterule semantics, providing what we believe to be rewrite rule semantics, providing what we believe to be
Scratchpad was a large, general purpose computer algebra system developed at IBM. Developement was started around 1965 by J. Griesmer with creation of Lisp system. Later, Richard Jenks joined Scratchpad team and became director of the project.
Like M&M (Maple and Mathematical) 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 rewrite rule semantics, providing what we believe to be the most natural paradigm for interactive symbolic problem solving. Like M&M, however, user programs were interpreted, often resulting in poor performance relative to similar facilities coded in standard programming languages such as FORTRAN and C.
Scratchpad development stopped in 1976 giving way to a new system design that evolved into AXIOM. AXIOM has a strongly-typed programming language for building a library of parameterized types and algorithms, and a type-inferencing interpreter that accesses the library and can build any of an infinite number of types for interactive use.
From: How to Make Axiom into a ScratchPad?", Jenks and Trager, 1994.