The Bath algebraic number package
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Computing with Formal Power Series
ACM Transactions on Mathematical Software (TOMS)
An arbitrary precision real arithmetic package in REDUCE
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
A Primer: 11 Keys to New Scratchpad
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
The definition and use of data structures in REDUCE
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Univariate power series expansions in algebraic manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algebraic factoring and rational function integration
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
The design of a language for algebraic computation systems
The design of a language for algebraic computation systems
The Bath algebraic number package
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Univariate power series expansions in REDUCE
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
We describe the methods available in the current REDUCE system for introducing new mathematical domains, and illustrate these by discussing several new domains that significantly increase the power of the overall system.