عنوان

EUROSAM 84 :

شابک

3540388931

شابک

9783540388937

شماره

b565918

عنوان اصلي

EUROSAM 84 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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

نام نخستين پديدآور

edited by John Fitch.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1984

نام خاص و کميت اثر

(XI, 397 p. :)

عنوان فروست

Lecture notes in computer science, 174.

متن يادداشت

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

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y