Browsing by Title

Now showing items 1680-1699 of 2140

    • 0718b - Progress in Surface Theory 

      [OWR-2007-24] (2007) - (29 Apr - 05 May 2007)
      The theory of surfaces has undergone substantial changes in recent years, with many different active areas at this point in time. It has become mainstream to study minimal surfaces and constant mean curvature surfaces in ...

    • 1018 - Progress in Surface Theory 

      [OWR-2010-21] (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 

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

      [SNAP-2018-004-EN] Sauer, Tomas (Mathematisches Forschungsinstitut Oberwolfach, 2018-03-06)
      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 

      [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 : E \to \mathbb{Z}$, and three types of positions: black $V_B$, ...

    • The $q$-Deformed Random-to-Random Family in the Hecke Algebra 

      [OWP-2025-12] Brauner, Sarah; Commins, Patricia; Grinberg, Darij; Saliola, Franco (Mathematisches Forschungsinstitut Oberwolfach, 2025-11)
      We generalize Reiner-Saliola-Welker's well-known but mysterious family of $k$-random-to-random shuffles from Markov chains on symmetric groups to Markov chains on the Type-$A$ Iwahori-Hecke algebras. We prove that the ...

    • 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 $k\subset k(\sqrt{d_i})$ ...

    • 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 $\varepsilon$-capture ...