Álgebra computacional (Macsyma, Mathematica)
Computer algebra systems (Macsyma, Mathematica)
- Fecha
- 1968-1988 · fiabilidad alta
- Lugar
- MIT, Cambridge, Massachusetts (Macsyma, 1968); Wolfram Research, Champaign, Illinois, EE. UU. (1988)
- Autoría
- Joel Moses, Carl Engelman y William Martin (Macsyma); Stephen Wolfram (Mathematica); MATLAB de Cleve Moler (1984)
- Personas
- 👤 Carl Engelman1929–1983👤 Joel Moses1941–2022👤 Stephen Wolfram1959–
- Ámbito
- Saber y símbolos
Qué es
Programas que manipulan símbolos matemáticos, integran, resuelven ecuaciones y grafican con exactitud. Transformaron la investigación matemática, la física y la ingeniería.
A qué dio paso
- La matemática experimental y la demostración asistida por computador
- La enseñanza de las matemáticas con calculadoras simbólicas
- Los asistentes de demostración (Coq, Lean) y la IA matemática
Se apoya en
- FORTRAN, primer lenguaje de alto nivel compilado1957
- LISP, lenguaje de procesamiento simbólico1958
- demostración del teorema de los cuatro colores (1976)
Hizo posible
- Asistentes de demostración (Coq, Lean) y matemáticas con IA (AlphaProof)1989-2024
- Lean y demostración formal
- Wolfram Alpha
- Jupyter y Python científico