The Bayesian Choice : From Decision-Theoretic Foundations to Computational Implementation
This book covers both the basic ideas of statistical theory, and also some of the more modern and advanced topics of Bayesian ...
Weiterlesen
The Brauer-Hasse-Noether Theorem in Historical Perspective
The unpublished writings of Helmut Hasse, consisting of letters, manuscripts and other papers, are kept at the Handschriftenabteilung ...
WeiterlesenThe Cellular Automaton Interpretation of Quantum Mechanics
The book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...
Weiterlesen
The Four Pillars of Geometry
The Four Pillars of Geometry approaches geometry in four different ways, spending two chapters on each. This makes the subject ...
Weiterlesen
The Geometry of Syzygies
Algebraic Geometry often seems very abstract, but in fact it is full of concrete examples and problems. This side of the ...
Weiterlesen
The Hamilton-Type Principle in Fluid Dynamics
The objective of this book is to contribute to specialized literature with the most significant results obtained by the author ...
Weiterlesen
The History of Approximation Theory
The problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Weiterlesen
The History of Approximation Theory
The problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
The Mathematics of Arbitrage
This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Weiterlesen
The Mathematics of Arbitrage
This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Weiterlesen
The Novikov Conjecture
These lecture notes contain a guided tour to the Novikov Conjecture and related conjectures due to Baum-Connes, Borel and ...
Weiterlesen
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 ...
Weiterlesen
The Shaping of Arithmetic after C.F. Gausss Disquisitiones Arithmeticae
A book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...
Weiterlesen
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, ...
Weiterlesen
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Weiterlesen
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Weiterlesen
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Weiterlesen
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Weiterlesen
