Algorithmic Number Theory provides a thorough introduction to the design and analysis of algorithms for problems from the theory of numbers. Although not an elementary textbook, it includes over 300 exercises with suggested solutions. Every theorem not proved in the text or left as an exercise has a reference in the notes section...

In measure theory, a familiar representation theorem due to F. Riesz identifies the dual space L_p(X,L,λ)* with L_q(X,L,λ), where 1/p+1/q=1, as long as 1 ≤ p<∞. However, L_∞(X,L,λ)* cannot be similarly described, and is instead represented as a...

Just when classic subject areas seem understood, the author, a Caltech, M.I.T. and Boeing trained aerodynamicist, raises profound questions over traditional formulations.  Can shear flows be rigorously modeled using simpler “potential-like” methods versus Euler equation approaches?  Why not solve aerodynamic...

Introduction to Chemical Graph Theory is a concise introduction to the main topics and techniques in chemical graph theory, specifically the theory of topological indices. These include distance-based, degree-based, and counting-based indices. The book covers some of the most commonly used mathematical...

Introduction to Probability Models, Twelfth Edition, is the latest version of Sheldon Ross's classic bestseller. This trusted book introduces the reader to elementary probability modelling and stochastic processes and shows how probability theory can be applied in fields such as engineering, computer science, management...

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods.  Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...

Quantum computing is a beautiful fusion of quantum physics and computer science, incorporating some of the most stunning ideas from twentieth-century...