Edward W. Ng (Ed.):
Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings.
Lecture Notes in Computer Science 72 Springer 1979, ISBN 3-540-09519-5
Simplification
Bruno Buchberger: A criterion for detecting unnecessary reductions in the construction of Groebner bases.
3-21
David Y. Y. Yun, Fred G. Gustavson: Fast computation of rational Hermite interpolants and solving Toeplitz system of equations via the extended Euclidean algorithm.
58-64
Robert T. Moenck, John H. Carter: Approximate algorithms to derive exact solutions to systems of linear equations.
65-73
J. Smit: New recursive minor expansion algorithms.
74-87
Daniel Lazard: Systems of algebraic equations.
88-94
Algebraic Fields
Hans Zassenhaus: On the van der Waerden criterion for the group of an equation.
95-107
Lars Hörnfeldt: A system for automatic generation of tensor algorithms.
279-290
Algorithm Analysis
Paul S. Wang: Analysis of multivariate iterative and recursive P-adic.
291-300
Dennis S. Arnon: A cellular decomposition algorithm for semi-algebraic sets.
301-315
Alfred Woll: Gamma-algebra algorithms for canonical hyper complex representations.
316
George E. Collins: Factoring univariate integral polynomial in polynomial average time.
317-329
Symbolic - Numeric Interface
Edward W. Ng: Symbolic-Numeric Interface: a review (in absentia).
330-345
J. A. van Hulzen: Solving systems of polynomial equations with floating-point coefficients.
346-357
Tateaki Sasaki: An arbitrary precision real arithmetic package in REDUCE.
358-368
G. Caplat: Symbolic manipulations in interval arithmetic problems.
369-382
David W. Matula, Peter Kornerup: An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation.
383-397
data released under the ODC-BY 1.0 license
