Each of these comprehensive lab manuals will help students learn to effectively use the technology tools available to them. Each lab contains clearly explained exercises and a variety of labs and projects to accompany the text.

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

This book is a comprehensive survey of the mathematical concepts and principles of industrial mathematics. Its purpose is to provide students and professionals with an understanding of the fundamental mathematical principles used in Industrial Mathematics/OR in modeling problems and application solutions. All the concepts presented in each chapter have undergone the learning scrutiny of the author and his students. The illustrative material throughout the book was refined for student comprehension as the manuscript developed through its iterations, and the chapter exercises are refined from the previous year's exercises.

Functions in R and C, including the theory of Fourier series, Fourier integrals and part of that of holomorphic functions, form the focal topic of these two volumes. Based on a course given by the author to large audiences at Paris VII University for many years, the exposition proceeds somewhat nonlinearly, blending rigorous mathematics skilfully with didactical and historical considerations. It sets out to illustrate the variety of possible approaches to the main results, in order to initiate the reader to methods, the underlying reasoning, and fundamental ideas. It is suitable for both teaching and self-study. In his familiar, personal style, the author emphasizes ideas over calculations and, avoiding the condensed style frequently found in textbooks, explains these ideas without parsimony of words. The French edition in four volumes, published from 1998, has met with resounding success: the first two volumes are now available in English.

The theory of nonlinear wave equations in the absence of shocks began in the 1960s. Despite a great deal of recent activity in this area, some major issues remain unsolved, such as sharp conditions for the global existence of solutions with arbitrary initial data, and the global phase portrait in the presence of periodic solutions and traveling waves. This book, based on lectures presented by the author at George Mason University in January 1989, seeks to present the sharpest results to date in this area. The author surveys the fundamental qualitative properties of the solutions of nonlinear wave equations in the absence of boundaries and shocks. These properties include the existence and regularity of global solutions, strong and weak singularities, asymptotic properties, scattering theory and stability of solitary waves. Wave equations of hyperbolic, Schrodinger, and KdV type are discussed, as well as the Yang-Mills and the Vlasov-Maxwell equations. The book offers readers a broad overview of the field and an understanding of the most recent developments, as well as the status of some important unsolved problems. Intended for mathematicians and physicists interested in nonlinear waves, this book would be suitable as the basis for an advanced graduate-level course.