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 …

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 …

Linear algebra provides the essential mathematical tools to tackle all the problems in Science. Introduction to Linear Algebra is primarily aimed at students in applied fields (e.g. Computer Science …

This book introduces a new method based on algebraic inequalities for optimising engineering systems and processes, with applications in mechanical engineering, materials science, electrical engineer …

This updated and revised edition of David Joyner’s entertaining “hands-on” tour of group theory and abstract algebra brings life, levity, and practicality to the topics through mathematical toys. J …

This book presents a unified algebraic approach to stabilization problems of linear boundary control systems with no assumption on finite-dimensional approximations to the original systems, such as t …