Computer algebra : (Record no. 379631)

000 -LEADER
fixed length control field 04947cam a2200625Ia 4500
001 - CONTROL NUMBER
control field ocn326966193
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626104457.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 unu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 830617s1982 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency SCPER
Language of cataloging eng
Description conventions pn
Transcribing agency CUSER
Modifying agency OCLCQ
-- CUS
-- OCLCQ
-- OCLCO
-- NLGGC
-- GW5XE
-- OCLCF
-- ITD
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- SHS
-- UAB
-- ESU
-- VT2
-- OCLCQ
-- TFW
-- LEAUB
-- OCLCQ
-- OL$
-- OCLCQ
019 ## -
-- 150394024
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540394334
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540394338
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540116079
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540116073
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-11607-9
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057635602
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 296827649
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15299970
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)326966193
Canceled/invalid control number (OCoLC)150394024
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA155.7.E4
Item number E85 1982
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBKS
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT021000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT006000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 512/.0028/54
Edition number 19
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.10
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 Computer Algebra Conference
Date of meeting (1982 :
Location of meeting Marseille, France)
9 (RLIN) 34553
245 10 - TITLE STATEMENT
Title Computer algebra :
Remainder of title EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /
Statement of responsibility, etc. edited by Jacques Calmet.
246 30 - VARYING FORM OF TITLE
Title proper/short title EUROCAM '82
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. 1982.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiv, 301 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
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 144
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients -- An adaptive hybrid algorithm for multiplying dense polynomials -- The construction of multivariate polynomials with preassigned zeros -- Lattices and factorization of polynomials over algebraic number fields -- Commutative algebra and computer algebra -- The nielsen reduction as key problem to polynomial algorithms in free groups -- The structure of near-rings of small order -- Computing double coset representatives for the generation of solvable groups -- On the determination of algebraic number fields of given discriminant -- Rewrite rule theory and abstract data type analysis -- Algebraic specifications: A constructive methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm -- Solving symbolic equations with press -- Deterministic versus probabilistic factorization of integral polynomials -- On polynomial factorization -- Hacijan's algorithm in VAXIMA: improvements and difficulties -- The parallel Risch algorithm (I) -- An algorithm to compute the equations of tangent cones -- Computer algebra systems viewed by a notorious user -- Implementation of differential geometric objects and functions with an application to extended Maxwell equations -- A sum-substitutor used as trigonometric simplifier -- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables -- Algebraic computation of the solution of some nonlinear differential equations -- Factorization in cylindrical algebraic decomposition -- Abstract -- Cylindrical algebraic decomposition by quantifier elimination -- Algorithms for the computation of free lattices -- Linear algebraic approach for computing polynomial resultant -- The development of a vector-based algebra system -- Nlargeing a z80 microprocessor -- Escaping from intermediate expression swell: a continuing saga -- REDUCE -- A case study in algebra system development -- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point -- Symbolic numeric methods in microwave technology -- A program in REDUCE for finding explicit solutions to certain ordinary differential equations -- An application of MACSYMA to nonlinear systems decoupling.
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 #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
Authority record control number (OCoLC)fst00804890
9 (RLIN) 14650
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Fundamentele informatica.
Source of heading or term gtt
9 (RLIN) 14651
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Symbolische logica.
Source of heading or term gtt
9 (RLIN) 14652
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
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 Calmet, Jacques.
9 (RLIN) 16412
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:European Computer Algebra Conference (1982 : Marseille, France).
Title Computer algebra.
Place, publisher, and date of publication Berlin ; New York : Springer-Verlag, 1982
International Standard Book Number 0387116079
Record control number (DLC) 82240810
-- (OCoLC)8979451
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 144.
International Standard Serial Number 0302-9743
9 (RLIN) 34554
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-11607-9">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-11607-9</a>
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha