A system for the solution of initial and two-point boundary value problems
ACM '72 Proceedings of the ACM annual conference - Volume 2
The design of the Cambridge algebra system
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Experience with truncated power series
ACM SIGSAM Bulletin
Enlarging the REDUCE domain of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Formal solutions of differential equations
Journal of Symbolic Computation
Univariate power series expansions in REDUCE
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Fast Algorithms for Manipulating Formal Power Series
Journal of the ACM (JACM)
Symbolic Computation of Padé Approximants
ACM Transactions on Mathematical Software (TOMS)
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Journal of Symbolic Computation
Newton's method: a great algebraic algorithm
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
ACM '75 Proceedings of the 1975 annual conference
A note on the complexity of algebraic differentiation
ACM SIGSAM Bulletin
ACM Communications in Computer Algebra
ACM Communications in Computer Algebra
| Hi-index | 0.00 |