This book explains recent results in the theory of moving frames that concern the symbolic manipulation of invariants of Lie group actions. In particular, theorems concerning the calculation of generators of algebras of differential invariants, and the relations they satisfy, are discussed in detail. The author demonstrates how new ideas lead to significant progress in two main applications: the solution of invariant ordinary differential equations and the structure of Euler-Lagrange equations and conservation laws of variational problems. The expository language used here is primarily that of undergraduate calculus rather than differential geometry, making the topic more accessible to a student audience. More sophisticated ideas from differential topology and Lie theory are explained from scratch using illustrative examples and exercises. This book is ideal for graduate students and researchers working in differential equations, symbolic computation, applications of Lie groups and, to a lesser extent, differential geometry.

This book explains recent results in the theory of moving frames that concern the symbolic manipulation of invariants of Lie group actions. In particular, theorems concerning the calculation of generators of algebras of differential invariants, and the relations they satisfy, are discussed in detail. The author demonstrates how new ideas lead to significant progress in two main applications: the solution of invariant ordinary differential equations and the structure of Euler-Lagrange equations and conservation laws of variational problems. The expository language used here is primarily that of undergraduate calculus rather than differential geometry, making the topic more accessible to a student audience. More sophisticated ideas from differential topology and Lie theory are explained from scratch using illustrative examples and exercises. This book is ideal for graduate students and researchers working in differential equations, symbolic computation, applications of Lie groups and, to a lesser extent, differential geometry.

This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the relationships between them. The topics covered range from powerful new theoretical developments, to successful applications, and the development of new software and hardware tools. Topics and features: provides hands-on review exercises throughout the book, together with helpful chapter summaries; presents a concise introductory tutorial to conformal geometric algebra (CGA) in the appendices; examines the application of CGA for the description of rigid body motion, interpolation and tracking, and image processing; reviews the employment of GA in theorem proving and combinatorics; discusses the geometric algebra of lines, lower-dimensional algebras, and other alternatives to 5-dimensional CGA; proposes applications of coordinate-free methods of GA for differential geometry.

This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 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.

The papers collected here discuss topics such as Lie symmetries, equivalence transformations and differential invariants, group theoretical methods in linear equations, and the development of some geometrical methods in theoretical physics. The reader will find new results in symmetries of differential and difference equations, applications in classical and quantum mechanics, two fundamental problems of theoretical mechanics, and the mathematical nature of time in Lagrangian mechanics.

A diverse collection of articles by leading experts in computational mathematics, written to appeal to established researchers and non-experts.

The Białowieża workshops on Geometric Methods in Physics, taking place in the unique environment of the Białowieża natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the workshop were asked to contribute, and additional review articles were added. The selection shows that despite its now long tradition the workshop remains always at the cutting edge of ongoing research. The XXXI workshop had as a special topic the works of the late Boris Vasilievich Fedosov (1938–2011) who is best known for a simple and very natural construction of a deformation quantization for any symplectic manifold, and for his contributions to index theory.​

This first book on greedy approximation gives a systematic presentation of the fundamental results. It also contains an introduction to two hot topics in numerical mathematics: learning theory and compressed sensing. Nonlinear approximation is becoming increasingly important, especially since two types are frequently employed in applications: adaptive methods are used in PDE solvers, while m-term approximation is used in image/signal/data processing, as well as in the design of neural networks. The fundamental question of nonlinear approximation is how to devise good constructive methods (algorithms) and recent results have established that greedy type algorithms may be the solution. The author has drawn on his own teaching experience to write a book ideally suited to graduate courses. The reader does not require a broad background to understand the material. Important open problems are included to give students and professionals alike ideas for further research.

The method of moving frames originated in the early nineteenth century with the notion of the Frenet frame along a curve in Euclidean space. Later, Darboux expanded this idea to the study of surfaces. The method was brought to its full power in the early twentieth century by Elie Cartan, and its development continues today with the work of Fels, Olver, and others. This book is an introduction to the method of moving frames as developed by Cartan, at a level suitable for beginning graduate students familiar with the geometry of curves and surfaces in Euclidean space. The main focus is on the use of this method to compute local geometric invariants for curves and surfaces in various 3-dimensional homogeneous spaces, including Euclidean, Minkowski, equi-affine, and projective spaces. Later chapters include applications to several classical problems in differential geometry, as well as an introduction to the nonhomogeneous case via moving frames on Riemannian manifolds. The book is written in a reader-friendly style, building on already familiar concepts from curves and surfaces in Euclidean space. A special feature of this book is the inclusion of detailed guidance regarding the use of the computer algebra system Maple™ to perform many of the computations involved in the exercises.

This book offers a comprehensive introduction to the theory of linear and nonlinear Volterra integral equations (VIEs), ranging from Volterra's fundamental contributions and the resulting classical theory to more recent developments that include Volterra functional integral equations with various kinds of delays, VIEs with highly oscillatory kernels, and VIEs with non-compact operators. It will act as a 'stepping stone' to the literature on the advanced theory of VIEs, bringing the reader to the current state of the art in the theory. Each chapter contains a large number of exercises, extending from routine problems illustrating or complementing the theory to challenging open research problems. The increasingly important role of VIEs in the mathematical modelling of phenomena where memory effects play a key role is illustrated with some 30 concrete examples, and the notes at the end of each chapter feature complementary references as a guide to further reading.