MARC details
| 000 -LEADER |
|---|
| fixed length control field |
09964cam a2200685 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn555622381 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703151207.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||abp |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||ada |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100315s1989 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
CUSER |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
KIJ |
| -- |
GW5XE |
| -- |
ITD |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
150398873 |
| -- |
321283777 |
| -- |
827359925 |
| -- |
1005804614 |
| -- |
1081212090 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540482079 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540482075 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387515178 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387515175 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540515178 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540515173 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058012788 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060389006 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296875635 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15301831 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)555622381 |
| Canceled/invalid control number |
(OCoLC)150398873 |
| -- |
(OCoLC)321283777 |
| -- |
(OCoLC)827359925 |
| -- |
(OCoLC)1005804614 |
| -- |
(OCoLC)1081212090 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA155.7.E4 |
| Item number |
E86 1987 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004/.01/51 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.71 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
European Conference on Computer Algebra |
| Date of meeting |
(1987 : |
| Location of meeting |
Leipzig, Germany) |
| 9 (RLIN) |
37133 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
EUROCAL '87 : |
| Remainder of title |
European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings / |
| Statement of responsibility, etc. |
J.H. Davenport (ed.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
©1989. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 499 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
378 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Institution to which field applies |
MiAaHDL |
| Source of term |
star |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2010. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2010 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Institution to which field applies |
MiAaHDL |
| Source of term |
pda |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This 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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14649 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algèbre |
| General subdivision |
Informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
25053 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing |
| Source of heading or term |
fast |
| 9 (RLIN) |
14650 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programacao De Computadores. |
| Source of heading or term |
larpcal |
| 9 (RLIN) |
14740 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algoritmos E Estruturas De Dados. |
| Source of heading or term |
larpcal |
| 9 (RLIN) |
17088 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congressen (vorm) |
| Source of term |
gtt |
| 9 (RLIN) |
8970 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Davenport, James Harold, |
| Dates associated with a name |
1953- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJqbrjj68Fm6JbXJDwvrbd |
| 9 (RLIN) |
37134 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
EUROCAL '87 (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGYfpfmKyB7HKtRFhb4bbd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
European Conference on Computer Algebra (1987 : Leipzig, Germany). |
| Title |
EUROCAL '87. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1989 |
| Record control number |
(DLC) 89021652 |
| -- |
(OCoLC)20261767 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
378. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-51517-8">https://link.springer.com/10.1007/3-540-51517-8</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |