The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Journal of the ACM (JACM)
The Altran system for rational function manipulation — a survey
Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Symbolic integration: the stormy decade
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
ACM '73 Proceedings of the ACM annual conference
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the use of syntax-based translators for symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Symbolic mathematical systems now and in the future
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
Course outline: Yale University, New Haven
ACM SIGSAM Bulletin
Symbolic mathematical computation in a Ph.D. Computer Science program
ACM SIGSAM Bulletin
Hi-index | 0.01 |
The impact of high-speed computers on the scientific community over the past 25 years has been well documented. Their successful use for numerical computations in a number of areas of engineering and the sciences was followed by an interest in their being employed for 'literal' or symbolic computations. Problems in celestial mechanics, mathematics, and theoretical physics already pointed to the desirability of having such a capability. A number of systems for symbolic computation began to appear in the early 1960's. By 1965, sufficient interest in this area had developed to warrant the formation by the Association for Computing Machinery of the ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). During the next ten years, the field exhibited considerable growth as some of these early systems were revised, additional systems were introduced, and new symbolic capabilities were implemented. This has led to an ever-increasing use of symbolic computation on a wide variety of applications.