Lev D. Beklemishev 
Provability, Computability and Reflection [PDF ebook] 

Alternating current (AC) induction and synchronous machines are frequently used in variable speed drives with applications ranging from computer peripherals, robotics, and machine tools to railway tr …

This book uses asymptotic methods to obtain simple approximate analytic solutions to various problems within mechanics, notably wave processes in heterogeneous materials. Presenting original solution …

The contents in this work are taken from both the University of Iowa»s Conference on Factorization in Integral Domains, and the 909th Meeting of the American Mathematical Society»s Special Session …

To move from empirical-based physics to the theoretical abstractness required for advanced physics requires a paradigmatic shift in logic that can challenge even the brightest mind. Grasping the play …

Beginning with the historical background of probability theory, this thoroughly revised text examines all important aspects of mathematical probability — including random variables, probability distr …

The study of composition operators lies at the interface of analytic function theory and operator theory. Composition Operators on Spaces of Analytic Functions synthesizes the achievements of the pas …

This volume presents a collection of lectures on linear partial differntial equations and semigroups, nonlinear equations, stochastic evolutionary processes, and evolution problems from physics, engi …

An intermediate-level treatment of Bayesian hierarchical models and their applications, this book demonstrates the advantages of a Bayesian approach to data sets involving inferences for collections …

‘This textbook is a well-rounded, rigorous, and informative work presenting the mathematics behind modern machine learning techniques. It hits all the right notes: the choice of topics is up-to-date …