Computer algebra systems (Macsyma, Mathematica)
Álgebra computacional (Macsyma, Mathematica)
- Date
- 1968-1988 · confidence high
- Place
- MIT, Cambridge, Massachusetts (Macsyma, 1968); Wolfram Research, Champaign, Illinois, United States (1988)
- Credited to
- Joel Moses, Carl Engelman and William Martin (Macsyma); Stephen Wolfram (Mathematica); MATLAB by Cleve Moler (1984)
- People
- 👤 Carl Engelman1929–1983👤 Joel Moses1941–2022👤 Stephen Wolfram1959–
- Field
- Knowledge & symbols
What it is
Programs that manipulate mathematical symbols, integrate, solve equations and plot with exactness. They transformed mathematical research, physics and engineering.
What it led to
- Experimental mathematics and computer-assisted proof
- The teaching of mathematics with symbolic calculators
- Proof assistants (Coq, Lean) and mathematical AI
Built on
- FORTRAN programming language1957
- LISP programming language1958
- proof of the four colour theorem (1976)
Made possible
- Proof assistants (Coq, Lean) and AI mathematics (AlphaProof)1989-2024
- Lean and formal proof
- Wolfram Alpha
- Jupyter and scientific Python