This book is revised and expanded version of the original German text. The arrangement of the material and the structure are essentially unchanged. All remarks in the Preface to the German Edition regarding naming conventions for formulas, theorems, lemmas, and definitions are still valid as are those concerning the arrangement and choice of material.

Computer Science and Applied Mathematics: Mathematical Methods for Wave Phenomena focuses on the methods of applied mathematics, including equations, wave fronts, boundary value problems, and scattering problems.

The publication initially ponders on first-order partial differential equations, Dirac delta function, Fourier transforms, asymptotics, and second-order partial differential equations. Discussions focus on prototype second-order equations, asymptotic expansions, asymptotic expansions of Fourier integrals with monotonic phase, method of stationary phase, propagation of wave...

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

In this book the authors try to bridge the gap between the treatments of matrix theory and linear algebra. It is aimed at graduate and advanced undergraduate students seeking a foundation in mathematics, computer science, or engineering. It will also be useful as a reference book for those working on matrices and linear algebra for use in their scientific work.

Numerical linear algebra is far too broad a subject to treat in a single introductory volume. Stewart has chosen to treat algorithms for solving linear systems, linear least squares problems, and eigenvalue problems involving matrices whose elements can all be contained in the high-speed storage of a computer. By way of theory, the author has chosen to discuss the theory of norms and perturbation theory for linear systems and for the algebraic eigenvalue problem. These choices exclude, among other things, the solution of large sparse linear systems by direct and iterative methods, linear...