![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
EUROCAM 1982, Marseille, France
- Jacques Calmet:
Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Lecture Notes in Computer Science 144, Springer 1982, ISBN 3-540-11607-9
Algorithms I
- Arnold Schönhage:
Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients. 3-15 - David K. Probst, Vangalur S. Alagar:
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. 16-23 - H. Michael Möller, Bruno Buchberger:
The Construction of Multivariate Polynomials with Preassigned Zeros. 24-31 - Arjen K. Lenstra:
Lattices and Factorization of Polynomials over Algebraic Number Fields. 32-39
Algebraic Structures
- Daniel Lazard:
Commutative Algebra and Computer Algebra. 40-48 - Jürgen Avenhaus, Klaus Madlener:
The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups. 49-56 - Josef Angerer, Günter Pilz:
The Structure of Near-Rings of Small Order. 57-64 - Reinhard Laue:
Computing Double Coset Representatives for the Generation of Solvable Groups. 65-70 - Michael Pohst:
On the Determination of Algebraic Number Fileds of Given Discriminant. 71-76
Abstract Data Types and Rewrite Rules
- David R. Musser, Deepak Kapur:
Rewrite Rule Theory and Abstract Data Type Analysis. 77-90 - Marc Bergman:
Algebraic Specifications: Constructive Methodology in Logic Programming. 91-100 - Wolfgang Küchlin:
A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. 101-108 - Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver:
Solving Symbolic Equations with PRESS. 109-116
Algorithms II
- Jacques Calmet, Rüdiger Loos:
Deterministic Versus Probabilistic Factorization of Integral Polynomials. 117-125 - Daniel Lazard:
On Polynomial Factorization. 126-134 - Paul S. Wang:
Hacijan's Algorithm in VAXIMA: Improvements and Difficulties. 135-143 - James H. Davenport
:
The Parallel Risch Algorithm (I). 144-157 - Ferdinando Mora:
An Algorithm to Compute the Equations of Tangent Cones. 158-165
Applications I
- J. A. van Hulzen:
Computer Algebra Systems Viewed by a Notorious User. 166-180 - Peter K. H. Gragert, P. H. M. Kersten:
Implementation of Differential Geometric Objects and Functions with an Application to Extended Maxwell Equations. 181-187 - Lars Hörnfeldt:
A Sum-Substitutor Used as Trigonometric Simplifier. 188-195 - John A. Campbell, Francesco Gardin:
Transformation of an Intractable Problem into a Tractable Problem: Evaluation of a Determinant in Several Variables. 196-203 - Françoise Lamnabhi-Lagarrigue, M. Lamnabhi:
Algebraic Computation of the Solution of Some NonLinear Differential Equations. 204-211
Algorithms III
- George E. Collins:
Factorization in Cylindrical Algebraic Decomposition. 212-214 - Dennis S. Arnon, Scott McCallum
:
Cylindrical Algebraic Decomposition by Quantifier Elimination. 215-222 - Z. Lomecky:
Algorithms for the Computation of Free Lattices. 223-230 - Luciana Bordoni, Attilio Colagrossi, Alfonso Miola:
Linear Algebraic Approach for Computing Polynomial Resultant. 231-236
Systems
- A. C. Norman:
The Development of a Vector-based Algebra System. 237-248 - John P. Fitch, Jed Marti:
NLARGEing a z80 Microprocessor. 249-255 - Julian A. Padget
:
Escaping from Intermediate Expression Swell: A Continuing Saga. 256-262 - Anthony C. Hearn:
REDUCE - A Case Study in Algebra System Development. 263-272
Applications II
- Jean Della Dora, Claire Dicrescenzo, Evelyne Tournier:
An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point. 273-280 - J. Smit, J. A. van Hulzen:
Symbolic Numeric Methods in Microwave Technology. 281-288 - Bengt Malm:
A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations. 289-293 - Daniel Claude, Pierre Dufresne:
An Application of MACSYMA to Nonlinear Systems Decoupling. 294-301
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.