EUROSAM 1984: Cambridge, England, UK

John Fitch (Ed.): EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings. Lecture Notes in Computer Science 174 Springer 1984, ISBN 3-540-13350-X BibTeX

@proceedings{DBLP:conf/eurosam/1984,
  editor    = {John Fitch},
  title     = {EUROSAM 84, International Symposium on Symbolic and Algebraic
               Computation, Cambridge, England, July 9-11, 1984, Proceedings},
  booktitle = {EUROSAM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {174},
  year      = {1984},
  isbn      = {3-540-13350-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Differential Equations

Jean Della Dora, Evelyne Tournier: Homogeneous Linear Difference Equation (Frobenius - Boole Method). 2-12 BibTeX
Shunro Watanbe: An Experiment Toward a General Quadrature for Second Order Linear Ordinary Differential Equations by Symbolic Computation. 13-22 BibTeX
Nikolaos Glinos, B. David Saunders: Operational Calculus Technique for Solving Differential Equations. 23-34 BibTeX

Applications 1

G. Cesareo, R. Marino: On the Application of Symbolic Computation to Nonlinear Control Theory. 35-46 BibTeX
Jan E. Åman, R. A. d'Inverno, G. C. Joly, Malcolm A. H. MacCallum: Quartic Equations and Algorithms for Riemann Tensor Classification. 47-58 BibTeX
Ralph W. Wilkerson: Symbolic Computation and the Dirichlet Problem. 59-63 BibTeX

Simplification and Algorithm Implementations

Guy Viry: Simplification of Polynomials in n Variables. 64-73 BibTeX
Marisa Navarro, Fernando Orejas: On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. 74-85 BibTeX
Paul S. Wang: Implementation of a p-adic Package for Polynomial Factorization and Other Related Operations. 86-99 BibTeX

Algebraic Number Computation

Claire Dicrescenzo, Dominique Duval: Computations on Curves. 100-107 BibTeX
Thomas G. Berry: Detecting Torsion Divisors on Curves of Genus 2. 108-114 BibTeX
H. Najid-Zejli: Computation in Radical Extensions. 115-122 BibTeX

Languages for Symbolic Computing

Richard D. Jenks: A Primer: 11 Keys to New Scratchpad. 123-147 BibTeX
John Fitch, Julian A. Padget: A Pure and Really Simple Initial Functional Algebraic Language. 148-158 BibTeX

Groebner Basis Algorithms

Marc Giusti: Some Effectivity Problems in Polynomial Ideal Theory. 159-171 BibTeX
H. Michael Möller, Ferdinando Mora: Upper and Lower Bounds for the Degree of Groebner Bases. 172-183 BibTeX
Franz Winkler: On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. 184-194 BibTeX
Abdelilah Kandri-Rody, Deepak Kapur: Algorithms for Computing Groebner Bases of Polynomial Ideals over Various Euclidean Rings. 195-206 BibTeX

Computational Group Theory

Robert H. Gilman: Computations with Rational Subsets of Confluent Groups. 207-212 BibTeX
Jeffrey S. Leon: CAMAC2: A Portable System for Combinatorial and Algebraic Computation. 213-224 BibTeX
Susan Landau: Polynomial Time Algorithms for Galois Groups. 225-236 BibTeX

Applications 2

Paul S. Wang, T. Y. P. Chang, J. A. van Hulzen: Code Generation and Optimization for Finite Element Analysis. 237-247 BibTeX
Stephen R. Czapor, Keith O. Geddes: A Comparison of Algorithms for the Symbolic Computation of Padé Approximants. 248-259 BibTeX
Ben J. A. Hulshof, J. A. van Hulzen: Automatic Error Cumulation Control. 260-271 BibTeX

Factorization and GCD Computations

Arjen K. Lenstra: Polynomial Factorization by Root Approximation. 272-276 BibTeX
Erich Kaltofen: Effective Hilbert Irreducibility. 277-284 BibTeX
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet: GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation. 285-296 BibTeX
Denis Lugiez: A New Lifting Process for the Multivariate Polynomial Factorization. 297-309 BibTeX

Number Theory Algorithms

Erich Kaltofen, Noriko Yui: Explicit Construction of the Hilbert Class Fields of Imaginary Quadratic Fields with Class Numbers 7 and 11. 310-320 BibTeX
Ming-Deh A. Huang: On a Simple Primality Testing Algorithm. 321-332 BibTeX
Johannes Buchmann: A Criterion for the Equivalence of Two Ideals. 333-340 BibTeX

Integration

James H. Davenport: y'+ fy = g. 341-350 BibTeX
Guy W. Cherry, B. F. Caviness: Integration in Finite Terms with Special Functions: A Progress Report. 351-358 BibTeX
Erich Kaltofen: A Note on the Risch Differential Equation. 359-366 BibTeX

Solution of Equations

Klaus Thull: Approximation by Continued Fraction of a Polynomial Real Root. 367-377 BibTeX
Maurice Mignotte: On the Automatic Resolution of Certain Diophantine Equations. 378-385 BibTeX
Michael Rothstein: On Pseudo-Resultante. 386-396 BibTeX