Numerical analysis is the branch of mathematics that is used to find approximations to difficult problems such as finding the roots of non-linear equations, integration involving complex expressions and solving differential equations for which analytical solutions do not exist. It is applied to a wide variety of disciplines such as...

This book is intended to be accessible to undergraduate students with two years of typical mathematics experience, most likely meaning calculus with a little linear algebra and differential equations. Thus, specifically, there is no assumption oLa background inabstr&;t algebra or number theory, nor of probability, nor of linear...

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

The newly revised Second Edtion of this distinctive text uniquely blends interesting problems with strategies, tools, and techniques to develop mathematical skill and intuition necessary for problem solving. Readers are encouraged to do math rather than just study it. The author draws upon his experience as a coach for the International...

"Fixed-Point Algorithms for Inverse Problems in Science and Engineering" presents some of the most recent work from top-notch researchers studying projection and other first-order fixed-point algorithms in several areas of mathematics and the applied sciences. The material presented provides a survey of the state-of-the-art...

The...

Widely acclaimed text on essential engineering mathematics. Theory of complex variables, Cauchy-Riemann equations, conformal mapping, multivalued functions, etc. Also Fourier and Laplace Transform theory, its applications to engineering, including integrals, linear integrodifferential equations, Z Transform, much more. Many excellent...

In this third edition of Mathematica in Action, award-winning author Stan Wagon guides beginner and veteran users alike through Mathematica's powerful tools for mathematical exploration.  The transition to Mathematica 7 is made smooth with plenty of examples and case studies that utilize Mathematica's newest tools, such as...

These scientific papers of Richard Feynman are renowned for their brilliant content and the author s striking original style. They are grouped by topic: path integral approach to the foundations of quantum mechanics and quantum field theory, renormalized quantum electrodynamics, theory of superfluid liquid helium, theory of the Fermi...

Our attempt at presenting a pedagogical survey of this subject arose from lectures given in...

This third edition of Foundations of Algorithms Using C++ Pseudocode retains the features that made the second edition successful. As in the second edition, we still use pseudocode and not actual C++ code. The presentation of complex algorithms using all the details of any programming language would...

Engineers around the world depend on MATLAB for its power, usability, and outstanding graphics capabilities. Yet too often, engineering students are either left on their own to acquire the background they need to use MATLAB, or they must learn the program concurrently within an advanced course. Both of these options delay students from...