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
8
, Issue
4
11
--
0
John P. Fitch
.
Problem #8: random walk
12
--
13
James H. Griesmer
,
Richard D. Jenks
.
A solution to problem #4: the lie transform
14
--
25
John P. Fitch
.
A solution of problem #3 using CAMAL
26
--
0
John P. Fitch
.
A simple method of taking nth roots of integers
27
--
32
David Y. Y. Yun
.
A p-adic division with remainder algorithm
Volume
8
, Issue
3
1
--
8
Yngve Sundblad
.
Symbolic mathematical systems now and in the future
9
--
16
Rüdiger G. K. Loos
.
Toward a formal implementation of computer algebra
17
--
23
Knut Bahr
,
Jaap Smit
.
Tuning an algebraic manipulation system through measurements
24
--
25
Nisse Husberg
,
Jouko J. Seppänen
.
ANALITIK: principal features of the language and its implementation
26
--
34
W. S. Brown
.
On computing with factored rational expressions
35
--
45
Andrew D. Hall Jr.
.
Factored rational expressions in ALTRAN
46
--
54
Alfonso Miola
,
David Y. Y. Yun
.
Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms
55
--
60
H. Strubbe
.
Presentation of the SCHOONSCHIP system
61
--
62
W. Morven Gentleman
.
Experience with truncated power series
63
--
71
Stephen C. Johnson
.
Sparse polynomial arithmetic
72
--
73
Dorothea A. Klip
.
Different polynomial representations and their interaction in the portable algebra system PORT-ALG
74
--
75
Jacques Calmet
.
Computer recognition of divergences in Feynman diagrams
76
--
77
Inge Frick
.
A non-numerical computation involving sums of many products of finite rotation matrices for spin 3/2
78
--
79
H. Ian Cohen
.
A perturbation calculation in general relativity
80
--
90
George E. Collins
.
Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report
91
--
95
Dennis Weeks
.
Formal representations for algebraic numbers
96
--
98
Pierre Verbaeten
.
The automatic construction of pure recurrence relations
99
--
102
Edward W. Ng
.
Symbolic integration of a class of algebraic functions
103
--
104
Alfonso Miola
.
The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin method
105
--
110
Joel Moses
.
MACSYMA - the fifth year
Volume
8
, Issue
2
12
--
36
Arthur D. Hall
,
Stephen C. Johnson
.
ALTRAN programs for SIGSAM problem #6
14
--
16
Richard J. Fateman
,
Joel Moses
,
Paul Wang
.
Solution to problem #7 using MACSYMA
17
--
19
George E. Collins
,
David R. Musser
,
Michael Rothstein
.
SAC-1 solution of problem #7
20
--
30
Richard D. Jenks
.
The SCRATCHPAD language
31
--
36
Jaap Smit
.
Introduction to NETFORM
Volume
8
, Issue
1
2
--
3
J. Denbigh Starkey
.
A solution to Kiang's problem #6
4
--
0
Stephen C. Johnson
,
Ronald L. Graham
.
Problem #7
5
--
7
J. A. van Hulzen
.
FORMAC today, or what can happen to an orphan
8
--
9
David Barton
,
John P. Fitch
.
Algebraic manipulation in Cambridge
10
--
16
Knut A. Bahr
.
Toward a revision of FORMAC