researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: ACM Comm. Computer Algebra
Home
Index
Info
Volume
Volume
17
, Issue
3-4
12
--
18
Andrzej Krasinski
.
ORTOCARTAN: a program for algebraic calculations in general relativity
19
--
20
Mark E. Stickel
.
A note on leftmost innermost term reduction
20
--
0
Franz Winkler
,
Bruno Buchberger
.
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm
21
--
24
Paul Smith
,
Leon Sterling
.
Of integration by man and machine
25
--
30
Michael J. Wester
,
Stanly L. Steinberg
.
An extension to MACSYMA's concept of functional differentiation
31
--
42
Bruce W. Char
,
Keith O. Geddes
,
Gaston H. Gonnet
.
The maple symbolic computation system
43
--
47
Salim S. Abi-Ezzi
.
Clarifications to the symbolic mode in REDUCE
48
--
49
Gaston 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
--
11
G. Belovari
.
Complex analysis in symbolic computing of some definite integrals
12
--
17
Thomas G. Berry
.
On Coates algorithm
18
--
25
Jacques Calmet
,
Ian Cohen
.
Synthesizing recurrence relations I: analysis of the problems
26
--
27
Dongyue Chen
.
Symbol manipulation and formula manipulation
28
--
32
Gary L. Ebert
.
Some comments on the modular approach to Gröbner-bases
Volume
17
, Issue
1
6
--
11
Florian Bundschuh
.
Global data flow analysis in Aldes
12
--
15
Attilio Colagrossi
,
Alfonso Miola
.
Computing real zeros of polynomials with parametric coefficients
16
--
20
Ben J. A. Hulshof
,
J. A. van Hulzen
.
Some reduce facilities for pretty printing subscripts and formal derivatives
21
--
25
Hans-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
--
27
Jed Marti
,
John P. Fitch
.
REDUCE 2 for CP/M
28
--
30
Arthur C. Norman
,
Paul S. Wang
.
A comparison of the Vaxima and Reduce factorization packages
31
--
37
P. D. Pearce
,
R. J. Hicks
.
Data structures and execution times of Algebraic mode programs for REDUCE
38
--
44
Fritz Schwarz
.
A reduce package for series analysis by Hadamard's Theorem and QD schemes