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

Introducing undergraduates to the vital concepts of statistics, this superb textbook allows instructors to include as much—or as little—mathematical detail as may be suitable for their students. Feat …

This book contains articles on maximal regulatory problems, interpolation spaces, multiplicative perturbations of generators, linear and nonlinear evolution equations, integrodifferential equations, …

This book illuminates the complex process of problem solving, including formulating the problem, collecting and analyzing data, and presenting the conclusions. …

This latest collection of puzzles from the internationally acclaimed puzzlemaster Nob Yoshigahara covers a wide variety of puzzles from physical to visual, conceptual to mathematical. Solutions are p …

This book provides a comprehensive review of the subject of polaron and a thorough account of the sophisticated theories of the polaron. It explains the concept of the polaron physics in as simple a …

Multigrid methods are among the most efficient iterative methods for the solution of linear systems which arise in many large scale scientific calculations. Every researcher working with the numerica …

This book is a collection of research papers on a wide variety of multigrid topics, including applications, computation and theory. It represents proceedings of the Third Copper Mountain Conference o …

This book is based on the proceedings of the Fifth Northeast Conference on General Topology and Applications, held at The College of Staten Island – The City University of New York. It provides insig …

This book provides an introduction to hyperbolic geometry in dimension three, with motivation and applications arising from knot theory. Hyperbolic geometry was first used as a tool to study knots by …

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …