Browsing by Title
Now showing items 15961615 of 2026

1018  Progress in Surface Theory
[OWR201021] (2010)  (02 May  08 May 2010)The theory of surfaces is interpreted these days as a prototype of submanifold geometry and is characterized by the substantial application of PDE methods and methods from the theory of integrable systems, in addition to ... 
1318a  Progress in Surface Theory
[OWR201321] (2013)  (28 Apr  04 May 2013)Over the last 30 years global surface theory has become pivotal in the understanding of low dimensional global phenomena. At the same time surface geometry became a platform on which seemingly different areas of mathematics ... 
Prony’s method: an old trick for new problems
[SNAP2018004EN] (Mathematisches Forschungsinstitut Oberwolfach, 20180306)In 1795, French mathematician Gaspard de Prony invented an ingenious trick to solve a recovery problem, aiming at reconstructing functions from their values at given points, which arose from a specific application in ... 
1733  Proof Complexity and Beyond
[OWR201737] (2017)  (13 Aug  19 Aug 2017)Proof complexity is a multidisciplinary intellectual endeavor that addresses questions of the general form “how difficult is it to prove certain mathematical facts?” The current workshop focused on recent advances in our ... 
2413  Proof Complexity and Beyond
[OWR202415] (2024)  (24 Mar  29 Mar 2024)Proof complexity is a multidisciplinary research area that addresses questions of the general form "how difficult is it to prove certain mathematical facts?'' The current workshop focussed on recent advances in our ... 
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
[OWP202406] (Mathematisches Forschungsinstitut Oberwolfach, 20240715)In a recent proof mining application, the prooftheoretical analysis of Dykstra's cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This ... 
Proof mining in metric fixed point theory and ergodic theory
[OWP200905] (Mathematisches Forschungsinstitut Oberwolfach, 2009)In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Terence Tao) of ergodic averages in uniformly ... 
The PseudoHyperresolution and Applications
[OWP201717] (Mathematisches Forschungsinstitut Oberwolfach, 20170704)Resolving objects in an abelian category by injective (projective) resolutions is a fundamental problem in mathematics, and this article aims at introducing a particular solution called “Pseudohyperresolutions”. This ... 
A PseudoPolynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and Few Random Positions
[OWP201520] (Mathematisches Forschungsinstitut Oberwolfach, 2015)We consider twoperson zerosum stochastic mean payoff games with perfect information, or BWRgames, given by a digraph $G = (V,E)$, with local rewards $r : E \to \mathbb{Z}$, and three types of positions: black $V_B$, ... 
0220  Quadratic Forms and Algebraic Groups
[TB200224] (2002)  (12 May  18 May 2002) 
1325b  Quadratic Forms and Linear Algebraic Groups
[OWR201331] (2013)  (16 Jun  22 Jun 2013)Topics discussed at the workshop “Quadratic Forms and Linear Algebraic Groups” included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic ... 
0920  Quadratic Forms and Linear Algebraic Groups
[OWR200925] (2009)  (10 May  16 May 2009)Topics discussed at the workshop Quadratic forms and linear algebraic groups included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic ... 
0626  Quadratic Forms and Linear Algebraic Groups
[OWR200629] (2006)  (25 Jun  01 Jul 2006)Topics discussed at the Oberwolfach workshop Quadratic Forms and Linear Algebraic Groups, held in June 2006, included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of ... 
1818  Quadratic Forms and Related Structures over Fields
[OWR201821] (2018)  (29 Apr  05 May 2018)The range of topics discussed at the workshop “Quadratic Forms and Related Structures over Fields” included core themes from the algebraic theory of quadratic and hermitian forms and their Witt groups, several aspects of ... 
9920  Quadratische und Hermitische Formen
[TB199921] (1999)  (16 May  22 May 1999) 
0645  Qualitative Assumptions and Regularization in HighDimensional Statistics
[OWR200649] (2006)  (05 Nov  11 Nov 2006)Important and exciting developments are currently underway in nonparametric statistics involving interplay between qualitative constraints, penalization, and regularization methods. Some of these developments are taking ... 
A Quantitative Analysis of the “LionMan” Game
[OWP201918] (Mathematisches Forschungsinstitut Oberwolfach, 20190708)In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuitevasion game. More precisely, we focus on a discrete lion and man game with an $\varepsilon$capture ... 
Quantities that frequencydependent selection maximizes
[OWP200818] (Mathematisches Forschungsinstitut Oberwolfach, 20080318)We consider a model of frequencydependent selection, to which we refer as the Wildcard Model, that accommodates as particular cases a number of diverse models of biologically specific situations. Two very different ... 
Quantum diffusion
[SNAP2015014EN] (Mathematisches Forschungsinstitut Oberwolfach, 2015)If you place a drop of ink into a glass of water, the ink will slowly dissipate into the surrounding water until it is perfectly mixed. If you record your experiment with a camera and play the film backwards, you will see ... 
Quantum symmetry
[SNAP2020005EN] (Mathematisches Forschungsinstitut Oberwolfach, 20200604)In mathematics, symmetry is usually captured using the formalism of groups. However, the developments of the past few decades revealed the need to go beyond groups: to “quantum groups”. We explain the passage from ...