The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
Various methods can be used: (high order) Finite Difference Method, Finite Element Method, Discontinuous Galerkin Method and Boundary Element Method.
This book is devoted to the study of partial differential equation problems both from the theoretical and numerical points of... Læs mere
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science.
This book collects the papers of the conference held in Berlin, Germany, 27-29 August 2012, on 'Space, Geometry and the... Læs mere
The contributing authors represent a group of international experts in... Læs mere
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose... Læs mere
George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). Congruence Lattices of Infinite Lattices and Beyond includes four chapters by Friedrich Wehrung and George Grätzer.
These include random matrix theory, nonparametric statistics, empirical process theory, statistical learning theory, concentration of measure phenomena,... Læs mere
Geometric flows have many applications in physics and geometry. The mean curvature flow also has many geometric applications, in analogy with the Ricci flow of metrics on abstract riemannian manifolds.
Das Buch ist an der Schnittstelle zwischen linearer Algebra und rechnerischer Geometrie angesiedelt. Es kann als Lehrbuch verwendet werden oder als ergänzende... Læs mere
Klang und Musik bieten vielfältiges Material, um die Anwendbarkeit von Mathematik darzulegen. Die Akustik bietet Anlass und viel Stoff, um auf ganz unterschiedliche... Læs mere