Abstract is missing.
- A criterion for detecting unnecessary reductions in the construction of Groebner basesBruno Buchberger. 3-21
- Unification of commutative termsJörg H. Siekmann. 22
- Canonicity in rule systemsMichael R. Genesereth. 23-29
- A survey of symbolic computation in physics (invited)John Fitch. 30-41
- Progress towards a solution of the equivalence problem in general relativityAnders Karlhede, Jan E. Åman. 42-44
- Symbol calculus by symbolic computation and semi-classical expansionsA. Voros. 45-51
- An algorithm for the analytic evaluation of a class of integralsM. Caffo, E. Remiddi, S. Turrini. 52-57
- Fast computation of rational Hermite interpolants and solving Toeplitz system of equations via the extended Euclidean algorithmDavid Y. Y. Yun, Fred G. Gustavson. 58-64
- Approximate algorithms to derive exact solutions to systems of linear equationsRobert T. Moenck, John H. Carter. 65-73
- New recursive minor expansion algorithmsJ. Smit. 74-87
- Systems of algebraic equationsDaniel Lazard. 88-94
- On the van der Waerden criterion for the group of an equationHans Zassenhaus. 95-107
- Some computations relating to torsion points on elliptic curves over number fieldsH. Bartz, K. Fischer, H. G. Folz, Horst Günter Zimmer. 108-118
- The computerization of algebraic geometryJames H. Davenport. 119-133
- Algebraic extensions of arbitrary integral domainsJosh D. Cohen, David Y. Y. Yun. 134-139
- On unit computation in real quadratic number fieldsMichael Pohst, Hans Zassenhaus. 140-152
- An algebraic form of a solution of a system of linear differential equations with constant coefficientsEvelyne Tournier. 153-163
- Substitution methods for the automatic symbolic solution of differential equations of first order and first degreePeter Schmidt. 164-176
- A semi-numeric difference algorithmHatem M. Khalil, Dana L. Ulery. 177-188
- Convergence behavior of the Newton iteration for first order differential equationsKeith O. Geddes. 189-199
- Probabilistic algorithms for verification of polynomial identities (invited)Jacob T. Schwartz. 200-215
- Probabilistic algorithms for sparse polynomialsRichard Zippel. 216-226
- Non-modular computation of polynomial GCD s using trial divisionAnthony C. Hearn. 227-239
- Product of symmetric and anti-symmetric polynomialsA. Galli. 240
- Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited)Albert D. Rich, David R. Stoutemeyer. 241-248
- CAMAC 1979Jeffrey S. Leon, Vera Pless. 249-257
- The initial design of a vector based algebra systemA. C. Norman, P. M. A. Moore. 258-265
- Hashing, the key to rapid pattern matchingRichard M. Cowan, Martin L. Griss. 266-278
- A system for automatic generation of tensor algorithmsLars Hörnfeldt. 279-290
- Analysis of multivariate iterative and recursive P-adicPaul S. Wang. 291-300
- A cellular decomposition algorithm for semi-algebraic setsDennis S. Arnon. 301-315
- Gamma-algebra algorithms for canonical hyper complex representationsAlfred Woll. 316
- Factoring univariate integral polynomial in polynomial average timeGeorge E. Collins. 317-329
- Symbolic-Numeric Interface: a review (in absentia)Edward W. Ng. 330-345
- Solving systems of polynomial equations with floating-point coefficientsJ. A. van Hulzen. 346-357
- An arbitrary precision real arithmetic package in REDUCETateaki Sasaki. 358-368
- Symbolic manipulations in interval arithmetic problemsG. Caplat. 369-382
- An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluationDavid W. Matula, Peter Kornerup. 383-397
- Integration -- the dust settles? (invited)A. C. Norman, James H. Davenport. 398-407
- Integration of simple radical extensionsBarry M. Trager. 408-414
- Integration of algebraic functionsJames H. Davenport. 415-425
- An extension of Liouville s theoremJoel Moses, Richard Zippel. 426-430
- Integer matrices and Abelian groups (invited)George Havas, Leon Sterling. 431-451
- An algorithm for the computation of conjugacy classes and centralizes in p-groupsVolkmar Felsch, Joachim Neubuser. 452-465
- MODLISP -- an introduction (invited)Richard D. Jenks. 466-480
- Extending Interlisp for modularization and efficiencyDaniel G. Bobrow, L. Peter Deutsch. 481-489
- TLISP -- a Transportable LISP implemented in P-codeMartin L. Griss, Robert R. Kessler, Gerald Q. Maguire Jr.. 490-502
- Symbolic computing with compression of data structuresJ. A. Campbell, Simon. 503-513
- Design of algebraic data structures with the approach of abstract data typesGiorgio Ausiello, Giovanni Mascari. 514-530
- Matching under commutativityJörg H. Siekmann. 531-545
- gamma-Algebra algorithms for canonical hypercomplex representationsAlfred Woll. 546-557