Conferences in DBLP
Arnold Schönhage Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:3-15 [Conf ] David K. Probst , Vangalur S. Alagar An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:16-23 [Conf ] H. Michael Möller , Bruno Buchberger The Construction of Multivariate Polynomials with Preassigned Zeros. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:24-31 [Conf ] Arjen K. Lenstra Lattices and Factorization of Polynomials over Algebraic Number Fields. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:32-39 [Conf ] Daniel Lazard Commutative Algebra and Computer Algebra. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:40-48 [Conf ] Jürgen Avenhaus , Klaus Madlener The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:49-56 [Conf ] Josef Angerer , Günter Pilz The Structure of Near-Rings of Small Order. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:57-64 [Conf ] Reinhard Laue Computing Double Coset Representatives for the Generation of Solvable Groups. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:65-70 [Conf ] Michael Pohst On the Determination of Algebraic Number Fileds of Given Discriminant. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:71-76 [Conf ] David R. Musser , Deepak Kapur Rewrite Rule Theory and Abstract Data Type Analysis. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:77-90 [Conf ] Marc Bergman Algebraic Specifications: Constructive Methodology in Logic Programming. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:91-100 [Conf ] Wolfgang Küchlin A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:101-108 [Conf ] Leon Sterling , Alan Bundy , Lawrence Byrd , Richard A. O'Keefe , Bernard Silver Solving Symbolic Equations with PRESS. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:109-116 [Conf ] Jacques Calmet , Rüdiger Loos Deterministic Versus Probabilistic Factorization of Integral Polynomials. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:117-125 [Conf ] Daniel Lazard On Polynomial Factorization. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:126-134 [Conf ] Paul S. Wang Hacijan's Algorithm in VAXIMA: Improvements and Difficulties. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:135-143 [Conf ] James H. Davenport The Parallel Risch Algorithm (I). [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:144-157 [Conf ] Ferdinando Mora An Algorithm to Compute the Equations of Tangent Cones. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:158-165 [Conf ] J. A. van Hulzen Computer Algebra Systems Viewed by a Notorious User. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:166-180 [Conf ] Peter K. H. Gragert , P. H. M. Kersten Implementation of Differential Geometric Objects and Functions with an Application to Extended Maxwell Equations. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:181-187 [Conf ] Lars Hörnfeldt A Sum-Substitutor Used as Trigonometric Simplifier. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:188-195 [Conf ] John A. Campbell , Francesco Gardin Transformation of an Intractable Problem into a Tractable Problem: Evaluation of a Determinant in Several Variables. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:196-203 [Conf ] F. Lamnabhi-Lagarrigue , M. Lamnabhi Algebraic Computation of the Solution of Some NonLinear Differential Equations. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:204-211 [Conf ] George E. Collins Factorization in Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:212-214 [Conf ] Dennis S. Arnon , Scott McCallum Cylindrical Algebraic Decomposition by Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:215-222 [Conf ] Z. Lomecky Algorithms for the Computation of Free Lattices. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:223-230 [Conf ] Luciana Bordoni , Attilio Colagrossi , Alfonso Miola Linear Algebraic Approach for Computing Polynomial Resultant. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:231-236 [Conf ] A. C. Norman The Development of a Vector-based Algebra System. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:237-248 [Conf ] John Fitch , Jed Marti NLARGEing a z80 Microprocessor. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:249-255 [Conf ] Julian A. Padget Escaping from Intermediate Expression Swell: A Continuing Saga. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:256-262 [Conf ] Anthony C. Hearn REDUCE - A Case Study in Algebra System Development. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:263-272 [Conf ] Jean Della Dora , Claire Dicrescenzo , Evelyne Tournier An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:273-280 [Conf ] J. Smit , J. A. van Hulzen Symbolic Numeric Methods in Microwave Technology. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:281-288 [Conf ] Bengt Malm A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:289-293 [Conf ] Daniel Claude , Pierre Dufresne An Application of MACSYMA to Nonlinear Systems Decoupling. [Citation Graph (0, 0)][DBLP ] EUROCAM, 1982, pp:294-301 [Conf ]