Computer algebra handbook: foundations, applications, systems
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2003
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 637 S. Ill., graph. Darst. 1 CD-ROM (12 cm) |
| ISBN: | 3540654666 |
Staff View
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV014862157 | ||
| 003 | DE-604 | ||
| 005 | 20050718 | ||
| 007 | t | ||
| 008 | 021105s2003 gw ad|| |||| 00||| eng d | ||
| 016 | 7 | |a 965261255 |2 DE-101 | |
| 020 | |a 3540654666 |9 3-540-65466-6 | ||
| 035 | |a (OCoLC)845536888 | ||
| 035 | |a (DE-599)BVBBV014862157 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-Aug4 |a DE-739 |a DE-29T |a DE-91G |a DE-20 |a DE-1050 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-384 | ||
| 050 | 0 | |a QA155.7.E4 | |
| 082 | 0 | |a 512 |2 21 | |
| 084 | |a ST 600 |0 (DE-625)143681: |2 rvk | ||
| 084 | |a 12Y05 |2 msc | ||
| 084 | |a DAT 702f |2 stub | ||
| 084 | |a 13Pxx |2 msc | ||
| 084 | |a 11Yxx |2 msc | ||
| 245 | 1 | 0 | |a Computer algebra handbook |b foundations, applications, systems |c Johannes Grabmeier ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a XX, 637 S. |b Ill., graph. Darst. |e 1 CD-ROM (12 cm) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Algebra |2 gtt | |
| 650 | 7 | |a Algèbre |2 rasuqam | |
| 650 | 7 | |a Application |2 rasuqam | |
| 650 | 7 | |a Calcul formel |2 rasuqam | |
| 650 | 7 | |a Computerwiskunde |2 gtt | |
| 650 | 7 | |a Getaltheorie |2 gtt | |
| 650 | 7 | |a Groepentheorie |2 gtt | |
| 650 | 7 | |a Logiciel |2 rasuqam | |
| 650 | 7 | |a Teoria dos conjuntos |2 larpcal | |
| 650 | 7 | |a Teoria dos grupos |2 larpcal | |
| 650 | 7 | |a Traitement des données |2 rasuqam | |
| 650 | 7 | |a Álgebra computacional |2 larpcal | |
| 650 | 7 | |a Álgebra linear |2 larpcal | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra |x Data processing | |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Grabmeier, Johannes |d 1956- |e Sonstige |0 (DE-588)109860411 |4 oth | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049552&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010049552 | ||
Record in the Search Index
| _version_ | 1804129622257827840 |
|---|---|
| adam_text | Table of Contents
Foreword v
Editorial Remarks vii
Table of Contents ix
List of Contributing Authors xv
1 Development, Characterization, Prospects 1
1.1 Historical Remarks 1
1.2 General Characterization 1
1.3 Impact on Education 2
1.4 Impact on Research 4
1.5 Computer Algebra Today and Tomorrow 6
1.5.1 Today 6
1.5.2 Outlook 7
2 Topics of Computer Algebra 11
2.1 Exact Arithmetic 11
2.1.1 Long Integer Arithmetic 11
2.1.2 Arithmetic with Polynomials, Rational Functions and
Power Series 13
2.1.3 Euclid s Algorithm and Continued Fractions 16
2.1.4 Modular Arithmetic and the Chinese Remainder Theorem . 17
2.1.5 Computations with Algebraic Numbers 18
2.1.6 Real Algebraic Numbers 19
2.1.7 p adic Numbers and Approximations 20
2.1.8 Finite Fields 21
2.2 Algorithms for Polynomials and Power Series 23
2.2.1 The Division Algorithm 23
2.2.2 Factorization of Polynomials 24
2.2.3 Absolute Factorization of Polynomials 26
2.2.4 Polynomial Decomposition 26
2.2.5 Grobner Bases 28
2.2.6 Standard Bases 32
2.2.7 Characteristic Sets 32
2.2.8 Algorithmic Invariant Theory 33
2.3 Linear Algebra 36
2.3.1 Linear Systems 36
2.3.2 Algorithms for Matrix Canonical Forms 38
2.4 Constructive Methods of Number Theory 41
2.4.1 Primality Tests 41
2.4.2 Integer Factorization 44
2.4.3 Algebraic Number Fields and Algebraic Function Fields ... 45
2.4.4 Galois Groups 47
2.4.5 Rational Points on Elliptic Curves 48
2.4.6 Geometry of Numbers 50
2.5 Algorithms of Commutative Algebra and Algebraic Geometry 51
2.5.1 Algorithms for Polynomial Ideals and Their Varieties 51
x Computer Algebra Handbook
2.5.2 Singularities of Varieties 54
2.5.3 Real Algebraic Geometry 55
2.6 Algorithmic Aspects of the Theory of Algebras 57
2.6.1 Structure Constants 58
2.6.2 Generators and Relations, Swapping and G Algebras 58
2.6.3 Monad Algebras, Path Algebras and Generalizations 59
2.6.4 Finite Dimensional Lie Algebras 60
2.6.5 Non commutative Grobner Bases 60
2.6.6 Structural Issues and Classification 63
2.6.7 Identities 63
2.6.8 Computational Aspects in the
Representation Theory of Quivers and Path Algebras 64
2.7 Computational Group Theory 65
2.7.1 A Crash Course in Group Theory 66
2.7.2 Describing Groups 67
2.7.3 A Brief History 69
2.7.4 Permutation Groups 71
2.7.5 Matrix Groups 74
2.7.6 Black Box Groups 75
2.7.7 Abelian Groups 76
2.7.8 Polycyclic Groups 76
2.7.9 Finitely Presented Groups 78
2.7.10 Group Theoretic Software 83
2.7.11 Another Perspective 83
2.8 Algorithms of Representation Theory 84
2.8.1 Ordinary Representation Theory 84
2.8.2 Modular Representation Theory 85
2.8.3 Generic Character Tables 87
2.8.4 Summary of Systems 88
2.9 Algebraic Methods for Constructing Discrete Structures 89
2.10 Summation and Integration 91
2.10.1 Definite Summation and Hypergeometric Identities 91
2.10.2 Symbolic Integration 94
2.11 Symbolic Methods for Differential Equations 96
2.11.1 Introduction 96
2.11.2 Differential Galois Theory 97
2.11.3 Lie Symmetries 98
2.11.4 Painleve Theory 99
2.11.5 Completion 102
2.11.6 Differential Ideal Theory 104
2.11.7 Dynamical Systems 105
2.11.8 Numerical Analysis 108
2.12 Symbolic/Numeric Methods 109
2.12.1 Computer Analysis 109
2.12.2 Algorithms for Computing Validated Results 110
Table of Contents xi
2.12.3 Hybrid Methods 112
2.13 Algebraic Complexity Theory 125
2.14 Coding Theory and Cryptography 128
2.14.1 Coding Theory 128
2.14.2 Quantum Coding Theory 130
2.14.3 Cryptography 131
2.15 Algorithmic Methods in Universal Algebra and Logic 132
2.15.1 Term Rewriting Systems 132
2.15.2 Decision Procedures and Quantifier Elimination Meth¬
ods for Algebraic Theories 137
2.16 Knowledge Representation and Abstract Data Types 140
2.16.1 Mathematical Knowledge Representation and Expert
Systems 140
2.16.2 Abstract Data Types 142
2.17 On the Design of Computer Algebra Systems 143
2.17.1 Memory Management 143
2.17.2 Program Verification and Abstract Data Types 144
2.17.3 The Concept of Types 144
2.17.4 Genericity 145
2.17.5 Modularization 145
2.17.6 Parallel Implementation 145
2.17.7 Continuing Development of Computer Algebra Systems . .. 146
2.18 Parallel Computer Algebra Systems 146
2.18.1 Parallel Architectures and Operating Systems Supports . . . 146
2.18.2 Parallel Execution: Mapping and Scheduling 147
2.18.3 Parallelism Expression and Languages 149
2.19 Interfaces and Standardization 150
2.19.1 Interfaces to Word Processors 150
2.19.2 Graphics 150
2.19.3 Interfaces to Numerical Software 150
2.19.4 User Interfaces 152
2.19.5 General Problem Solving Environments 152
2.19.6 Standardisation 153
2.19.7 MathML 154
2.20 Hardware Implementation of Computer Algebra Algorithms 161
3 Applications of Computer Algebra 163
3.1 Physics 163
3.1.1 Elementary Particle Physics 164
3.1.2 Gravity 172
3.1.3 Central Configurations in the Newtonian N Body
Problem of Celestial Mechanics 176
3.1.4 CA Systems for Differential Geometry and Applications . . . 180
3.1.5 Differential Equations in Physics 187
3.2 Mathematics 195
3.2.1 Computer Algebra in Group Theory 196
xii Computer Algebra Handbook
3.2.2 The Tangent Cone Algorithm and Applications in the
Theory of Singularities 197
3.2.3 Automatic Theorem Proving in Geometry 201
3.2.4 Homological Algebra 207
3.2.5 Study of Differential Structures on Quantum Groups 212
3.2.6 Orthogonal Polynomials and Computer Algebra 214
3.2.7 Computer Algebra in Symmetric Bifurcation Theory 215
3.2.8 Symbolic Numeric Treatment of Equivariant Systems
of Equations 216
3.3 Computer Science 217
3.3.1 Computer Algebra in Computer Science 217
3.3.2 Decomposable Structures, Generating Functions and
Average Case of Algorithms 219
3.3.3 Telecommunication Management Networks 221
3.4 Engineering 221
3.4.1 Computer Algebra, a Modern Research Tool for En¬
gineering 221
3.4.2 Critical Load Computations for Jet Engines 226
3.4.3 Audio Signal Processing 227
3.4.4 Robotics 229
3.4.5 Computer Aided Design and Modelling 234
3.5 Chemistry 242
3.5.1 Computer Algebra in Chemistry and Crystallography 242
3.5.2 Chemical Reaction Systems 243
3.6 Computer Algebra in Education 244
3.6.1 New Hand Held Computer Symbolic Algebra Tools
in Mathematics Education 245
3.6.2 The Dutch Perspective 247
3.6.3 Computer Algebra in Teaching and Learning Math¬
ematics: Experiences at the University of Plymouth,
England 250
3.6.4 The Educational Use of Computer Algebra Systems
at the University of Illinois 253
3.6.5 Mathematics Education from a Mathematica Per¬
spective 254
3.6.6 Visualization: Courseware for Mathematics Education 256
4 Computer Algebra Systems 261
4.1 General Purpose Systems 261
4.1.1 AXIOM 261
4.1.2 Aldor 265
4.1.3 Derive and the TI 92 271
4.1.4 Macsyma 283
4.1.5 Magma 295
4.1.6 Maple 308
4.1.7 Mathematica 314
Table of Contents xiii
4.1.8 MuPAD 321
4.1.9 REDUCE 333
4.2 Special Purpose Systems 345
4.2.1 Algebraic Combinatorics Environment (ACE) 345
4.2.2 Building Nonassociative Algebras With Albert 346
4.2.3 ALGEB 348
4.2.4 AMORE 348
4.2.5 Bergman 349
4.2.6 Cannes / Parcan 351
4.2.7 CARAT 354
4.2.8 CASA 356
4.2.9 CHEVIE 359
4.2.10 C Meataxe 363
4.2.11 CoCbA 364
4.2.12 CREP 368
4.2.13 The Desir Project and Its Continuation 370
4.2.14 DISCRETA: A Tool for Constructing ^ Designs 372
4.2.15 FELIX 375
4.2.16 Fermat 380
4.2.17 FoxBox and Other Blackbox Systems 383
4.2.18 GAP 385
4.2.19 GiNaC 391
4.2.20 Kan/sml 392
4.2.21 KANT V4 396
4.2.22 LiDIA 403
4.2.23 Lie 408
4.2.24 LIE 411
4.2.25 A Brief Introduction to Macaulay 2 411
4.2.26 MAS 421
4.2.27 MASYCA 428
4.2.28 MOC 429
4.2.29 NTL: A Library for Doing Number Theory 430
4.2.30 PARI 431
4.2.31 Parsac 434
4.2.32 Quotpic 436
4.2.33 ReDuX 437
4.2.34 REPTILES A Program for Interactively Generating
Periodic Tilings 438
4.2.35 SAC 1, Aldes/SAC 2, Saclib 439
4.2.36 SciNapse: Software that Writes PDE Software 440
4.2.37 SENAC 441
4.2.38 Simath Algorithms in Number Theory 442
4.2.39 Singular A Computer Algebra System for Poly¬
nomial Computations 445
4.2.40 SymbMath 451
xiv Computer Algebra Handbook
4.2.41 Symmetrica 452
4.2.42 Theorema: Computation and Deduction in Natural Style . . 453
4.2.43 Theorist—a User Interface for Symbolic Algebra 454
4.3 Packages 459
4.3.1 ANU Polycyclic Quotient Programs 459
4.3.2 AREP 461
4.3.3 CALI 463
4.3.4 CLN 464
4.3.5 Crack, LiePDE, ApplySym and ConLaw 465
4.3.6 DIMSYM 468
4.3.7 EinS 469
4.3.8 FeynArts and FormCalc 469
4.3.9 FeynCalc Tools and Tables for Elementary Particle
Physics 471
4.3.10 GRAPE 473
4.3.11 Recognising Matrix Groups over Finite Fields 474
4.3.12 MOLGEN 476
4.3.13 ORME 477
4.3.14 Ratappr 477
4.3.15 TTC: Tools of Tensor Calculus 480
5 Meetings and Publications 485
5.1 Conferences and Proceedings 485
5.2 Books on Computer Algebra 490
Cited References 493
Subject Index 623
Index for Authors Contributions 635
|
| any_adam_object | 1 |
| author_GND | (DE-588)109860411 |
| building | Verbundindex |
| bvnumber | BV014862157 |
| callnumber-first | Q - Science |
| callnumber-label | QA155 |
| callnumber-raw | QA155.7.E4 |
| callnumber-search | QA155.7.E4 |
| callnumber-sort | QA 3155.7 E4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 600 |
| classification_tum | DAT 702f |
| ctrlnum | (OCoLC)845536888 (DE-599)BVBBV014862157 |
| dewey-full | 512 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512 |
| dewey-search | 512 |
| dewey-sort | 3512 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02114nam a22005898c 4500</leader><controlfield tag="001">BV014862157</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050718 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">021105s2003 gw ad|| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965261255</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540654666</subfield><subfield code="9">3-540-65466-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845536888</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014862157</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA155.7.E4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 600</subfield><subfield code="0">(DE-625)143681:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">12Y05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">13Pxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">11Yxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer algebra handbook</subfield><subfield code="b">foundations, applications, systems</subfield><subfield code="c">Johannes Grabmeier ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 637 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="e">1 CD-ROM (12 cm)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algèbre</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Application</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul formel</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computerwiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Getaltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Groepentheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciel</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos conjuntos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos grupos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Traitement des données</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Álgebra computacional</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Álgebra linear</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grabmeier, Johannes</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)109860411</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049552&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010049552</subfield></datafield></record></collection> |
| id | DE-604.BV014862157 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:08:04Z |
| institution | BVB |
| isbn | 3540654666 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010049552 |
| oclc_num | 845536888 |
| open_access_boolean | |
| owner | DE-Aug4 DE-739 DE-29T DE-91G DE-BY-TUM DE-20 DE-1050 DE-706 DE-634 DE-83 DE-11 DE-384 |
| owner_facet | DE-Aug4 DE-739 DE-29T DE-91G DE-BY-TUM DE-20 DE-1050 DE-706 DE-634 DE-83 DE-11 DE-384 |
| physical | XX, 637 S. Ill., graph. Darst. 1 CD-ROM (12 cm) |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| spelling | Computer algebra handbook foundations, applications, systems Johannes Grabmeier ... (ed.) Berlin [u.a.] Springer 2003 XX, 637 S. Ill., graph. Darst. 1 CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Algebra gtt Algèbre rasuqam Application rasuqam Calcul formel rasuqam Computerwiskunde gtt Getaltheorie gtt Groepentheorie gtt Logiciel rasuqam Teoria dos conjuntos larpcal Teoria dos grupos larpcal Traitement des données rasuqam Álgebra computacional larpcal Álgebra linear larpcal Datenverarbeitung Algebra Data processing Computeralgebra (DE-588)4010449-7 gnd rswk-swf Computeralgebra (DE-588)4010449-7 s DE-604 Grabmeier, Johannes 1956- Sonstige (DE-588)109860411 oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049552&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer algebra handbook foundations, applications, systems Algebra gtt Algèbre rasuqam Application rasuqam Calcul formel rasuqam Computerwiskunde gtt Getaltheorie gtt Groepentheorie gtt Logiciel rasuqam Teoria dos conjuntos larpcal Teoria dos grupos larpcal Traitement des données rasuqam Álgebra computacional larpcal Álgebra linear larpcal Datenverarbeitung Algebra Data processing Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4010449-7 |
| title | Computer algebra handbook foundations, applications, systems |
| title_auth | Computer algebra handbook foundations, applications, systems |
| title_exact_search | Computer algebra handbook foundations, applications, systems |
| title_full | Computer algebra handbook foundations, applications, systems Johannes Grabmeier ... (ed.) |
| title_fullStr | Computer algebra handbook foundations, applications, systems Johannes Grabmeier ... (ed.) |
| title_full_unstemmed | Computer algebra handbook foundations, applications, systems Johannes Grabmeier ... (ed.) |
| title_short | Computer algebra handbook |
| title_sort | computer algebra handbook foundations applications systems |
| title_sub | foundations, applications, systems |
| topic | Algebra gtt Algèbre rasuqam Application rasuqam Calcul formel rasuqam Computerwiskunde gtt Getaltheorie gtt Groepentheorie gtt Logiciel rasuqam Teoria dos conjuntos larpcal Teoria dos grupos larpcal Traitement des données rasuqam Álgebra computacional larpcal Álgebra linear larpcal Datenverarbeitung Algebra Data processing Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Algebra Algèbre Application Calcul formel Computerwiskunde Getaltheorie Groepentheorie Logiciel Teoria dos conjuntos Teoria dos grupos Traitement des données Álgebra computacional Álgebra linear Datenverarbeitung Algebra Data processing Computeralgebra |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049552&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT grabmeierjohannes computeralgebrahandbookfoundationsapplicationssystems |