This book covers both the basic ideas of statistical theory, and also some of the more modern and advanced topics of Bayesian ...
Lire la suiteThe unpublished writings of Helmut Hasse, consisting of letters, manuscripts and other papers, are kept at the Handschriftenabteilung ...
Lire la suiteThe book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...
Lire la suiteThe Four Pillars of Geometry approaches geometry in four different ways, spending two chapters on each. This makes the subject ...
Lire la suiteAlgebraic Geometry often seems very abstract, but in fact it is full of concrete examples and problems. This side of the ...
Lire la suiteThe objective of this book is to contribute to specialized literature with the most significant results obtained by the author ...
Lire la suiteThe problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Lire la suiteThe problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Lire la suiteIn Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...
Lire la suiteIn Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...
Lire la suiteThis long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Lire la suiteThis long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Lire la suiteThese lecture notes contain a guided tour to the Novikov Conjecture and related conjectures due to Baum-Connes, Borel and ...
Lire la suiteCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suiteA book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...
Lire la suiteThis volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...
Lire la suiteConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lire la suiteThis volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suiteThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lire la suiteThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite