عنوان

EUROSAM 84 :

(Number (ISBN

3540388931

(Number (ISBN

9783540388937

Number

b565918

Title Proper

EUROSAM 84 :

General Material Designation

[Book]

Other Title Information

International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9-11, 1984

First Statement of Responsibility

edited by John Fitch.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1984

Specific Material Designation and Extent of Item

(XI, 397 p. :)

Series Title

Lecture notes in computer science, 174.

Text of Note

Homogeneous linear difference equation (Frobenius - Boole method) --; An experiment toward a general quadrature for second order linear ordinary differential equations by symbolic computation --; Operational calculus techniques for solving differential equations --; On the application of symbolic computation to nonlinear control theory --; Quartic equations and algorithms for riemann tensor classification --; Symbolic computation and the Dirichlet problem --; Simplification of polynomials in n variables --; On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems --; Implementation of a p-adic package for polynomial factorization and other related operations --; Computations on curves --; Detecting torsion divisors on curves of genus 2 --; Computation in radical extensions --; A primer: 11 Keys to new scratchpad --; A pure and really simple initial functional algebraic language --; Some effectivity problems in polynomial ideal theory --; ^ Upper and lower bounds for the degree of Groebner bases --; On the complexity of the Gröbner-bases algorithm over K[x,y,z] --; Algorithms for computing Gröbner bases of polynomial ideals over various Euclidean rings --; Computations with rational subsets of confluent groups --; Camac2: A portable system for combinatorial and algebraic computation --; Polynomial time algorithms for Galois groups --; Code generation and optimization for finite element analysis --; A comparison of algorithms for the symbolic computation of Padé approximants --; Automatic error cumulation control --; Polynomial factorization by root approximation --; Effective Hilbert irreducibility --; GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation --; A new lifting process for the multivariate polynomial factorization --; Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11 --; On a simple primality testing algorithm --; ^ A criterion for the equivalence of two ideals --; y?+fy=g --; Integration in finite terms with special functions: A progress report --; A note on the Risch differential equation --; Approximation by continued fraction of a polynomial real root --; On the automatic resolution of certain diophantine equations --; On pseudo-resultants.

Computer Science, general.

Computer science.

Computer Science.

edited by John Fitch.

John Fitch

Electronic name

[Book]

Y