Symmetry methods have long been recognized to be of great importance for the study of the differential equations. This book provides a solid introduction to those applications of Lie groups to differential equations which have proved to be useful in practice. The computational methods are presented so that graduate students and researchers can readily learn to use them. Following an exposition of the applications, the book develops the underlying theory. Many of the topics are presented in a novel way, with an emphasis on explicit examples and computations. Further examples, as well as new...

This book presents an innovative synthesis of methods used to study the problems of equivalence and symmetry that arise in a variety of mathematical fields and physical applications. It draws on a wide range of disciplines, including geometry, analysis, applied mathematics, and algebra. Dr. Olver develops systematic and constructive methods for solving equivalence problems and calculating symmetries, and applies them to a variety of mathematical systems, including differential equations, variational problems, manifolds, Riemannian metrics, polynomials, and differential operators. He...

There has been a resurgence of interest in classical invariant theory driven by several factors: new theoretical developments; a revival of computational methods coupled with powerful new computer algebra packages; and a wealth of new applications, ranging from number theory to geometry, physics to computer vision. This book provides readers with a self-contained introduction to the classical theory as well as modern developments and applications. The text concentrates on the study of binary forms (polynomials) in characteristic zero, and uses analytical as well as algebraic tools to study...

There has been a resurgence of interest in classical invariant theory driven by several factors: new theoretical developments; a revival of computational methods coupled with powerful new computer algebra packages; and a wealth of new applications, ranging from number theory to geometry, physics to computer vision. This book provides readers with a self-contained introduction to the classical theory as well as modern developments and applications. The text concentrates on the study of binary forms (polynomials) in characteristic zero, and uses analytical as well as algebraic tools to study...

MathematicsMechanization consistsoftheory, softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization, Algori- mization, Application). The name Mathematics Mechanization has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely...

This volume comprises some of the key work presented at two IMA Workshops on Computer Vision during fall of 2000. Recent years have seen significant advances in the application of sophisticated mathematical theories to the problems arising in image processing. Basic issues include image smoothing and denoising, image enhancement, morphology, image compression, and segmentation (determining boundaries of objectsuincluding problems of camera distortion and partial occlusion). Several mathematical approaches have emerged, including methods based on nonlinear partial differential equations,...

This book presents an innovative synthesis of methods used to study the problems of equivalence and symmetry that arise in a variety of mathematical fields and physical applications. It draws on a wide range of disciplines, including geometry, analysis, applied mathematics, and algebra. Dr. Olver develops systematic and constructive methods for solving equivalence problems and calculating symmetries, and applies them to a variety of mathematical systems, including differential equations, variational problems, manifolds, Riemannian metrics, polynomials, and differential operators. He...

This volume comprises some of the key work presented at two IMA Workshops on Computer Vision during fall of 2000. Recent years have seen significant advances in the application of sophisticated mathematical theories to the problems arising in image processing. Basic issues include image smoothing and denoising, image enhancement, morphology, image compression, and segmentation (determining boundaries of objectsuincluding problems of camera distortion and partial occlusion). Several mathematical approaches have emerged, including methods based on nonlinear partial differential equations,...

This IMA Volume in Mathematics and its Applications SOLITONS IN PHYSICS, MATHEMATICS, AND NONLINEAR OPTICS is based on the proceedings of two workshops which were an integral part of the 1988-89 IMA program on NONLINEAR WAVES. The workshops focussed on the main parts of the theory of solitons and on the applications of solitons in physics, biology and engineering, with a special concentration on nonlinear optics. We thank the Coordinating Committee: James Glimm, Daniel Joseph, Barbara Keyfitz, An- Majda, Alan Newell, Peter Olver, David Sattinger and David Schaeffer for drew planning and...