Differential algebra explores properties of solutions to systems of (ordinary or partial, linear or nonlinear) differential equations from an algebraic point of view. It includes as special cases algebraic systems as well as differential systems with algebraic constraints. This algebraic theory of Joseph F Ritt and Ellis R Kolchin is further enriched by its interactions with algebraic geometry, Diophantine geometry, differential geometry, model theory, control theory, automatic theorem proving, combinatorics, and difference equations. Differential algebra now plays an important role in computational methods such as symbolic integration, and symmetry analysis of differential equations. This volume includes tutorial and survey papers presented at workshop.

Differential algebra explores properties of solutions of systems of (ordinary or partial, linear or non-linear) differential equations from an algebraic point of view. It includes as special cases algebraic systems as well as differential systems with algebraic constraints. This algebraic theory of Joseph F Ritt and Ellis R Kolchin is further enriched by its interactions with algebraic geometry, Diophantine geometry, differential geometry, model theory, control theory, automatic theorem proving, combinatorics, and difference equations. Differential algebra now plays an important role in computational methods such as symbolic integration and symmetry analysis of differential equations. These proceedings consist of tutorial and survey papers presented at the Second International Workshop on Differential Algebra and Related Topics at Rutgers University, Newark in April 2007. As a sequel to the proceedings of the First International Workshop, this volume covers more related subjects, and provides a modern and introductory treatment to many facets of differential algebra, including surveys of known results, open problems, and new, emerging, directions of research. It is therefore an excellent companion and reference text for graduate students and researchers.

This book constitutes the proceedings of the 5th International Meeting on Algebraic and Algorithmic Aspects of Differential and Integral Operators, AADIOS 2012, held at the Applications of Computer Algebra Conference in Sofia, Bulgaria, on June 25-28, 2012. The total of 9 papers presented in this volume consists of 2 invited papers and 7 regular papers which were carefully reviewed and selected from 13 submissions. The topics of interest are: symbolic computation for operator algebras, factorization of differential/integral operators, linear boundary problems and green's operators, initial value problems for differential equations, symbolic integration and differential galois theory, symbolic operator calculi, algorithmic D-module theory, rota-baxter algebra, differential algebra, as well as discrete analogs and software aspects of the above.

Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.

This new volume introduces readers to the current topics of industrial and applied mathematics in China, with applications to material science, information science, mathematical finance and engineering. The authors utilize mathematics for the solution of problems. The purposes of the volume are to promote research in applied mathematics and computational science; further the application of mathematics to new methods and techniques useful in industry and science; and provide for the exchange of information between the mathematical, industrial, and scientific communities.

On the occasion of the 150th anniversary of Sophus Lie, an International Work shop "Modern Group Analysis: advanced analytical and computational methods in mathematical physics" has been organized in Acireale (Catania, Sicily, October 27 31, 1992). The Workshop was aimed to enlighten the present state ofthis rapidly expanding branch of applied mathematics. Main topics of the Conference were: • classical Lie groups applied for constructing invariant solutions and conservation laws; • conditional (partial) symmetries; • Backlund transformations; • approximate symmetries; • group analysis of finite-difference equations; • problems of group classification; • software packages in group analysis. The success of the Workshop was due to the participation of many experts in Group Analysis from different countries. This book consists of selected papers presented at the Workshop. We would like to thank the Scientific Committee for the generous support of recommending invited lectures and selecting the papers for this volume, as well as the members of the Organizing Committee for their help. The Workshop was made possible by the financial support of several sponsors that are listed below. It is also a pleasure to thank our colleague Enrico Gregorio for his invaluable help of this volume.