Enlarging the REDUCE domain of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A polymorphic functional language applied to symbolic computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An object-oriented language for symbolic computation—applied to machine element analysis
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
IEEE Transactions on Knowledge and Data Engineering
Taylor series solutions of explicit ODE's in a strongly typed algebra system
ACM SIGSAM Bulletin
Hi-index | 0.00 |