
Computer Algebra Handbook
Foundations · Applications · Systems
By: M. Hitz (Translator), Johannes Grabmeier (Editor), Erich Kaltofen (Editor)
Hardcover | 26 November 2002
At a Glance
662 Pages
24.13 x 14.61 x 4.45
Hardcover
$196.99
or 4 interest-free payments of $49.25 with
orShips in 5 to 7 business days
Industry Reviews
From the reviews:
"This is a substantially enlarged report originally covering the state and future of computer algebra in Germany. ... Overall, it gives a high-level (in the sense of abstraction; no theorems, let alone proofs, are in general provided) autoritative overview of what is going on and should be of help to poeple looking for a research topic, software for specific problems or, later on, writing on the history of the subject."
H.Muthsam, Monatshefte fuer Mathematik 142, issue 2, p. 170, 2004
"This handbook is very impressive. Written by more than two hundred spcialists, this international eidition of a previous German report presents the state of the art of a large field of computational mathematics called computer algebra. .... So, as Bob Caviness says in the preface of the book, "Gentle reader, I recommend this volume and all its concepts, symbols, and algorihtms to you."
J.M.Ollagnier, Mathematical Reviews Clippings from Issue 2004h
"This encyclopaedic book is a wonderful source of information on computer algebra. ... Although most people who come to this book will probably use it as an encyclopaedia, it is much more than that. Researchers in coputer algebra will benefit from the extensive bibliography, and lecturers will find it a mine of ideas for interesting topics that might be discussed in a course on computer algebra and its applications. Finally, to all computer algebra aficionados this book will also provide wonderful entertainment for many a rainy day."
S.C.Coutinho, The Mathematical Gazette Vol. 88, Issue 512 (2004) 410-411
"... A handbook must be considered as well-composed if it addresses "all" issues of the area and if its individual articles provide rough surveys of their subject and point the reader to the relevant recent literature. From this point of view, this Computer Algebra Handbook is certainly well-composed: To strangers of the area it offers easy gatheringof information about a particular subject (to be located either through the Table of Contents or the Subject Index"; to experts in computer algebra, it provides access to subjects outside their expertise. ... The team of editors must be congratulated upon succeeding in collecting contributions of more than 200 authors which make a concise and homogeneous volume."
H.Stetter, IMN - Internationale Mathematische Nachrichten 194, 2003
"... The interesting focus of the book is the fact that the editors have been able to encourage about 200 specialsit on different branches of the subject to contribute to the project. ... In fact it is a handbook of present day status of computer algebra. It may serve as an encyclopedia of computer algebra for an interested user. Moreover it might be useful for any potential user to consult the book for the presnet day status of the problems he has in mind. So it could be helpful to pursue her or his own work by integrating methods from computer algebra. One should be grateful to the editors to organize this amount of work in order to integrate the international computer algebra community for such an anlysis of the present day state of the field."
P.Schenzel, Zentralblatt fuer Mathematik 1017.68162, 2003
"In fact it is a handbook of present day status of the computer algebra. It may serve as an encyclopedia of computer algebra for an interested user. ... So it could be helpful to pursue her or his own work by integrating methods from computer algebra. One should be grateful to the editors to organize this amount of work in order to integrate the international computer algebra community for such an analysis of the present day state of the field." (Peter Schenzel, Zentralblatt MATH, Issue 1017, 2003)
"This is a substantially enlarged report originally covering the state and future of computer algebra in Germany. ... Overall, it gives a high-level ... authoritative overview of what is going on andshould be of help to people looking for a research topic, software for specific problems or, later on, writing on the history of the subject." (H. Muthsam, Monatshefte fuer Mathematik, Vol. 143 (2), 2004)
"This encyclopaedic book is a wonderful source of information on computer algebra. ... Although most people who come to this book will probably use it as an encyclopaedia, it is much more than that. Researchers in computer algebra will benefit from the extensive bibliography, and lecturers will find in it a mine of ideas for interesting topics that might be discussed in a course ... . Finally, to all computer algebra aficionados this book will also provide wonderful entertainment for many a rainy day." (S. C. Coutinho, The Mathematical Gazette, Vol. 88 (512), 2004)
"This handbook is very impressive. Written by more than two hundred specialists, this international edition of a previous German report presents the state of the art of a large field of computational mathematics called computer algebra. Both aspects of this wide domain are well described. ... So, as Bob Caviness says in the preface of the book, 'Gentle reader, I recommend this volume and all its concepts, symbols, and algorithms to you.'" (Jean Moulin Ollagnier, Mathematical Reviews, 2004 h)
"A handbook must be considered as well-composed if it addresses 'all' issues of the area and if its individual articles provide rough surveys of their subject and point the reader to the relevant recent literature. From this point of view, this Computer Algebra Handbook is certainly well-composed ... . The team of editors must be congratulated upon succeeding in collecting contributions of more than 200 authors which make a concise and homogeneous volume." (H. Stetter, Internationale Mathematische Nachrichten, Issue 194, 2003)
"This is a handbook on computer algebra that intends to be as complete as possible, taking into account the large amount of available computer software.The book shows the state of research and applications in the last decade of the twentieth century. ... There are over 200 contributing authors ... resulting in a diversity of styles and concepts. ... a useful handbook both for experts and non-experts, and it could have a broader impact thanks to the diversity of multiple authorship." (Paula Bruggen, Bulletin of the Belgian Mathematical Society, 2007)
| Foreword | p. v |
| Editorial Remarks | p. vii |
| Table of Contents | p. ix |
| List of Contributing Authors | p. xv |
| Development, Characterization, Prospects | p. 1 |
| Historical Remarks | p. 1 |
| General Characterization | p. 1 |
| Impact on Education | p. 2 |
| Impact on Research | p. 4 |
| Computer Algebra - Today and Tomorrow | p. 6 |
| Today | p. 6 |
| Outlook | p. 7 |
| Topics of Computer Algebra | p. 11 |
| Exact Arithmetic | p. 11 |
| Long Integer Arithmetic | p. 11 |
| Arithmetic with Polynomials, Rational Functions and Power Series | p. 13 |
| Euclid's Algorithm and Continued Fractions | p. 16 |
| Modular Arithmetic and the Chinese Remainder Theorem | p. 17 |
| Computations with Algebraic Numbers | p. 18 |
| Real Algebraic Numbers | p. 19 |
| p-adic Numbers and Approximations | p. 20 |
| Finite Fields | p. 21 |
| Algorithms for Polynomials and Power Series | p. 23 |
| The Division Algorithm | p. 23 |
| Factorization of Polynomials | p. 24 |
| Absolute Factorization of Polynomials | p. 26 |
| Polynomial Decomposition | p. 26 |
| Gröbner Bases | p. 28 |
| Standard Bases | p. 32 |
| Characteristic Sets | p. 32 |
| Algorithmic Invariant Theory | p. 33 |
| Linear Algebra | p. 36 |
| Linear Systems | p. 36 |
| Algorithms for Matrix Canonical Forms | p. 38 |
| Constructive Methods of Number Theory | p. 41 |
| Primality Tests | p. 41 |
| Integer Factorization | p. 44 |
| Algebraic Number Fields and Algebraic Function Fields | p. 45 |
| Galois Groups | p. 47 |
| Rational Points on Elliptic Curves | p. 48 |
| Geometry of Numbers | p. 50 |
| Algorithms of Commutative Algebra and Algebraic Geometry | p. 51 |
| Algorithms for Polynomial Ideals and Their Varieties | p. 51 |
| Singularities of Varieties | p. 54 |
| Real Algebraic Geometry | p. 55 |
| Algorithmic Aspects of the Theory of Algebras | p. 57 |
| Structure Constants | p. 58 |
| Generators and Relations, Swapping and G-Algebras | p. 58 |
| Monad Algebras, Path Algebras and Generalizations | p. 59 |
| Finite-Dimensional Lie Algebras | p. 60 |
| Non-commutative Gröbner Bases | p. 60 |
| Structural Issues and Classification | p. 63 |
| Identities | p. 63 |
| Computational Aspects in the Representation Theory of Quivers and Path Algebras | p. 64 |
| Computational Group Theory | p. 65 |
| A Crash Course in Group Theory | p. 66 |
| Describing Groups | p. 67 |
| A Brief History | p. 69 |
| Permutation Groups | p. 71 |
| Matrix Groups | p. 74 |
| Black Box Groups | p. 75 |
| Abelian Groups | p. 76 |
| Polycyclic Groups | p. 76 |
| Finitely Presented Groups | p. 78 |
| Group-Theoretic Software | p. 83 |
| Another Perspective | p. 83 |
| Algorithms of Representation Theory | p. 84 |
| Ordinary Representation Theory | p. 84 |
| Modular Representation Theory | p. 85 |
| Generic Character Tables | p. 87 |
| Summary of Systems | p. 88 |
| Algebraic Methods for Constructing Discrete Structures | p. 89 |
| Summation and Integration | p. 91 |
| Definite Summation and Hypergeometric Identities | p. 91 |
| Symbolic Integration | p. 94 |
| Symbolic Methods for Differential Equations | p. 96 |
| Introduction | p. 96 |
| Differential Galois Theory | p. 97 |
| Lie Symmetries | p. 98 |
| Painlevé Theory | p. 99 |
| Completion | p. 102 |
| Differential Ideal Theory | p. 104 |
| Dynamical Systems | p. 105 |
| Numerical Analysis | p. 108 |
| Symbolic/Numeric Methods | p. 109 |
| Computer Analysis | p. 109 |
| Algorithms for Computing Validated Results | p. 110 |
| Hybrid Methods | p. 112 |
| Algebraic Complexity Theory | p. 125 |
| Coding Theory and Cryptography | p. 128 |
| Coding Theory | p. 128 |
| Quantum Coding Theory | p. 130 |
| Cryptography | p. 131 |
| Algorithmic Methods in Universal Algebra and Logic | p. 132 |
| Term Rewriting Systems | p. 132 |
| Decision Procedures and Quantifier Elimination Methods for Algebraic Theories | p. 137 |
| Knowledge Representation and Abstract Data Types | p. 140 |
| Mathematical Knowledge Representation and Expert Systems | p. 140 |
| Abstract Data Types | p. 142 |
| On the Design of Computer Algebra Systems | p. 143 |
| Memory Management | p. 143 |
| Program Verification and Abstract Data Types | p. 144 |
| The Concept of Types | p. 144 |
| Genericity | p. 145 |
| Modularization | p. 145 |
| Parallel Implementation | p. 145 |
| Continuing Development of Computer Algebra Systems | p. 146 |
| Parallel Computer Algebra Systems | p. 146 |
| Parallel Architectures and Operating Systems Supports | p. 146 |
| Parallel Execution: Mapping and Scheduling | p. 147 |
| Parallelism Expression and Languages | p. 149 |
| Interfaces and Standardization | p. 150 |
| Interfaces to Word Processors | p. 150 |
| Graphics | p. 150 |
| Interfaces to Numerical Software | p. 150 |
| User Interfaces | p. 152 |
| General Problem-Solving Environments | p. 152 |
| Standardisation | p. 153 |
| MathML | p. 154 |
| Hardware Implementation of Computer Algebra Algorithms | p. 161 |
| Applications of Computer Algebra | p. 163 |
| Physics | p. 163 |
| Elementary Particle Physics | p. 164 |
| Gravity | p. 172 |
| `Central Configurations' in the Newtonian N-Body Problem of Celestial Mechanics | p. 176 |
| CA-Systems for Differential Geometry and Applications | p. 180 |
| Differential Equations in Physics | p. 187 |
| Mathematics | p. 195 |
| Computer Algebra in Group Theory | p. 196 |
| The Tangent Cone Algorithm and Applications in the Theory of Singularities | p. 197 |
| Automatic Theorem Proving in Geometry | p. 201 |
| Homological Algebra | p. 207 |
| Study of Differential Structures on Quantum Groups | p. 212 |
| Orthogonal Polynomials and Computer Algebra | p. 214 |
| Computer Algebra in Symmetric Bifurcation Theory | p. 215 |
| Symbolic-Numeric Treatment of Equivariant Systems of Equations | p. 216 |
| Computer Science | p. 217 |
| Computer Algebra in Computer Science | p. 217 |
| Decomposable Structures, Generating Functions and Average-Case of Algorithms | p. 219 |
| Telecommunication Management Networks | p. 221 |
| Engineering | p. 221 |
| Computer Algebra, a Modern Research Tool for Engineering | p. 221 |
| Critical Load Computations for Jet Engines | p. 226 |
| Audio Signal Processing | p. 227 |
| Robotics | p. 229 |
| Computer Aided Design and Modelling | p. 234 |
| Chemistry | p. 242 |
| Computer Algebra in Chemistry and Crystallography | p. 242 |
| Chemical Reaction Systems | p. 243 |
| Computer Algebra in Education | p. 244 |
| New Hand-Held Computer Symbolic Algebra Tools in Mathematics Education | p. 245 |
| The Dutch Perspective | p. 247 |
| Computer Algebra in Teaching and Learning Math-ematics: Experiences at the University of Plymouth, England | p. 250 |
| The Educational Use of Computer Algebra Systems at the University of Illinois | p. 253 |
| Mathematics Education from a MATHEMATICA Per-spective | p. 254 |
| Visualization: Courseware for Mathematics Education | p. 256 |
| Computer Algebra Systems | p. 261 |
| General Purpose Systems | p. 261 |
| AXIOM | p. 261 |
| Aldor | p. 265 |
| Derive and the TI 92 | p. 271 |
| Macsyma | p. 283 |
| Magma | p. 295 |
| Maple | p. 308 |
| Mathematica | p. 314 |
| MuPAD | p. 321 |
| REDUCE | p. 333 |
| Special Purpose Systems | p. 345 |
| Algebraic Combinatorics Environment (ACE) | p. 345 |
| Building Nonassociative Algebras With Albert | p. 346 |
| ALGEB | p. 348 |
| AMORE | p. 348 |
| Bergman | p. 349 |
| Cannes / Parcan | p. 351 |
| CARAT | p. 354 |
| CASA | p. 356 |
| CHEVIE | p. 359 |
| C-Meataxe | p. 363 |
| CoCoA | p. 364 |
| CREP | p. 368 |
| The Desir Project and Its Continuation | p. 370 |
| DISCRETA: A Tool for Constructing t-Designs | p. 372 |
| FELIX | p. 375 |
| Fermat | p. 380 |
| FoxBox and Other Blackbox Systems | p. 383 |
| GAP | p. 385 |
| GiNaC | p. 391 |
| Kan/sm1 | p. 392 |
| KANT V4 | p. 396 |
| LiDIA | p. 403 |
| Lie | p. 408 |
| LIE | p. 411 |
| A Brief Introduction to Macaulay 2 | p. 411 |
| MAS | p. 421 |
| MASYCA | p. 428 |
| MOC | p. 429 |
| NTL: A Library for Doing Number Theory | p. 430 |
| PARI | p. 431 |
| Parsac | p. 434 |
| Quotpic | p. 436 |
| ReDuX | p. 437 |
| RepTiles A Program for Interactively Generating Periodic Tilings | p. 438 |
| SAC I. Aides SAC 2, Saclib | p. 439 |
| SciNapse: Software that Writes PDE Software | p. 440 |
| SENAC | p. 441 |
| Simath - Algorithms in Number Theory | p. 442 |
| Singular - A Computer Algebra System for Polynomial Computations | p. 445 |
| SymbMath | p. 451 |
| Symmetrica | p. 452 |
| Theorema: Computation and Deduction in Natural Style | p. 453 |
| Theorist-a User Interface for Symbolic Algebra | p. 454 |
| Packages | p. 459 |
| ANU Polycyclic Quotient Programs | p. 459 |
| AREP | p. 461 |
| CALI | p. 463 |
| CLN | p. 464 |
| Crack, LiePDE, ApplySym and ConLaw | p. 465 |
| DIMSYM | p. 468 |
| EinS | p. 469 |
| FeynArts and FormCalc | p. 469 |
| FeynCalc - Tools and Tables for Elementary Particle Physics | p. 471 |
| GRAPE | p. 473 |
| Recognising Matrix Groups over Finite Fields | p. 474 |
| MOLGEN | p. 476 |
| ORME | p. 477 |
| Ratappr | p. 477 |
| TTC: Tools of Tensor Calculus | p. 480 |
| Meetings and Publications | p. 485 |
| Conferences and Proceedings | p. 485 |
| Books on Computer Algebra | p. 490 |
| Cited References | p. 493 |
| Subject Index | p. 623 |
| Index for Authors' Contributions | p. 635 |
| Table of Contents provided by Publisher. All Rights Reserved. |
ISBN: 9783540654667
ISBN-10: 3540654666
Series: With Cd-Rom, Demo Versions
Published: 26th November 2002
Format: Hardcover
Language: English
Number of Pages: 662
Audience: Professional and Scholarly
Publisher: Springer Nature B.V.
Country of Publication: DE
Dimensions (cm): 24.13 x 14.61 x 4.45
Weight (kg): 1.15
Shipping
| Standard Shipping | Express Shipping | |
|---|---|---|
| Metro postcodes: | $9.99 | $14.95 |
| Regional postcodes: | $9.99 | $14.95 |
| Rural postcodes: | $9.99 | $14.95 |
Orders over $79.00 qualify for free shipping.
How to return your order
At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.
Additional postage charges may be applicable.
Defective items
If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.
For more info please visit our Help Centre.
You Can Find This Book In

Essential Math for Data Science
Take Control of Your Data with Fundamental Linear Algebra, Probability, and Statistics
Paperback
RRP $125.75
$60.99
OFF
This product is categorised by
- Non-FictionMathematicsAlgebra
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of ComputationMaths for Computer Scientists
- Non-FictionComputing & I.T.Business ApplicationsMathematical & Statistical Software
- Non-FictionComputing & I.T.DatabasesData Capture & Analysis
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentAlgorithms & Data Structures
- Non-FictionMathematicsApplied Mathematics
























