Elimination Methods in Polynomial Computer Algebra


Book Description

The subject of this book is connected with a new direction in mathematics, which has been actively developed over the last few years, namely the field of polynomial computer algebra, which lies at the intersection point of algebra, mathematical analysis and programming. There were several incentives to write the book. First of all, there has lately been a considerable interest in applied nonlinear problems characterized by multiple sta tionary states. Practical needs have then in their turn led to the appearance of new theoretical results in the analysis of systems of nonlinear algebraic equations. And finally, the introduction of various computer packages for analytic manipulations has made it possible to use complicated elimination-theoretical algorithms in prac tical research. The structure of the book is accordingly represented by three main parts: Mathematical results driven to constructive algorithms, computer algebra realizations of these algorithms, and applications. Nonlinear systems of algebraic equations arise in diverse fields of science. In particular, for processes described by systems of differential equations with a poly nomial right hand side one is faced with the problem of determining the number (and location) of the stationary states in certain sets.




Elimination Methods


Book Description

This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, the book also covers the theory and techniques of resultants and Gröbner bases. The methods and their efficiency are illustrated by fully worked out examples and their applications to selected problems such as from polynomial ideal theory, automated theorem proving in geometry and the qualitative study of differential equations. The reader will find the formally described algorithms ready for immediate implementation and applicable to many other problems. Suitable as a graduate text, this book offers an indispensable reference for everyone interested in mathematical computation, computer algebra (software), and systems of algebraic equations.







Computer Algebra and Symbolic Computation


Book Description

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




Computer Algebra Handbook


Book Description

This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.




Kinetics of Chemical Reactions


Book Description

This systematic presentation covers both experimental and theoretical kinetic methods, as well as fundamental and applied. The identification of dominant reaction paths, reaction intermediates and rate-determining steps allows a quantification of the effects of reaction conditions and catalyst properties, providing guidelines for catalyst optimization. In addition, the form in which the equations are presented allows for their straightforward implementation for scale-up and chemical reactor design purposes. Throughout, the methodologies given are illustrated by many examples.




Computer Algebra in Scientific Computing


Book Description

This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.




Computer Algebra in Scientific Computing


Book Description

This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The volume is dedicated to Professor Vladimir P. Gerdt on the occasion of his 60th birthday. The 35 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.




Solving Polynomial Equations


Book Description

This book provides a general introduction to modern mathematical aspects in computing with multivariate polynomials and in solving algebraic systems. It presents the state of the art in several symbolic, numeric, and symbolic-numeric techniques, including effective and algorithmic methods in algebraic geometry and computational algebra, complexity issues, and applications ranging from statistics and geometric modelling to robotics and vision. Graduate students, as well as researchers in related areas, will find an excellent introduction to currently interesting topics. These cover Groebner and border bases, multivariate resultants, residues, primary decomposition, multivariate polynomial factorization, homotopy continuation, complexity issues, and their applications.




Computer Algebra With Symbolicc++


Book Description

This book gives a comprehensive introduction to computer algebra together with advanced topics in this field. It provides a detailed coverage of the mathematics of computer algebra as well as a step-by-step guide to implement a computer algebra system in the object-oriented language C++. The used tools from C++ are introduced in detail.Numerous examples from mathematics, physics and engineering are presented to illustrate the system's capabilities. Computer algebra implementations in LISP and Haskell are also included. In addition, gene expression programming and multiexpression programming with applications to computer algebra are introduced.