| |
Symposium
on Symbolic and Algebraic Manipulation >archive
Proceedings
of the 1976 ACM symposium on Symbolic and algebraic computation
1976 |
|
| |
Table of
Contents |
|
| |
|
|
| |
|
|
| |
On
determining the order of a group
John J. Cannon
Page: 1 > full text |
|
| |
| |
Calculating
presentations for certain kinds of quotient groups
M. F.
Newman
Pages: 2 - 8 > full text |
|
| |
| |
Collection
George Havas, Tim Nicholson
Pages: 9 -
14 > full text |
|
| |
| |
Polynomial
real root isolation by differentiation
George E. Collins,
Rüdiger Loos
Pages: 15 - 25 > full text |
|
| |
| |
On
square-free decomposition algorithms
David Y.Y. Yun
Pages: 26 - 35 > full text |
|
| |
| |
Algorithms
for Gaussian integer arithmetic
B. F. Caviness, G. E.
Collins
Pages: 36 - 45 > full text |
|
| |
| |
A
new REDUCE model for algebraic simplification
Anthony C.
Hearn
Pages: 46 - 52 > full text |
|
| |
| |
The
definition and use of data structures in REDUCE
Martin L.
Griss
Pages: 53 - 59 > full text |
|
| |
| |
A
pattern compiler
Richard D. Jenks
Pages: 60 -
65 > full text |
|
| |
| |
A
draft description of the group theory language Cayley
John J. Cannon
Pages: 66 - 84 > full text |
|
| |
| |
Recursive
programming through table look-up
Daniel P. Friedman,
David S. Wise, Mitchell Wand
Pages: 85 - 89 > full text |
|
| |
| |
Symbolic
evaluation of programs: a look at loop analysis
T. E.
Cheatham, J. A. Townley
Pages: 90 - 96 > full text |
|
| |
| |
Qualitative
analysis of mathematical expressions using computer symbolic mathematics
David R. Stoutemyer
Pages: 97 - 104 > full text |
|
| |
| |
Automatic
symbolic solution of differential equations of first order and first
degree
Peter Schmidt
Pages: 114 - 125
> full text |
|
| |
| |
Projective
representations for energy band calculations
Ray Head
Pages: 126 - 132 > full text |
|
| |
| |
Perturbation
calculations for the spin up problem using REDUCE
I.
Cohen, F. Bark
Pages: 133 - 135 > full text |
|
| |
| |
Practical
fast polynomial multiplication
Robert T. Moenck
Pages: 136 - 148 > full text |
|
| |
| |
Arithmetic
complexity of unordered sparse polynomials
F. Gustavson,
D. Y. Y. Yun
Pages: 149 - 153 > full text |
|
| |
| |
Hashing
LEMMAs on time complexities with applications to formula manipulation
Eiichi Goto, Yasumasa Kanada
Pages: 154 -
158 > full text |
|
| |
| |
Univariate
power series expansions in algebraic manipulation
Richard
E. Zippel
Pages: 198 - 208 > full text |
|
| |
| |
The
MACSYMA “big-floating-point” arithmetic system
Richard J.
Fateman
Pages: 209 - 213 > full text |
|
| |
| |
Interval
arithmetic applied to polynomial remainder sequences
James R. Pinkert
Pages: 214 - 218 > full text |
|
| |
| |
Algebraic
factoring and rational function integration
Barry M.
Trager
Pages: 219 - 226 > full text |
|
| |
| |
Some
problems about polynomials
Maurice Mignotte
Pages: 227 - 228 > full text |
|
| |
| |
Using
basis computation to determine pseudo-multiplicative independence
H. I. Epstein
Pages: 229 - 237 > full text |
|
| |
| |
On
the sign of a real algebraic number
Siegfried Rump
Pages: 238 - 241 > full text |
|
| |
| |
Algorithms
for symmetrical polynomials
Emi Lauer
Pages:
242 - 247 > full text |
|
| |
| |
Algebraic
algorithms using p-adic constructions
David Y. Y. Yun
Pages: 248 - 259 > full text |
|
| |
| |
Newton's
method: a great algebraic algorithm
John D. Lipson
Pages: 260 - 270 > full text |
|
| |
| |
On
the subresultant PRS algorithm
W. S. Brown
Page: 271 > full text |
|
| |
| |
Polynomial
real root isolation using Descarte's rule of signs
George
E. Collins, Alkiviadis G. Akritas
Pages: 272 - 275 > full text |
|
| |
| |
The
aliquot project: an application of job chaining in number theoretic
computing
M. C. Wunderlich
Pages: 276 -
284 > full text |
|
| |
| |
Generalization
of Manin's conditional algorithm
Horst G. Zimmer
Pages: 285 - 299 > full text |
|
| |
| |
Computers
in the study of Lie algebras
Bernard Kolman, Robert E.
Beck
Pages: 300 - 311 > full text |
|
| |
| |
Computational
techniques and the structure of groups in a certain class
C. M. Campbell
Pages: 312 - 321 > full text |
|
| |
| |
The
computation and application of vector congruence classes
Zavdi L. Lichtman
Pages: 322 - 328 > full text |
|
| |
| |
Simplification
of radical expressions
B. F. Caviness, R. J. Fateman
Pages: 329 - 338 > full text |
|
| |
| |
Canonical
representatives for residue classes of a polynomial ideal
Markus Lauer
Pages: 339 - 345 > full text |
|
| |
| |
Taking
advantage of zero entries in the exact inverse of sparse matrices
Paul S. Wang, Tadatoshi Minamikawa
Pages: 346
- 350 > full text |
|
| |
| |
Completing
nth powers of polynomials
Barry M. Trager, David Y.Y. Yun
Pages: 351 - 355 > full text |
|
| |
| |
A
polynomial decomposition algorithm
David R. Barton,
Richard E. Zippel
Pages: 356 - 358 > full text |
|
| |
| |
ASHMEDAI
and a large algebraic problem
M. J. Levine, R. Roskies
Pages: 359 - 364 > full text |
|
| |
| |
An
approach to automatic asymptotic expansions
Richard J.
Fateman
Pages: 365 - 371 > full text |
|
| |
| |
A
study of alternative methods for the symbolic calculation of elliptic
integrals
Edward W. Ng, Desanka Polajnar
Pages: 372 - 376 > full text |
|
| |
| |
Symbolic/numeric
algorithms for partial differential equations
Dana L.
Ulery, Hatem M. Khalil
Pages: 377 - 381 > full text |
|
| |
| |
Use
of symbolic and numeric methods in an algorithm for the approximation of
multivariate functions
David K. Kahaner, Mark B. Wells
Pages: 382 - 384 > full text |
|
| |
