EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings: Lecture Notes in Computer Science, cartea 378
Editat de James H. Davenporten Limba Engleză Paperback – 9 aug 1989
Din seria Lecture Notes in Computer Science
- 20% Preț: 571.63 lei
- 20% Preț: 336.71 lei
- 20% Preț: 333.46 lei
- 20% Preț: 662.76 lei
- 20% Preț: 330.23 lei
- 20% Preț: 747.79 lei
- 20% Preț: 438.67 lei
- 20% Preț: 369.12 lei
- 20% Preț: 315.76 lei
- 20% Preț: 584.40 lei
- 20% Preț: 148.66 lei
- 20% Preț: 122.89 lei
- 20% Preț: 315.18 lei
- 20% Preț: 256.26 lei
- 20% Preț: 1040.03 lei
- 20% Preț: 504.56 lei
- Preț: 402.62 lei
- 20% Preț: 346.40 lei
- 20% Preț: 301.94 lei
- 20% Preț: 237.99 lei
- 5% Preț: 365.59 lei
- 20% Preț: 309.89 lei
- 20% Preț: 321.95 lei
- 20% Preț: 310.25 lei
- 20% Preț: 334.68 lei
- Preț: 373.56 lei
- 20% Preț: 172.68 lei
- 20% Preț: 1386.07 lei
- 20% Preț: 315.76 lei
- 20% Preț: 1003.66 lei
- 20% Preț: 444.17 lei
- 20% Preț: 567.60 lei
- 20% Preț: 632.22 lei
- 17% Preț: 360.18 lei
- 20% Preț: 538.28 lei
- 20% Preț: 335.08 lei
- 20% Preț: 307.68 lei
- 20% Preț: 343.16 lei
- 20% Preț: 641.78 lei
- 20% Preț: 579.56 lei
- 20% Preț: 1053.45 lei
- 15% Preț: 568.74 lei
- Preț: 389.47 lei
- 20% Preț: 333.46 lei
- 20% Preț: 607.38 lei
- 20% Preț: 326.97 lei
Preț: 336.06 lei
Preț vechi: 420.08 lei
-20% Nou
Puncte Express: 504
Preț estimativ în valută:
64.31€ • 67.66$ • 53.24£
64.31€ • 67.66$ • 53.24£
Carte tipărită la comandă
Livrare economică 14-28 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540515173
ISBN-10: 3540515178
Pagini: 512
Ilustrații: VIII, 500 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.71 kg
Ediția:1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540515178
Pagini: 512
Ilustrații: VIII, 500 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.71 kg
Ediția:1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Computer algebra in physical research of jinr.- Complexity of quantifier elimination in the theory of ordinary differential equations.- Groups and polynomials.- Symbolic computation in relativity theory.- A zero structure theorem for polynomial-equations-solving and its applications.- Some algorithms of rational function algebra.- The computer algebra system simath.- Converting SAC-2 code to lisp.- Computer algebra system for continued fractions manipulation.- Computing a lattice basis from a system of generating vectors.- Expression optimization using high-level knowledge.- Catfact: Computer algebraic tools for applications of catastrophe theory.- Computer algebra application for investigating integrability of nonlinear evolution systems.- Computer classification of integrable seventh order MKdV — Like equations.- Symbolic computation and the finite element method.- Application of lie group and computer algebra to nonliner mechanics.- Hierarchical symbolic computations in the analysis of large-scale dynamical systems.- Schoonschip for computing of gravitino interaction cross sections in N=2 supergravity.- Creation of efficient symbolic-numeric interface.- Automatic generation of FORTRAN-Coded Jacobians and Hessians.- Laplace transformations in reduce 3.- Reduce 3. 2 on iAPX86/286 — based personal computers.- Some extensions and applications of reduce system.- Infinite structures in scratchpad II.- Application of a structured LISP system to computer algebra.- Number-theoretic transforms of prescribed length.- A hybrid algebraic-numeric system ANS and its preliminary implementation.- The calculation of QCD triangular Feynman graphs in the external gluonic field using reduce-2 system.- Computer algebra application for determining local symmetries of differentialequations.- Trace calculations for gauge theories on a personal computer.- Evaluation of plasma fluid equations collision integrals using reduce.- Computerized system of analytic transformations for analysing of differential equations.- Integral equation with hidden eigenparameter solver: Reduce + fortran in tandem.- Combinatorial aspects of simplification of algebraic expressions.- Dynamic program improvement.- Computer algebra and numerical convergence.- Computer algebra and computation of puiseux expansions of algebraic functions.- Boundary value problems for the laplacian in the Euclidean space solved by symbolic computation.- The methods for symbolic evaluation of determinants and their realization in the planner-analytic system.- Transformation of computation formulae in systems of recurrence relations.- "Dimreg" the package for calculations in the dimensional regularization with 4-dimensional ?5-matrix in quantum field theory.- CTS — Algebraic debugging system for reduce programs.- Applications of computer algebra in solid modelling.- Implementation of a geometry theorem proving package in SCRATCHPAD II.- Collision of convex objects.- Solving algebraic equations via Buchberger's algorithm.- Primary ideal decomposition.- Solving systems of algebraic equations by using gröbner bases.- Properties of Gröbner bases under specializations.- The computation of polynomial greatest common divisors over an algebraic number field.- An extension of buchberger's algorithm to compute all reduced gröbner bases of a polynomial ideal.- Singularities of moduli spaces.- Radical simplification using algebraic extension fields.- Hermite normal forms for integer matrices.- Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal form of polynomialmatrices.- Fonctions symétriques et changements de bases.- Complexity of standard bases in projective dimension zero.- Gröbner bases for polynomial ideals over commutative regular rings.- Some algebraic algorithms based on head term elimination over polynomial rings.- Algorithmic determination of the jacobson radical of monomial algebras.- A recursive algorithm for the computation of the hilbert polynomial.- An affine point of view on minima finding in integer lattices of lower dimensions.- A combinatorial and logical approach to linear-time computability (extended abstract).- Complexity of computation of embedded resolution of algebraic curves.- Polynomial factorisation: an exploration of Lenstra's algorithm.- A matrix-approach for proving inequalities.- Using automatic program synthesizer as a problem solver: Some interesting experiments.- Strong splitting rules in automated theorem proving.- Towards a refined classification of geometric search and computation problems.- Matrix Padé fractions.- Computation of generalized Padé approximants.- A critical pair criterion for completion modulo a congruence.- Shortest paths of a disc inside a polygonal region.- Rabin's width of a complete proof and the width of a semialgebraic set.- Practical aspects of symbolic integration over Q(x).- Integration: Solving the Risch differential equation.- Computation and simplification in lie fields.- A package for the analytic investigation and exact solution of differential equations.- An algorithm for the integration of elementary functions.