The fifth generation: artificial intelligence and Japan's computer challenge to the world
The fifth generation: artificial intelligence and Japan's computer challenge to the world
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Journal of the ACM (JACM)
Towards a general theory of special functions
Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
An extension to ALGOL for manipulating formulae
Communications of the ACM
Probabilistic algorithms for sparse polynomials
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
ACM '73 Proceedings of the ACM annual conference
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
A language and system for symbolic algebra on a digital computer
SYMSAC '66 Proceedings of the first ACM symposium on Symbolic and algebraic manipulation
ACM SIGSAM Bulletin
Interfacing mathemagix with C++
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Changing assessment methods: New rules, new roles
Journal of Symbolic Computation
Using Fourier series to analyse mass imperfections in vibratory gyroscopes
Journal of Symbolic Computation
Hi-index | 0.00 |
The Macsyma system arose out of research on mathematical software in the AI group at MIT in the 1960s. Algorithm development in symbolic integration and simplification arose out of the interest of people, such as the author, who were also mathematics students. The later development of algorithms for the GCD of sparse polynomials, for example, arose out of the needs of our user community. During various times in the 1970s the computer on which Macsyma ran was one of the most popular nodes on the ARPANET. We discuss the attempts in the late 70s and the 80s to develop Macsyma systems that ran on popular computer architectures. Finally, we discuss the impact of the fundamental ideas in Macsyma on the author's current research on large scale engineering and socio-technical systems.