EUROSAM 1979: Marseille, France

@proceedings{DBLP:conf/eurosam/1979,
  editor    = {Edward W. Ng},
  title     = {Symbolic and Algebraic Computation, EUROSAM '79, An International
               Symposiumon Symbolic and Algebraic Computation, Marseille, France,
               June 1979, Proceedings},
  booktitle = {EUROSAM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {72},
  year      = {1979},
  isbn      = {3-540-09519-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Simplification

• Bruno Buchberger: A criterion for detecting unnecessary reductions in the construction of Groebner bases. 3-21 BibTeX
• Jörg H. Siekmann: Unification of commutative terms. 22 BibTeX
• Michael R. Genesereth: Canonicity in rule systems. 23-29 BibTeX

Applications in Physics

• John Fitch: A survey of symbolic computation in physics (invited). 30-41 BibTeX
• Anders Karlhede, Jan E. Åman: Progress towards a solution of the equivalence problem in general relativity. 42-44 BibTeX
• A. Voros: Symbol calculus by symbolic computation and semi-classical expansions. 45-51 BibTeX
• M. Caffo, E. Remiddi, S. Turrini: An algorithm for the analytic evaluation of a class of integrals. 52-57 BibTeX

Matrices and Equations

• 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 BibTeX
• Robert T. Moenck, John H. Carter: Approximate algorithms to derive exact solutions to systems of linear equations. 65-73 BibTeX
• J. Smit: New recursive minor expansion algorithms. 74-87 BibTeX
• Daniel Lazard: Systems of algebraic equations. 88-94 BibTeX

Algebraic Fields

• Hans Zassenhaus: On the van der Waerden criterion for the group of an equation. 95-107 BibTeX
• H. Bartz, K. Fischer, H. G. Folz, Horst Günter Zimmer: Some computations relating to torsion points on elliptic curves over number fields. 108-118 BibTeX
• James H. Davenport: The computerization of algebraic geometry. 119-133 BibTeX
• Josh D. Cohen, David Y. Y. Yun: Algebraic extensions of arbitrary integral domains. 134-139 BibTeX
• Michael Pohst, Hans Zassenhaus: On unit computation in real quadratic number fields. 140-152 BibTeX

Differential Equations

• Evelyne Tournier: An algebraic form of a solution of a system of linear differential equations with constant coefficients. 153-163 BibTeX
• Peter Schmidt: Substitution methods for the automatic symbolic solution of differential equations of first order and first degree. 164-176 BibTeX
• Hatem M. Khalil, Dana L. Ulery: A semi-numeric difference algorithm. 177-188 BibTeX
• Keith O. Geddes: Convergence behavior of the Newton iteration for first order differential equations. 189-199 BibTeX

Polynomial Algorithms

• Jacob T. Schwartz: Probabilistic algorithms for verification of polynomial identities (invited). 200-215 BibTeX
• Richard Zippel: Probabilistic algorithms for sparse polynomials. 216-226 BibTeX
• Anthony C. Hearn: Non-modular computation of polynomial GCD's using trial division. 227-239 BibTeX
• A. Galli: Product of symmetric and anti-symmetric polynomials. 240 BibTeX

Systems

• Albert D. Rich, David R. Stoutemeyer: Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited). 241-248 BibTeX
• Jeffrey S. Leon, Vera Pless: CAMAC 1979. 249-257 BibTeX
• A. C. Norman, P. M. A. Moore: The initial design of a vector based algebra system. 258-265 BibTeX
• Richard M. Cowan, Martin L. Griss: Hashing, the key to rapid pattern matching. 266-278 BibTeX
• Lars Hörnfeldt: A system for automatic generation of tensor algorithms. 279-290 BibTeX

Algorithm Analysis

• Paul S. Wang: Analysis of multivariate iterative and recursive P-adic. 291-300 BibTeX
• Dennis S. Arnon: A cellular decomposition algorithm for semi-algebraic sets. 301-315 BibTeX
• Alfred Woll: Gamma-algebra algorithms for canonical hyper complex representations. 316 BibTeX
• George E. Collins: Factoring univariate integral polynomial in polynomial average time. 317-329 BibTeX

Symbolic - Numeric Interface

• Edward W. Ng: Symbolic-Numeric Interface: a review (in absentia). 330-345 BibTeX
• J. A. van Hulzen: Solving systems of polynomial equations with floating-point coefficients. 346-357 BibTeX
• Tateaki Sasaki: An arbitrary precision real arithmetic package in REDUCE. 358-368 BibTeX
• G. Caplat: Symbolic manipulations in interval arithmetic problems. 369-382 BibTeX
• David W. Matula, Peter Kornerup: An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation. 383-397 BibTeX

Integration

• A. C. Norman, James H. Davenport: Integration -- the dust settles? (invited). 398-407 BibTeX
• Barry M. Trager: Integration of simple radical extensions. 408-414 BibTeX
• James H. Davenport: Integration of algebraic functions. 415-425 BibTeX
• Joel Moses, Richard Zippel: An extension of Liouville's theorem. 426-430 BibTeX

Applied Algebra

• George Havas, Leon Sterling: Integer matrices and Abelian groups (invited). 431-451 BibTeX
• Volkmar Felsch, Joachim Neubuser: An algorithm for the computation of conjugacy classes and centralizes in p-groups. 452-465 BibTeX

Languages and Designs

• Richard D. Jenks: MODLISP -- an introduction (invited). 466-480 BibTeX
• Daniel G. Bobrow, L. Peter Deutsch: Extending Interlisp for modularization and efficiency. 481-489 BibTeX
• Martin L. Griss, Robert R. Kessler, Gerald Q. Maguire Jr.: TLISP -- a Transportable LISP implemented in P-code. 490-502 BibTeX
• J. A. Campbell, Simon: Symbolic computing with compression of data structures. 503-513 BibTeX
• Giorgio Ausiello, Giovanni Mascari: Design of algebraic data structures with the approach of abstract data types. 514-530 BibTeX
• Jörg H. Siekmann: Matching under commutativity. 531-545 BibTeX
• Alfred Woll: gamma-Algebra algorithms for canonical hypercomplex representations. 546-557 BibTeX