Ralf Treinen 
Rewriting Techniques and Applications [PDF ebook] 
20th International Conference, RTA 2009, Brasilia, Brazil, June 29 – July 1, 2009 Proceedings

This self-contained reference/text presents a thorough account of the theory of real function algebras. Employing the intrinsic approach, avoiding the complexification technique, and generalizing the …

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of …

Prime numbers have fascinated mathematicians since the time of Euclid. This book presents some of our best tools to capture the properties of these fundamental objects, beginning with the most basic …

Computer simulation experiments are essential to modern scientific discovery, whether that be in physics, chemistry, biology, epidemiology, ecology, engineering, etc. Surrogates are meta-models of co …

Mathematical Methods in Chemical and Biological Engineering describes basic to moderately advanced mathematical techniques useful for shaping the model-based analysis of chemical and biological engin …

This book gives an extensive survey of many important topics in the theory of Hamilton-Jacobi equations with particular emphasis on modern approaches and viewpoints. Firstly, the basic well-posedness …

The aim of Spectral Geometry of Partial Differential Operators is to provide a basic and self-contained introduction to the ideas underpinning spectral geometric inequalities arising in the theory of …

Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discu …