Journal: ACM Comm. Computer Algebra

Volume 17, Issue 3-4

12 -- 18Andrzej Krasinski. ORTOCARTAN: a program for algebraic calculations in general relativity
19 -- 20Mark E. Stickel. A note on leftmost innermost term reduction
20 -- 0Franz Winkler, Bruno Buchberger. A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm
21 -- 24Paul Smith, Leon Sterling. Of integration by man and machine
25 -- 30Michael J. Wester, Stanly L. Steinberg. An extension to MACSYMA's concept of functional differentiation
31 -- 42Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet. The maple symbolic computation system
43 -- 47Salim S. Abi-Ezzi. Clarifications to the symbolic mode in REDUCE
48 -- 49Gaston H. Gonnet, Bruce W. Char, Keith O. Geddes. Solution of a general system of equations

Volume 17, Issue 2

1 -- 5. Chairman's column
6 -- 11G. Belovari. Complex analysis in symbolic computing of some definite integrals
12 -- 17Thomas G. Berry. On Coates algorithm
18 -- 25Jacques Calmet, Ian Cohen. Synthesizing recurrence relations I: analysis of the problems
26 -- 27Dongyue Chen. Symbol manipulation and formula manipulation
28 -- 32Gary L. Ebert. Some comments on the modular approach to Gröbner-bases

Volume 17, Issue 1

6 -- 11Florian Bundschuh. Global data flow analysis in Aldes
12 -- 15Attilio Colagrossi, Alfonso Miola. Computing real zeros of polynomials with parametric coefficients
16 -- 20Ben J. A. Hulshof, J. A. van Hulzen. Some reduce facilities for pretty printing subscripts and formal derivatives
21 -- 25Hans-Günther Kruse, Karin Ohlsen. About the realization of an extended, but really interactive reduce by integration of a small editing and executing system
26 -- 27Jed Marti, John P. Fitch. REDUCE 2 for CP/M
28 -- 30Arthur C. Norman, Paul S. Wang. A comparison of the Vaxima and Reduce factorization packages
31 -- 37P. D. Pearce, R. J. Hicks. Data structures and execution times of Algebraic mode programs for REDUCE
38 -- 44Fritz Schwarz. A reduce package for series analysis by Hadamard's Theorem and QD schemes