Michael Taraniuk, Peter C. Mackeonis Demonstration of REDUCE3 as Implemented on a Stand-Alone MOTOROLA 68000 Based Microcomputer. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:31- [Conf]
Robert S. Sutor The Scratchpad II Computer Algebra Language and System. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:32-33 [Conf]
K. Aspetsberger Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:78-86 [Conf]
Volker Weispfenning The Complexity of Elementary Problems in Archimedean Ordered Groups. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:87-88 [Conf]
W. Lassner Symbol Representations of Noncommutative Algebras. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:99-115 [Conf]
Dieter Armbruster Bifurcation Theory and Computer Algebra: An Initial Approach. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:126-137 [Conf]
Franzpeter Goebbels Factorization of Rational Polynominals in the Zassenhaus-Norm. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:146-147 [Conf]
Rudolf Lidl On Decomposable and Commuting Polynominals. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:148-149 [Conf]
Michael Kreißig A Program System for Factorization of Polynominals with Rational Coefficients. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:155- [Conf]
Peter Richter THKLISP as a Base of Formula Manipulation Systems. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:156- [Conf]
J.-M. Drouffe AMP: A System for Algebraic Computations. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:157-158 [Conf]
Andrzej Krasinski The Program ORTOCARTAN for Applications in Einstein's Relativity Theory. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:159-160 [Conf]
Jacek Gibert The J-Machine: Functional Programming with Combinators. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:197-198 [Conf]
D. M. Klimov Symbolic Algebra in Problems of Non-Linear Mechanics. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:199-200 [Conf]
Ph. Tombal, A. Moussiaux MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:201-202 [Conf]
Terje Wahl Infinite Dimensional Computer Lie Algebra? [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:203-204 [Conf]
John F. Ogilvie Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:205- [Conf]
Ömer Egecioglu Algorithms for the Character Theory of the Symmetric Group. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:206-224 [Conf]
Costas S. Iliopoulos Worst-Case Analysis of Algorithms for Computational Problems on Abelian Permutation Groups. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:225-228 [Conf]
Dennis S. Arnon A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:262-269 [Conf]
Dennis S. Arnon On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:270-271 [Conf]
Dennis S. Arnon, Scott McCallum A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:275-276 [Conf]
Scott McCallum An Improved Projection Operation for Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:277-278 [Conf]
J. M. Greif The SMP Pattern Matcher. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:303-314 [Conf]
Ben J. A. Hulshof, J. A. van Hulzen An Expression Compression Package for REDUCE based on Factorization and Controlled Expansion. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:315-316 [Conf]
Lars Hörnfeldt STENSOR Uses Disc Automatically for Very Large Computations. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:317- [Conf]
Siegfried M. Rump Numerical Methods with Automatic Verification. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:318-319 [Conf]
Siegfried M. Rump ACRITH - High Accuracy Arithmetic Subroutine Library. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:320-321 [Conf]
Jürgen Wolff von Gudenberg PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:325-326 [Conf]
Asish Mukhopadhyay A Solution to the Polynominal Hensel-Code Conversion Problem. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:327- [Conf]
Victor G. Ganzha, S. I. Mazurik, V. P. Shapeev Symbolic Manipulations on a Computer and Their Application to Generation and Investigation of Difference Schemes. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:335-347 [Conf]
Emmanuel Kounalis Completeness in Data Type Specifications. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:348-362 [Conf]
E. Paul On Solving the Equality Problem in Theories Defined by Horn Clauses. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:363-377 [Conf]
Franz Winkler Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:378-389 [Conf]
Wolfgang Küchlin A Confluence Criterion Based on the Generalised Neman Lemma. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:390-399 [Conf]
A. J. J. Dick ERIL - Equational Reasoning: an Interactive Laboratory. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:400-401 [Conf]
Claude Kirchner, Hélène Kirchner Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:402-404 [Conf]
Arne Hornæs Computer Algebra in Norway. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:405-406 [Conf]
Marc Giusti A Note on the Complexity of Constructing Standard Bases. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:411-412 [Conf]
André Galligo Some Algorithmic Questions of Constructing Standard Bases. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:413-421 [Conf]
John Pedersen Obtaining Complete Sets of Reductions and Equations Without Using Special Unification Algorithms. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:422-423 [Conf]
P. D. Pearce, R. J. Hicks The Optimisation by "Code Motion" of User Programs for an Algebraic Manipulation System. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:429-430 [Conf]
Bernhard Hohlfeld Correctness Proofs of the Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:446-447 [Conf]
Beat Brüderlin Using Prolog for Constructing Geometric Objects defined by Constraints. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:448-459 [Conf]
S. Bandyopadhyay, John S. Devitt The Role of Symbolic Computation in the Management of Scientific Information. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:460-461 [Conf]
H. Exner, F. D. Fischer CIM (Computer Integrated Manufacturing) - A Challenge for Symbolic Computation. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:462-463 [Conf]
Helder Coelho Symbolic and Algebraic Computation May Support Secondary Education. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:464-465 [Conf]
M. Caciotta, F. Iannucci Software Toolkit for Input Stage Measurement in Symbolic Computation. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:466-467 [Conf]
P. Boninfante, G. M. Veca The Algebraic Manipulation Systems on the Electrical Power Systems. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:468-469 [Conf]
U. Fincke, Michael Pohst A New Method of Computing Fundamental Units in Algebraic Number Fields. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:470-478 [Conf]
Johannes Buchmann The Generalized Voronoi-Algorithm in Totally Real Algebraic Number Fields. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:479-486 [Conf]
H. Ong, D. Golke An Algorithm for the Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:487-488 [Conf]
M. A. Reichert Explicit Determination of Non-Trivial Torsion Structures of Elliptic Curves over Quadratic Number Fields. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:489-490 [Conf]
Attila Pethö On the Solution of the Diophantine Equation Gn=pz. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:503-512 [Conf]
Lorenzo Robbiano Term Orderings on the Polynominal Ring. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:513-517 [Conf]
Ferdinando Mora An Algorithmic Approach to Local Rings. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:518-525 [Conf]
H. Michael Möller A Reduction Strategy for the Taylor Resolution. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:526-534 [Conf]
Stephen M. Watt A System for Parallel Computer Algebra Programs. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:537-538 [Conf]
Ricardo Caferra, Philippe Jorrand Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:539-540 [Conf]
Bruno Buchberger The Parallel L-Machine for Symbolic Computation. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:541-542 [Conf]
Heinrich Hußmann Unification in Conditional Equational Theories. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:543-553 [Conf]
Robert Paige, Fritz Henglein Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:554-567 [Conf]
Marta Franová A Methodology for Automatic Programming Based on the Constructive Matching Strategy. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:568-569 [Conf]
Alexander Sakharov The Structural Synthesis of Programs: New Means. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:570-571 [Conf]
Paul S. Wang Taking Advantage of Symmetry in the Automatic Generation of Numerical Programs for Finite Element Analysis. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:572-582 [Conf]
Michael Karr Canonical Form for Rational Exponential Expressions. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:585-594 [Conf]
Thomas Wolf Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:597-598 [Conf]
Klaus Nehrkorn Symbolic Integration of Exponential Polynominals. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:599-600 [Conf]
Fritz Schwarz A REDUCE Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:601-602 [Conf]
Michael Karr Theory of Summation in Finite Terms. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:605-606 [Conf]
Hans Zassenhaus Symbol Manipulation and Symmetry Breaking. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:607- [Conf]
W. Trinks On Improving Approximate Results of Buchberger's Algorithm by Newton's Method. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:608-612 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
