Computer Algebra and Symbolic Computation

Computer Algebra and Symbolic Computation
Author: Joel S. Cohen
Publisher: CRC Press
Total Pages: 472
Release: 2003-01-03
Genre: Computers
ISBN: 1439863709

Mathematica, Maple, and similar software packages provide programs that carry out sophisticated mathematical operations. Applying the ideas introduced in Computer Algebra and Symbolic Computation: Elementary Algorithms, this book explores the application of algorithms to such methods as automatic simplification, polynomial decomposition, and polyno

Computer Algebra and Symbolic Computation

Computer Algebra and Symbolic Computation
Author: Joel S. Cohen
Publisher: CRC Press
Total Pages: 323
Release: 2002-07-19
Genre: Computers
ISBN: 1439863695

This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and

Polynomial Algorithms in Computer Algebra

Polynomial Algorithms in Computer Algebra
Author: Franz Winkler
Publisher: Springer Science & Business Media
Total Pages: 294
Release: 1996-08-02
Genre: Mathematics
ISBN: 9783211827598

For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares. In the summers of 1990 and 1992 I have organized and taught summer schools in computer algebra at the Universitat Linz. Gradually a set of course notes has emerged from these activities. People have asked me for copies of the course notes, and different versions of them have been circulating for a few years. Finally I decided that I should really take the time to write the material up in a coherent way and make a book out of it. Here, now, is the result of this work. Over the years many students have been helpful in improving the quality of the notes, and also several colleagues at Linz and elsewhere have contributed to it. I want to thank them all for their effort, in particular I want to thank B. Buchberger, who taught me the theory of Grabner bases nearly two decades ago, B. F. Caviness and B. D. Saunders, who first stimulated my interest in various problems in computer algebra, G. E. Collins, who showed me how to compute in algebraic domains, and J. R. Sendra, with whom I started to apply computer algebra methods to problems in algebraic geometry. Several colleagues have suggested improvements in earlier versions of this book. However, I want to make it clear that I am responsible for all remaining mistakes.

Algorithms for Computer Algebra

Algorithms for Computer Algebra
Author: Keith O. Geddes
Publisher: Springer Science & Business Media
Total Pages: 594
Release: 2007-06-30
Genre: Computers
ISBN: 0585332479

Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such problems as multivariate polynomial arithmetic and greatest common divisor calculations, factorization of multivariate polynomials, symbolic solution of linear and polynomial systems of equations, and analytic integration of elementary functions. Numerous examples are integrated into the text as an aid to understanding the mathematical development. The algorithms developed for each topic are presented in a Pascal-like computer language. An extensive set of exercises is presented at the end of each chapter. Algorithms for Computer Algebra is suitable for use as a textbook for a course on algebraic algorithms at the third-year, fourth-year, or graduate level. Although the mathematical development uses concepts from modern algebra, the book is self-contained in the sense that a one-term undergraduate course introducing students to rings and fields is the only prerequisite assumed. The book also serves well as a supplementary textbook for a traditional modern algebra course, by presenting concrete applications to motivate the understanding of the theory of rings and fields.

Symbolic Computation and Education

Symbolic Computation and Education
Author: Shangzhi Li
Publisher: World Scientific
Total Pages: 256
Release: 2007
Genre: Computers
ISBN: 9812776001

Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a workshop every other year bringing together manufacturers, computer scientists, researchers and operational users to share their experiences and to learn about the latest developments. This volume provides an excellent overview of the latest achievements and plans for the use of new parallel techniques in the fields of meteorology, climatology and oceanography.

Computer Algebra

Computer Algebra
Author: James Harold Davenport
Publisher:
Total Pages: 328
Release: 1993
Genre: Computers
ISBN:

This book still remains the best introduction to computer algebra, catering to both the interested beginner and the experienced pure mathematician and computer scientist. This updated Second Edition provides a comprehensive review, and contains excellent references to fundamental papers and worked examples. In addition to being a general text on the subject, the book includes an appendix describing the use of one particular algebra system-REDUCE.

Symbolic Integration I

Symbolic Integration I
Author: Manuel Bronstein
Publisher: Springer Science & Business Media
Total Pages: 311
Release: 2013-03-14
Genre: Mathematics
ISBN: 3662033860

This first volume in the series "Algorithms and Computation in Mathematics", is destined to become the standard reference work in the field. Manuel Bronstein is the number-one expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computer algebra systems as well as users of symbolic integration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally suitable as a textbook for lecture courses on symbolic integration.

Rational Algebraic Curves

Rational Algebraic Curves
Author: J. Rafael Sendra
Publisher: Springer Science & Business Media
Total Pages: 273
Release: 2007-12-10
Genre: Mathematics
ISBN: 3540737251

The central problem considered in this introduction for graduate students is the determination of rational parametrizability of an algebraic curve and, in the positive case, the computation of a good rational parametrization. This amounts to determining the genus of a curve: its complete singularity structure, computing regular points of the curve in small coordinate fields, and constructing linear systems of curves with prescribed intersection multiplicities. The book discusses various optimality criteria for rational parametrizations of algebraic curves.

Algorithmic Algebra

Algorithmic Algebra
Author: Bhubaneswar Mishra
Publisher: Springer Science & Business Media
Total Pages: 427
Release: 2012-12-06
Genre: Computers
ISBN: 1461243440

Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra or understand the algorithms underlying many popular symbolic computational systems: Mathematica, Maple or Axiom, for instance. Also, researchers in robotics, solid modeling, computational geometry and automated theorem proving community may find it useful as symbolic algebraic techniques have begun to play an important role in these areas. The book, while being self-contained, is written at an advanced level and deals with the subject at an appropriate depth. The book is accessible to computer science students with no previous algebraic training. Some mathematical readers, on the other hand, may find it interesting to see how algorithmic constructions have been used to provide fresh proofs for some classical theorems. The book also contains a large number of exercises with solutions to selected exercises, thus making it ideal as a textbook or for self-study.

A Course in Computational Algebraic Number Theory

A Course in Computational Algebraic Number Theory
Author: Henri Cohen
Publisher: Springer Science & Business Media
Total Pages: 556
Release: 2013-04-17
Genre: Mathematics
ISBN: 3662029456

A description of 148 algorithms fundamental to number-theoretic computations, in particular for computations related to algebraic number theory, elliptic curves, primality testing and factoring. The first seven chapters guide readers to the heart of current research in computational algebraic number theory, including recent algorithms for computing class groups and units, as well as elliptic curve computations, while the last three chapters survey factoring and primality testing methods, including a detailed description of the number field sieve algorithm. The whole is rounded off with a description of available computer packages and some useful tables, backed by numerous exercises. Written by an authority in the field, and one with great practical and teaching experience, this is certain to become the standard and indispensable reference on the subject.