This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory. Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory. One of the strengths of algebraic methods lies in their close connections to computations. The use of the above-mentioned algebraic theories in control theory has been an important source of motivation to develop effective versions of these theories (when possible). With the development of computer algebra and computer algebra systems, symbolic methods for control theory have been developed over the past years. The goal of this book is to propose a partial state of the art in this direction. To make recent results more easily accessible to a large audience, the chapters include materials which survey the main mathematical methods and results and which are illustrated with explicit examples.

Mathematics of Computing -- Numerical Analysis.

This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.

This volume consists of papers delivered at the International Mathematica Symposium 2003 ? an interdisciplinary meeting bringing together users of Mathematica in research and education. It gathers research papers, reports on classroom practice, reports on the use of Mathematica in industry and commerce, and descriptions of fresh applications.List of contributors: J Nash, S Wolfram, R Maeder, B Buchberger and C McTague.

Fifteen contributions provide an up-to-date treatment of issues in system modeling, system analysis, design and synthesis methods, and nonlinear systems. Coverage includes the application of multidimensional Laplace transforms to the modeling of nonlinear elements, a survey of customized computer algebra modeling programs for multibody dynamical systems, robust control of linear systems using a new linear programming approach, the development and testing of a new branch-and-bound algorithm fir global optimization using symbolic algebra techniques, and dynamic sliding mode control design using symbolic algebra tools.

This book starts with an overview of the research of Gröbner bases which have many applications in various areas of mathematics since they are a general tool for the investigation of polynomial systems. The next chapter describes algorithms in invariant theory including many examples and time tables. These techniques are applied in the chapters on symmetric bifurcation theory and equivariant dynamics. This combination of different areas of mathematics will be interesting to researchers in computational algebra and/or dynamics.

The aim of this book is to present important software tools, basic concepts, methods, and highly sophisticated applications of computerized symbolic manipulation to mechanics problems. An overview about general-purpose symbolic software is followed by general guidelines how to develop and implement high-quality computer algebra code. The theoretical background including modeling techniques for mechanical systems is provided which allows for the computer aided generation of the symbolic equation of motion for multibody systems. It is shown how the governing equations for different types of problems in structural mechanics can be automatically derived and how to implement finite element techniques via computer algebra software. Perturbation methods as a very powerful approach for nonlinear problems are discussed in detail and are demonstrated for a number of applications. The applications covered in this book represent some of the most advanced topics in the rapidly growing field of research on symbolic computation.