Now showing items 1639-1658 of 2079

    • 1733 - Proof Complexity and Beyond 

      [OWR-2017-37] (2017) - (13 Aug - 19 Aug 2017)
      Proof complexity is a multi-disciplinary 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 

      [OWR-2024-15] (2024) - (24 Mar - 29 Mar 2024)
      Proof complexity is a multi-disciplinary 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 

      [OWP-2024-06] Pinto, Pedro (Mathematisches Forschungsinstitut Oberwolfach, 2024-07-15)
      In a recent proof mining application, the proof-theoretical 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 

      [OWP-2009-05] Leuştean, Laurenţiu (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 Pseudo-Hyperresolution and Applications 

      [OWP-2017-17] Nguyen, The Cuong (Mathematisches Forschungsinstitut Oberwolfach, 2017-07-04)
      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 “Pseudo-hyperresolutions”. This ...
    • A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and Few Random Positions 

      [OWP-2015-20] Boros, Endre; Elbassioni, Khaled; Gurvich, Vladimir; Makino, Kazuhisa (Mathematisches Forschungsinstitut Oberwolfach, 2015)
      We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph G=(V,E), with local rewards r:EZ, and three types of positions: black VB, ...
    • 0220 - Quadratic Forms and Algebraic Groups 

      [TB-2002-24] (2002) - (12 May - 18 May 2002)
    • 1325b - Quadratic Forms and Linear Algebraic Groups 

      [OWR-2013-31] (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 

      [OWR-2009-25] (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 

      [OWR-2006-29] (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 

      [OWR-2018-21] (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 ...
    • Quadratically Enriched Plane Curve Counting via Tropical Geometry 

      [OWP-2025-03] Jaramillo Puentes, Andrés; Markwig, Hannah; Pauli, Sabrina; Röhrle, Felix (Mathematisches Forschungsinstitut Oberwolfach, 2025-02)
      We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through k-rational points and pairs of conjugate points in quadratic field extensions kk(di) ...
    • 9920 - Quadratische und Hermitische Formen 

      [TB-1999-21] (1999) - (16 May - 22 May 1999)
    • 0645 - Qualitative Assumptions and Regularization in High-Dimensional Statistics 

      [OWR-2006-49] (2006) - (05 Nov - 11 Nov 2006)
      Important and exciting developments are currently underway in nonparametric statistics involving inter-play between qualitative constraints, penalization, and regularization methods. Some of these developments are taking ...
    • A Quantitative Analysis of the “Lion-Man” Game 

      [OWP-2019-18] Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana (Mathematisches Forschungsinstitut Oberwolfach, 2019-07-08)
      In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a discrete lion and man game with an ε-capture ...
    • Quantities that frequency-dependent selection maximizes 

      [OWP-2008-18] Matessi, Carlo; Schneider, Kristian (Mathematisches Forschungsinstitut Oberwolfach, 2008-03-18)
      We consider a model of frequency-dependent 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 

      [SNAP-2015-014-EN] Knowles, Antti (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 ...
    • 2137 - Quantum Groups - Algebra, Analysis and Category Theory (hybrid meeting) 

      [OWR-2021-44] (2021) - (12 Sep - 18 Sep 2021)
      The meeting was devoted to discussing the state of the art of different branches of tensor categories and quantum groups, with emphasis on the exchange of ideas between the purely algebraic and operator algebraic sides of ...
    • Quantum symmetry 

      [SNAP-2020-005-EN] Weber, Moritz (Mathematisches Forschungsinstitut Oberwolfach, 2020-06-04)
      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 ...
    • Quantum symmetry 

      [SNAP-2020-009-EN] Caspers, Martijn (Mathematisches Forschungsinstitut Oberwolfach, 2020-12-31)
      The symmetry of objects plays a crucial role in many branches of mathematics and physics. It allowed, for example, the early prediction of the existence of new small particles. “Quantum symmetry” concerns a generalized ...