Symmetry Breaking
This new edition of Prof. Strocchi's well received primer on rigorous aspects of symmetry breaking presents a more detailed ...
Lire la suite
Symmetry Breaking
In the first part of this book, devoted to classical field theory, such a mechanism is explained in terms of the occurrence ...
Lire la suite
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lire la suite
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suite
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite
The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lire la suite
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 ...
Lire la suiteThe 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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
The Mathematics of Arbitrage
This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Lire la suite
The Mathematics of Arbitrage
This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lire la suite
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suite
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 ...
Lire la suite
