论文信息 - Enlarging the REDUCE domain of computation

Enlarging the REDUCE domain of computation

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.

Julian Padget | Russell J. Bradford | Eberhard Schrüfer | Anthony C. Hearn

[1] Steven Harrington,et al. Infinite power series , 1980, Softw. Pract. Exp..

[2] Tateaki Sasaki. An arbitrary precision real arithmetic package in REDUCE , 1979, EUROSAM.

[3] Martin L. Griss. The definition and use of data structures in REDUCE , 1976, SYMSAC '76.

[4] A. C. Norman,et al. Computing with Formal Power Series , 1975, TOMS.

[5] James H. Davenport,et al. The Bath algebraic number package , 1986, SYMSAC '86.

[6] Peter Kornerup,et al. Finite Precision Rational Arithmetic: Slash Number Systems , 1983, IEEE Transactions on Computers.

[7] Kurt Siegfried Kölbig,et al. Reduce procedures for the manipulation of generalized power series , 1986 .

[8] James H. Davenport,et al. On the Integration of Algebraic Functions , 1979, Lecture Notes in Computer Science.

[9] Richard Zippel. Univariate power series expansions in algebraic manipulation , 1976, SYMSAC '76.

[10] Richard D. Jenks,et al. A Primer: 11 Keys to New Scratchpad , 1984, Symbolic and Algebraic Computation.

[11] Anthony C. Hearn. A mode analyzing algebraic manipulation program , 1974, ACM '74.

[12] John Keith Foderaro. The design of a language for algebraic computation systems , 1983 .

[13] Barry M. Trager,et al. Algebraic factoring and rational function integration , 1976, SYMSAC '76.