Symbolic-Numeric Interface: a review (in absentia)

Using a small algebraic manipulation system to solve differential and integral equations by variational and approximation techniques

Journal of Symbolic Computation

Automatic reasoning about numerical stability of rational expressions

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation

SENAC: a high-level interface for the NAG library

ACM Transactions on Mathematical Software (TOMS)

Automatic generation of finite difference equations and fourier stability analyses

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

Breuer's grow factor algorithm in computer algebra

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

LISP-based "big-float" system is not slow

ACM SIGSAM Bulletin