Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
The integration of a class of special functions with the Risch algorithm
ACM SIGSAM Bulletin
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Algebraic simplification: a guide for the perplexed
Communications of the ACM
IEEE Transactions on Knowledge and Data Engineering
Machine-made analytic solutions of finite state Markov processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
Application of MACSYMA to an asymptotic expansion problem
ACM '72 Proceedings of the ACM annual conference - Volume 2
Symbolic mathematical computation—introduction and overview
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Proceedings of the ACM SIGPLAN symposium on Very high level languages
ACM '75 Proceedings of the 1975 annual conference
ACM '75 Proceedings of the 1975 annual conference
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
ACM SIGSAM Bulletin
Rationally simplifying non-rational expressions
ACM SIGSAM Bulletin
| Hi-index | 0.02 |
MATHLAB 68 is an on-line system providing machine aid for the mechanical symbolic processes encountered in analysis. It is capable of performing, automatically and symbolically, such common procedures as differentiation, polynomial factorization, indefinite integration, direct and inverse Laplace transforms, and the solution of linear differential equations with constant (symbolic) coefficients. We discuss its interactive nature and its range of services which extends from ignorant bookkeeper to, on occasion, expert problem solver. We also describe the internal data representations and algorithms of the system. The paper regards the system as a fixed object and explores its accomplishments, its contributions to future systems, the motivation and consequences of the major decisions made during its development and, perhaps most important of all, its weaknesses.