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

This volume contains 28 papers including 4 keynote papers presented at the 10th IFIP WG7.5 Working Conference, focusing on the reliability and optimization of structural …

This volume contains information offered at the international conference held in Curacao, Netherlands Antilles. It presents the latest developments in the most active areas of abelian groups, …

This book aims to develop models and modeling techniques that are useful when applied to all complex systems. It adopts both analytic tools and computer simulation. The book is intended for students …

A Tour of Data Science: Learn R and Python in Parallel covers the fundamentals of data science, including programming, statistics, optimization, and machine learning in a single short book. It does n …

This book attempts to put together the works of a wide range of mathematical scientists. It consists of the proceedings of the Seventh Conference on ‘Nonlinear Analysis and Applications’ including …

This textbook is based on lectures and tutorials given for several years at the Physics Department of Novosibirsk State University. It is constructed as a set of problems followed by detailed …

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested …

This book provides working tools for the study and design of nonlinear dynamical systems applicable in physics and engineering. It offers a broad-based introduction to this challenging area of study, …

This volume consists of the proceedings of the conference on Physical Mathematics and Nonlinear Partial Differential Equations held at West Virginia University in Morgantown. It describes some work …

This book presents an isospectral approach for several important mechanical vibrating systems. Discrete and continuous isospectral systems are discussed using a simple multi-degree of freedom spring- …