EUROCAM

Keyphrases

Publications

1982

Marc Bergman
Algebraic Specifications: Constructive Methodology in Logic Programming. EUROCAM (1982)
Jacques Calmet, Rüdiger Loos
Deterministic Versus Probabilistic Factorization of Integral Polynomials. EUROCAM (1982)
Françoise Lamnabhi-Lagarrigue, M. Lamnabhi
Algebraic Computation of the Solution of Some NonLinear Differential Equations. EUROCAM (1982)
David K. Probst, Vangalur S. Alagar
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. EUROCAM (1982)
Anthony C. Hearn
REDUCE - A Case Study in Algebra System Development. EUROCAM (1982)
Daniel Claude, Pierre Dufresne
An Application of MACSYMA to Nonlinear Systems Decoupling. EUROCAM (1982)
Z. Lomecky
Algorithms for the Computation of Free Lattices. EUROCAM (1982)
Peter K. H. Gragert, P. H. M. Kersten
Implementation of Differential Geometric Objects and Functions with an Application to Extended Maxwell Equations. EUROCAM (1982)
Paul S. Wang
Hacijan's Algorithm in VAXIMA: Improvements and Difficulties. EUROCAM (1982)
J. A. van Hulzen
Computer Algebra Systems Viewed by a Notorious User. EUROCAM (1982)
Daniel Lazard
On Polynomial Factorization. EUROCAM (1982)
Arjen K. Lenstra
Lattices and Factorization of Polynomials over Algebraic Number Fields. EUROCAM (1982)
Dennis S. Arnon, Scott McCallum
Cylindrical Algebraic Decomposition by Quantifier Elimination. EUROCAM (1982)
David R. Musser, Deepak Kapur
Rewrite Rule Theory and Abstract Data Type Analysis. EUROCAM (1982)
Luciana Bordoni, Attilio Colagrossi, Alfonso Miola
Linear Algebraic Approach for Computing Polynomial Resultant. EUROCAM (1982)
Ferdinando Mora
An Algorithm to Compute the Equations of Tangent Cones. EUROCAM (1982)
Arnold Schönhage
Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients. EUROCAM (1982)
Wolfgang Küchlin
A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. EUROCAM (1982)
James H. Davenport
The Parallel Risch Algorithm (I). EUROCAM (1982)
Jean Della Dora, Claire Dicrescenzo, Evelyne Tournier
An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point. EUROCAM (1982)
Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
Solving Symbolic Equations with PRESS. EUROCAM (1982)
John P. Fitch, Jed Marti
NLARGEing a z80 Microprocessor. EUROCAM (1982)
Lars Hörnfeldt
A Sum-Substitutor Used as Trigonometric Simplifier. EUROCAM (1982)
H. Michael Möller, Bruno Buchberger
The Construction of Multivariate Polynomials with Preassigned Zeros. EUROCAM (1982)
Reinhard Laue
Computing Double Coset Representatives for the Generation of Solvable Groups. EUROCAM (1982)
J. Smit, J. A. van Hulzen
Symbolic Numeric Methods in Microwave Technology. EUROCAM (1982)
Daniel Lazard
Commutative Algebra and Computer Algebra. EUROCAM (1982)
George E. Collins
Factorization in Cylindrical Algebraic Decomposition. EUROCAM (1982)
John A. Campbell, Francesco Gardin
Transformation of an Intractable Problem into a Tractable Problem: Evaluation of a Determinant in Several Variables. EUROCAM (1982)
Michael Pohst
On the Determination of Algebraic Number Fileds of Given Discriminant. EUROCAM (1982)
Josef Angerer, Günter Pilz
The Structure of Near-Rings of Small Order. EUROCAM (1982)
Jürgen Avenhaus, Klaus Madlener
The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups. EUROCAM (1982)
Julian A. Padget
Escaping from Intermediate Expression Swell: A Continuing Saga. EUROCAM (1982)
Bengt Malm
A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations. EUROCAM (1982)
A. C. Norman
The Development of a Vector-based Algebra System. EUROCAM (1982)

volume 144, 1982

Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings EUROCAM 144 (1982)