| |
Symposium
on Symbolic and Algebraic Manipulation >archive
Proceedings
of the second symposium on Symbolic and algebraic manipulation
1971 |
|
| |
Table of
Contents |
|
| |
|
|
| |
|
|
| |
Symbolic
mathematical computation—introduction and overview
Robert
G. Tobey
Pages: 1 - 16 > full text |
|
| |
| |
Applications
of symbol manipulation in theoretical physics
Anthony C.
Hearn
Pages: 17 - 21 > full text |
|
| |
| |
On
the construction of general purpose programs for studying finite groups
John Cannon
Page: 22 > full text |
|
| |
| |
Computation
with permutation groups
Charles C. Sims
Pages:
23 - 28 > full text |
|
| |
| |
The
legacy of MATHLAB 68
Carl Engelman
Pages: 29 -
41 > full text |
|
| |
| |
SCRATCHPAD/1:
An interactive facility for symbolic mathematics
J. H.
Griesmer, R. D. Jenks
Pages: 42 - 58 > full text |
|
| |
| |
The
MACSYMA system
W. A. Martin, R. J. Fateman
Pages: 59 - 75 > full text |
|
| |
| |
A
graphical approach to coset enumeration
Lucien A. Dimino
Page: 76 > full text |
|
| |
| |
Some
applications of group theoretical programs
Joachim
Neubüser
Page: 77 > full text |
|
| |
| |
Computer
input/output of mathematical expressions
William A.
Martin
Pages: 78 - 89 > full text |
|
| |
| |
A
conversational system for engineering assistance: Aladin
Yvon Siret
Pages: 90 - 99 > full text |
|
| |
| |
A
comment on the recognition of hand-printed two-dimensional mathematical
expressions
Robert H. Anderson
Pages: 100 -
101 > full text |
|
| |
| |
Computer
input/output of two-dimensional notations
Morton I.
Bernstein
Pages: 102 - 103 > full text |
|
| |
| |
Groups
and subgroups, presentations and representations
John
McKay
Page: 104 > full text |
|
| |
| |
The
PL/I-FORMAC Interpreter
John Xenakis
Pages:
105 - 114 > full text |
|
| |
| |
IAM,
a system for interactive algebraic manipulation
Carlos
Christensen, Michael Karr
Pages: 115 - 127 > full text |
|
| |
| |
REDUCE
2: A system and language for algebraic manipulation
Anthony C. Hearn
Pages: 128 - 133 > full text |
|
| |
| |
The
design of the Cambridge algebra system
S. R. Bourne, J.
R. Horton
Pages: 134 - 143 > full text |
|
| |
| |
The
SAC-1 system: An introduction and survey
George E.
Collins
Pages: 144 - 152 > full text |
|
| |
| |
The
ALTRAN system for rational function manipulation - a survey
Andrew D. Hall
Pages: 153 - 157 > full text |
|
| |
| |
The
design of a language for the development of group theoretic programs
John Cannon, Lucien A. Dimino
Page:
158 > full text |
|
| |
| |
Permutation
representations and the subgroup lattice
John D. Dixon
Pages: 159 - 161 > full text |
|
| |
| |
Some
computations involving simple Lie algebras
N. Burgoyne,
C. Williamson
Pages: 162 - 171 > full text |
|
| |
| |
Computers
and computations in algebraic number theory
Horst G.
Zimmer
Pages: 172 - 179 > full text |
|
| |
| |
Numerical
methods for reduction of group representations
John R.
Gabriel
Pages: 180 - 182 > full text |
|
| |
| |
Applications
of coset enumeration
John Grover, Lawrence A. Rowe,
Darrell Wilson
Pages: 183 - 187 > full text |
|
| |
| |
Modular
arithmetic and finite field theory: A tutorial
E.
Horowitz
Pages: 188 - 194 > full text |
|
| |
| |
On
Euclid's algorithm and the computation of polynomial greatest common
divisors
W. S. Brown
Pages: 195 - 211
> full text |
|
| |
| |
The
calculation of multivariate polynomial resultants
George
E. Collins
Pages: 212 - 222 > full text |
|
| |
| |
Factoring
polynomials over large finite fields*
E. R. Berlekamp
Page: 223 > full text |
|
| |
| |
On
the use of syntax-based translators for symbolic and algebraic
manipulation
S. R. Petrick
Pages: 224 -
237 > full text |
|
| |
| |
Some
examples of the use of function-producing functions
W. H.
Burge
Pages: 238 - 241 > full text |
|
| |
| |
List-tracing
in systems allowing multiple cell-types
Robert R.
Fenichel
Pages: 242 - 247 > full text |
|
| |
| |
An
introduction to AMBIT/L, a diagrammatic language for list processing
Carlos Christensen
Pages: 248 - 260 > full text |
|
| |
| |
The
treet time sharing system
H. A. Bayard, C. T. Browne, L.
N. Gross, E. C. Haines
Pages: 261 - 267 > full text |
|
| |
| |
An
interactive system for proving theorems in the predicate calculus
Jacques Cohen, Ann Rubin
Pages: 268 -
280 > full text |
|
| |
| |
META
LISP and META PLUS:: Tools for rapidly implementing extendable language
translators
R. D. Jenks
Page: 281 > full text |
|
| |
| |
Algebraic
simplification a guide for the perplexed
Joel Moses
Pages: 282 - 304 > full text |
|
| |
| |
Determining
the equivalence of algebraic expressions by hash coding
William A. Martin
Pages: 305 - 310 > full text |
|
| |
| |
The
user-level semantic matching capability in MACSYMA
Richard J. Fateman
Pages: 311 - 323 > full text |
|
| |
| |
On
the problem of recognizing zero
S. C. Johnson
Pages: 324 - 327 > full text |
|
| |
| |
Automated
algebraic manipulation in Celestial Mechanics
William H.
Jefferys
Pages: 328 - 331 > full text |
|
| |
| |
An
application of formac to the Computation of coverage functions
Samuel D. Oman
Pages: 332 - 341 > full text |
|
| |
| |
Lunar
ephemeris: De Launay's theory revisited
Andre Deprit,
Jacques Henrard, Arnold Rom
Page: 342 > full text |
|
| |
| |
General
Relativity and the application of algebraic manipulative systems
D. Barton, J. P. Fitch
Pages: 343 -
348 > full text |
|
| |
| |
Semi-symbolic
methods in partial differential equations
Cleve B. Moler
Pages: 349 - 351 > full text |
|
| |
| |
Symbolic
algebra in theoretical seismology
E. Nyland, C. H.
Chapman
Pages: 352 - 364 > full text |
|
| |
| |
Evaluation
of high-order polynomial triangular finite elements using FORMAC
N. Chepurniy
Pages: 365 - 371 > full text |
|
| |
| |
Chinese
remainder and interpolation algorithms
John D. Lipson
Pages: 372 - 391 > full text |
|
| |
| |
Exact
solution of linear equations
Stanley Cabay
Pages: 392 - 398 > full text |
|
| |
| |
The
exact solution of systems of linear equations with polynomial coefficients
Michael T. McClellan
Pages: 399 - 414
> full text |
|
| |
| |
Integer
arithmetic algorithms for polynomial real zero determination
Lee E. Heindel
Pages: 415 - 426 > full text |
|
| |
| |
Symbolic
integration the stormy decade
Joel Moses
Pages: 427 - 440 > full text |
|
| |
| |
Algorithms
for partial fraction decomposition and rational function integration
Ellis Horowitz
Pages: 441 - 457 > full text |
|
| |
| |
Automatic
computation of limits
Paul S. Wang
Pages: 458
- 464 > full text |
|
| |
