David A. Plaisted & Yunshan Zhu 
The Efficiency of Theorem Proving Strategies [PDF ebook] 
A Comparative and Asymptotic Analysis

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapte …

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lott …

This book contains expanded versions of the talks given at the conference held in honour of professor Ky Fan in California in 1985, as well as papers on nonlinear and convex analysis as contributions …

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

In terms of statistics, GIS offers many connections. With GIS, data are gathered, displayed, summarized, examined, and interpreted to discover patterns. Spatial Mathematics: Theory and Practice throu …

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains …

The second edition of the Handbook of Induction Heating reflects the number of substantial advances that have taken place over the last decade in theory, computer modeling, semi-conductor power suppl …