The Lace Expansion and its Applications
The lace expansion is a powerful and flexible method for understanding the critical scaling of several models of interest ...
Lee mas
The Local Langlands Conjecture for GL(2)
If F is a non-Archimedean local field, local class field theory can be viewed as giving a canonical bijection between the ...
Lee mas
The Local Langlands Conjecture for GL(2)
If F is a non-Archimedean local field, local class field theory can be viewed as giving a canonical bijection between the ...
Lee mas
The Malliavin Calculus and Related Topics
In Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...
Lee mas
The Malliavin Calculus and Related Topics
In Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...
Lee mas
The Riemann Hypothesis
The Riemann Hypothesis has become the Holy Grail of mathematics in the century and a half since 1859 when Bernhard Riemann, ...
Lee mas
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lee mas
The Wulff Crystal in Ising and Percolation Models
This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...
Lee mas
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lee mas
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Lee mas
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lee mas
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lee mas
Theory and Applications of Special Functions
This book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...
Lee mas
Theory of Association Schemes
The present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
Lee mas
Theory of Complex Homogeneous Bounded Domains
This book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...
Lee mas
Theory of Computation
Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Lee mas
Theory of Random Sets
Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...
Lee masThermo-Dynamics of Plates and Shells
This monograph is devoted to the investigation of nonlinear dynamics of plates and shells embedded in a temperature field. ...
Lee mas
Topics and Methods in Condensed Matter Theory
In this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...
Lee mas
Topics in Galois Fields
Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Lee mas
