European Conference on Computer Algebra (2)

Keyphrases

Publications

1985

K. Aspetsberger
Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs. European Conference on Computer Algebra (2) (1985)
Robert S. Sutor
The Scratchpad II Computer Algebra Language and System. European Conference on Computer Algebra (2) (1985)
P. Boninfante, G. M. Veca
The Algebraic Manipulation Systems on the Electrical Power Systems. European Conference on Computer Algebra (2) (1985)
H. Michael Möller
A Reduction Strategy for the Taylor Resolution. European Conference on Computer Algebra (2) (1985)
Yu. Matijasevich
A Posteriori Interval Analysis. European Conference on Computer Algebra (2) (1985)
Claude Kirchner, Hélène Kirchner
Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. European Conference on Computer Algebra (2) (1985)
Michael Kreißig
A Program System for Factorization of Polynominals with Rational Coefficients. European Conference on Computer Algebra (2) (1985)
Jan E. Åman, R. A. d'Inverno, G. C. Joly, Malcolm A. H. MacCallum
Progress on the Equivalence Problem. European Conference on Computer Algebra (2) (1985)
Inge Frick, Jan E. Åman
SHEEP and Classification in General Relativity. European Conference on Computer Algebra (2) (1985)
Jürgen Wolff von Gudenberg
PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results. European Conference on Computer Algebra (2) (1985)
Rudolf Lidl
On Decomposable and Commuting Polynominals. European Conference on Computer Algebra (2) (1985)
Daniela B. Nikolova
On Some Laws in PSL(2, q). European Conference on Computer Algebra (2) (1985)
J.-M. Drouffe
AMP: A System for Algebraic Computations. European Conference on Computer Algebra (2) (1985)
U. Fincke, Michael Pohst
A New Method of Computing Fundamental Units in Algebraic Number Fields. European Conference on Computer Algebra (2) (1985)
Robert Paige, Fritz Henglein
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. European Conference on Computer Algebra (2) (1985)
Bruno Buchberger
The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) (1985)
Fritz Schwarz
A REDUCE Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations. European Conference on Computer Algebra (2) (1985)
Barbara L. Gates, J. A. van Hulzen
Automatic Generation of Optimized Programs. European Conference on Computer Algebra (2) (1985)
A. J. J. Dick
ERIL - Equational Reasoning: an Interactive Laboratory. European Conference on Computer Algebra (2) (1985)
Siegfried M. Rump
ACRITH - High Accuracy Arithmetic Subroutine Library. European Conference on Computer Algebra (2) (1985)
H. Ong, D. Golke
An Algorithm for the Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields. European Conference on Computer Algebra (2) (1985)
Wolfgang Küchlin
A Confluence Criterion Based on the Generalised Neman Lemma. European Conference on Computer Algebra (2) (1985)
Ricardo Caferra, Philippe Jorrand
Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language. European Conference on Computer Algebra (2) (1985)
Ömer Egecioglu
Algorithms for the Character Theory of the Symmetric Group. European Conference on Computer Algebra (2) (1985)
Werner Gaube, Heinrich C. Mayr, Peter C. Lockemann
Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties. European Conference on Computer Algebra (2) (1985)
P. D. Pearce, R. J. Hicks
The Optimisation by "Code Motion" of User Programs for an Algebraic Manipulation System. European Conference on Computer Algebra (2) (1985)
James H. Davenport, Julian A. Padget
HEUGCD: How Elementary Upperbounds Generated Cheaper Data. European Conference on Computer Algebra (2) (1985)
Klaus Nehrkorn
Symbolic Integration of Exponential Polynominals. European Conference on Computer Algebra (2) (1985)
George E. Collins
The SAC-2 Computer Algebra System. European Conference on Computer Algebra (2) (1985)
W. Lassner
Symbol Representations of Noncommutative Algebras. European Conference on Computer Algebra (2) (1985)
Dennis S. Arnon
A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. European Conference on Computer Algebra (2) (1985)
K. Millington, Francis J. Wright
Algebraic Computations in Elementary Catastrophe Theory. European Conference on Computer Algebra (2) (1985)
Peter Richter
THKLISP as a Base of Formula Manipulation Systems. European Conference on Computer Algebra (2) (1985)
Colin M. Campbell, Edmund F. Robertson
A Cayley File of Finite Simple Groups. European Conference on Computer Algebra (2) (1985)
Neil V. Murray, Erik Rosenthal
Path Resolution and Semantic Graphs. European Conference on Computer Algebra (2) (1985)
Michael Taraniuk, Peter C. Mackeonis
Demonstration of REDUCE3 as Implemented on a Stand-Alone MOTOROLA 68000 Based Microcomputer. European Conference on Computer Algebra (2) (1985)
Regina Llopis de Trias, U. Simon Bolivar
An Overview of Completion Algorithms. European Conference on Computer Algebra (2) (1985)
Lorenzo Robbiano
Term Orderings on the Polynominal Ring. European Conference on Computer Algebra (2) (1985)
Wolfgang Trinks
On Improving Approximate Results of Buchberger's Algorithm by Newton's Method. European Conference on Computer Algebra (2) (1985)
Asish Mukhopadhyay
A Solution to the Polynominal Hensel-Code Conversion Problem. European Conference on Computer Algebra (2) (1985)
M. A. Reichert
Explicit Determination of Non-Trivial Torsion Structures of Elliptic Curves over Quadratic Number Fields. European Conference on Computer Algebra (2) (1985)
Patrizia M. Gianni, Barry M. Trager
GCD's and Factoring Multivariate Polynominals Using Gröbner Bases. European Conference on Computer Algebra (2) (1985)
Johannes Buchmann
The Generalized Voronoi-Algorithm in Totally Real Algebraic Number Fields. European Conference on Computer Algebra (2) (1985)
S. Bandyopadhyay, John S. Devitt
The Role of Symbolic Computation in the Management of Scientific Information. European Conference on Computer Algebra (2) (1985)
Paul S. Wang
Taking Advantage of Symmetry in the Automatic Generation of Numerical Programs for Finite Element Analysis. European Conference on Computer Algebra (2) (1985)
Volker Weispfenning
The Complexity of Elementary Problems in Archimedean Ordered Groups. European Conference on Computer Algebra (2) (1985)
Hans Zassenhaus
Symbol Manipulation and Symmetry Breaking. European Conference on Computer Algebra (2) (1985)
Dario Bini, Victor Y. Pan
Algorithms for Polynominal Division. European Conference on Computer Algebra (2) (1985)
Franz Winkler
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches. European Conference on Computer Algebra (2) (1985)
Ben J. A. Hulshof, J. A. van Hulzen
An Expression Compression Package for REDUCE based on Factorization and Controlled Expansion. European Conference on Computer Algebra (2) (1985)