SMP (computer algebra system)

Last updated

Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979. It was initially developed in the Caltech physics department with contributions from Geoffrey C. Fox, Jeffrey M. Greif, Eric D. Mjolsness, Larry J. Romans, Timothy Shaw, and Anthony E. Terrano.

Contents

SMP was first sold commercially in 1981, by the Computer Mathematics Corporation of Los Angeles, which later became part of Inference Corporation. Inference further developed the program and marketed it commercially from 1983 to 1988, but it was not a commercial success, and Inference became pessimistic about the market for symbolic math programs, and so abandoned SMP to concentrate on expert systems. [1]

SMP was influenced by the earlier computer algebra systems Macsyma (of which Wolfram was a user) and Schoonschip (whose code Wolfram studied). [2] [3]

SMP follows a rule-based approach, giving it a "consistent, pattern-directed language". Unlike Macsyma and Reduce, it was written in C. [4]

During the 1980s, it was one of the generally available general-purpose computer algebra systems, along with Reduce, Macsyma, and Scratchpad, [5] and later muMATH and Maple. It was often used for teaching college calculus. [6]

The design of SMP's interactive language and its "map" commands influenced the design of the 1984 version of Scratchpad. [7]

Criticism

SMP has been criticized for various characteristics, notably its use of floating-point numbers instead of exact rational numbers, which can lead to incorrect results, [8] and makes polynomial greatest common divisor calculations problematic. [9] Many other problems in early versions of the system were purportedly fixed in later versions. [10]

Related Research Articles

Wolfram Mathematica Computational software program

Wolfram Mathematica is a software system with built-in libraries for several areas of technical computing that allow machine learning, statistics, symbolic computation, manipulating matrices, plotting functions and various types of data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other programming languages. It was conceived by Stephen Wolfram, and is developed by Wolfram Research of Champaign, Illinois. The Wolfram Language is the programming language used in Mathematica.

Stephen Wolfram British-American computer scientist, mathematician, physicist, writer and businessman (born 1959)

Stephen Wolfram is a British-American computer scientist, physicist, and businessman. He is known for his work in computer science, mathematics, and in theoretical physics. In 2012, he was named a fellow of the American Mathematical Society.

A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The development of the computer algebra systems in the second half of the 20th century is part of the discipline of "computer algebra" or "symbolic computation", which has spurred work in algorithms over mathematical objects such as polynomials.

Maxima (software)

Maxima is a computer algebra system (CAS) based on a 1982 version of Macsyma. It is written in Common Lisp and runs on all POSIX platforms such as macOS, Unix, BSD, and Linux, as well as under Microsoft Windows and Android. It is free software released under the terms of the GNU General Public License (GPL).

In symbolic computation, the Risch algorithm is a method of indefinite integration used in some computer algebra systems to find antiderivatives. It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968.

Macsyma is one of the oldest general-purpose computer algebra systems still in wide use. It was originally developed from 1968 to 1982 at MIT's Project MAC.

Axiom is a free, general-purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly typed hierarchy.

Bill Gosper American mathematician and programmer

Ralph William Gosper Jr., known as Bill Gosper, is an American mathematician and programmer. Along with Richard Greenblatt, he may be considered to have founded the hacker community, and he holds a place of pride in the Lisp community. The Gosper curve is named after him.

In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f(x), i.e. to find a differentiable function F(x) such that

Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.

Joel Moses is an Israeli-American mathematician, computer scientist and Institute Professor Emeritus at the Massachusetts Institute of Technology (MIT).

ALTRAN is a programming language for the formal manipulation of rational functions of several variables with integer coefficients. It was developed at Bell Labs in 1960s. ALTRAN is a FORTRAN version of ALPAK rational algebra package, and “can be thought of as a variant of FORTRAN with the addition of an extra declaration, the ‘algebraic’ type declaration.”

SIGSAM is the ACM Special Interest Group on Symbolic and Algebraic Manipulation. It publishes the ACM Communications in Computer Algebra and often sponsors the International Symposium on Symbolic and Algebraic Computation (ISSAC).

Computer algebra Scientific area at the interface between computer science and mathematics

In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. Although computer algebra could be considered a subfield of scientific computing, they are generally considered as distinct fields because scientific computing is usually based on numerical computation with approximate floating point numbers, while symbolic computation emphasizes exact computation with expressions containing variables that have no given value and are manipulated as symbols.

Cambridge Algebra System (CAMAL) is a computer algebra system written in Cambridge University by David Barton, Steve Bourne, and John Fitch. It was initially used for computations in celestial mechanics and general relativity. The foundation code was written in Titan computer assembler,. In 1973, when Titan was replaced with an IBM370/85, it was rewritten in ALGOL 68C and then BCPL where it could run on IBM mainframes and assorted microcomputers.

ISSAC, the International Symposium on Symbolic and Algebraic Computation, is an academic conference in the field of computer algebra. ISSAC has been organized annually since 1988, typically in July. The conference is regularly sponsored by the Association for Computing Machinery special interest group SIGSAM, and the proceedings since 1989 have been published by ACM. ISSAC is considered as being one of the most influential conferences for the publication of scientific computing research.

A notebook interface is a virtual notebook environment used for literate programming, a method of writing computer programs. Some notebooks are WYSIWYG environments including executable calculations embedded in formatted documents; others separate calculations and text into separate sections.

Paul S. Wang Chinese-American computer scientist (born 1944)

Paul S. Wang is a Chinese-American computer scientist, researcher, author, consultant, and academic. He is Professor Emeritus of Computer Science at Kent State University.

References

  1. ↑ "Computer maths: could do better", The Economist November 4, 1989, p. 103
  2. ↑ Michael Swaine, "Is Cyberspace Dead?", Dr. Dobb's , July 1, 2005
  3. ↑ Wolfram, Stephen (21 January 2021). "Tini Veltman (1931–2021): From Assembly Language to a Nobel Prize". Wolfram Writings.
  4. ↑ K.O. Geddes, S.R. Czapor, G. Labahn, Algorithms for Computer Algebra, 1992, ISBN   0792392590, p. 8-9
  5. ↑ C. Wooff, D. Hodgkinson, muMATH: A microcomputer algebra system, 1987, ISBN   0127630708, p. 3
  6. ↑ Donald B. Small, John M. Hosack, "Computer Algebra Systems, Tools for Reforming Calculus Instruction", in Toward a Lean and Lively Calculus, MAA Notes6 (1986) p. 143
  7. ↑ Richard D. Jenks, "A Primer: 11 Keys to New Scratchpad", EUROSAM 84, Lecture Notes in Computer Science174 ISBN   354013350X p. 123-142
  8. ↑ J.H. Davenport, Y. Siret, E. Tournier, Computer Algebra: Systems and algorithms for algebraic computation, 1988, ISBN   0122042301, p. 61, footnote
  9. ↑ Joel Moses, "Macsyma: A personal history", Journal of Symbolic Computation47:123-130 (February 2012) doi : 10.1016/j.jsc.2010.08.018, p. 129
  10. ↑ Richard J. Fateman, "Comments on SMP", ACM SIGSAM Bulletin19:3:5-7 (August 1985) doi : 10.1145/1089411.1089412

Additional sources

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.