000 09964cam a2200685 a 4500
001 ocn555622381
003 OCoLC
005 20250703151207.0
006 m o d
007 cr bn||||||abp
007 cr bn||||||ada
008 100315s1989 gw a ob 101 0 eng d
040 _aOCLCE
_beng
_epn
_cOCLCE
_dOCLCQ
_dNLGGC
_dOCLCO
_dCUSER
_dOCLCQ
_dOCLCF
_dOCLCO
_dKIJ
_dGW5XE
_dITD
_dOCLCO
_dOCLCQ
_dOCL
_dOCLCO
_dOCLCQ
_dESU
_dOCLCQ
_dVT2
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCL
019 _a150398873
_a321283777
_a827359925
_a1005804614
_a1081212090
020 _a9783540482079
_q(electronic bk.)
020 _a3540482075
_q(electronic bk.)
020 _z0387515178
_q(New York ;
_qacid-free paper)
020 _z9780387515175
_q(New York ;
_qacid-free paper)
020 _z3540515178
_q(Berlin ;
_qacid-free paper)
020 _z9783540515173
_q(Berlin ;
_qacid-free paper)
029 1 _aAU@
_b000058012788
029 1 _aAU@
_b000060389006
029 1 _aNLGGC
_b296875635
029 1 _aNZ1
_b15301831
035 _a(OCoLC)555622381
_z(OCoLC)150398873
_z(OCoLC)321283777
_z(OCoLC)827359925
_z(OCoLC)1005804614
_z(OCoLC)1081212090
042 _adlr
050 4 _aQA155.7.E4
_bE86 1987
082 0 4 _a004/.01/51
_220
084 _a54.71
_2bcl
049 _aMAIN
111 2 _aEuropean Conference on Computer Algebra
_d(1987 :
_cLeipzig, Germany)
_937133
245 1 0 _aEUROCAL '87 :
_bEuropean Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings /
_cJ.H. Davenport (ed.).
260 _aBerlin ;
_aNew York :
_bSpringer-Verlag,
_c©1989.
300 _a1 online resource (viii, 499 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture notes in computer science ;
_v378
504 _aIncludes bibliographical references and index.
506 _3Use copy
_fRestrictions unspecified
_5MiAaHDL
_2star
533 _aElectronic reproduction.
_b[Place of publication not identified] :
_cHathiTrust Digital Library,
_d2010.
_5MiAaHDL
538 _aMaster and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
_uhttp://purl.oclc.org/DLF/benchrepro0212
_5MiAaHDL
583 1 _adigitized
_c2010
_hHathiTrust Digital Library
_lcommitted to preserve
_5MiAaHDL
_2pda
588 0 _aPrint version record.
520 _aThis is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not published elsewhere, and a few invited lectures summarising the state of the art. Computer algebra is the science of using computers to do algebraic calculations, rather than the purely arithmetic calculations which we all know computers can do. These calculations may be polynomial-like calculations - one thread of the conference was devoted to polynomial algorithms - or may relate to other areas of mathematics such as integration, the solution of differential equations, or geometry - a second thread was devoted to those topics. The calculations can be applied in a wide range of scientific and engineering subjects, and in branches of mathematics. Physics has benefitted especially from these calculations, and the proceedings contain many papers on this, and also papers on applications in computer aided design and robotics, to name but a few other applications. The third thread of the proceedings was devoted to these applications and to the computer algebra systems which perform these calculations.
505 0 _aComputer 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 differential equations -- 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 polynomial matrices -- 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.
650 0 _aAlgebra
_xData processing
_vCongresses.
_914649
650 6 _aAlgèbre
_xInformatique
_vCongrès.
_925053
650 7 _aAlgebra
_xData processing
_2fast
_914650
650 7 _aProgramacao De Computadores.
_2larpcal
_914740
650 7 _aAlgoritmos E Estruturas De Dados.
_2larpcal
_917088
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aCongressen (vorm)
_2gtt
_98970
700 1 _aDavenport, James Harold,
_d1953-
_1https://id.oclc.org/worldcat/entity/E39PBJqbrjj68Fm6JbXJDwvrbd
_937134
758 _ihas work:
_aEUROCAL '87 (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGYfpfmKyB7HKtRFhb4bbd
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aEuropean Conference on Computer Algebra (1987 : Leipzig, Germany).
_tEUROCAL '87.
_dBerlin ; New York : Springer-Verlag, ©1989
_w(DLC) 89021652
_w(OCoLC)20261767
830 0 _aLecture notes in computer science ;
_v378.
856 4 0 _uhttps://link.springer.com/10.1007/3-540-51517-8
994 _a92
_bATIST
999 _c639736
_d639736