Macsyma: A personal history

DOI10.1016/j.jsc.2010.08.018zbMath1231.68291OpenAlexW2304975786WikidataQ55919082 ScholiaQ55919082MaRDI QIDQ655565

Joel Moses

Publication date: 4 January 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.08.018

zbMATH Keywords

artificial intelligencecomputer algebra systemsgcd\texttt{Maple}\texttt{Macsyma}LISP

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General topics in the theory of software (68N01)

Related Items

Facilitating the Calculation of the Efficient Score Using Symbolic Computing, Changing assessment methods: new rules, new roles, Using Fourier series to analyse mass imperfections in vibratory gyroscopes, Improving CAS capabilities: new rules for computing improper integrals, Overview of the Mathemagix Type System, MACSYMA, Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective

Uses Software

• IBM Scratchpad
• Maple
• REDUCE
• ALGOL 60
• SCHOONSCHIP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Factoring Multivariate Polynomials Over the Integers
• An extension to ALGOL for manipulating formulae
• Polynomial Remainder Sequences and Determinants
• Some undecidable problems involving elementary functions of a real variable
• The Problem of Integration in Finite Terms
• The solution of the problem of integration in finite terms
• Algebraic simplification
• On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
• Symbolic integration
• Towards a general theory of special functions