• Herbrand’s Theorem as Higher Order Recursion 

      [OWP-2018-01] Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. (Mathematisches Forschungsinstitut Oberwolfach, 2018-02-19)
      We provide a means to compute Herbrand disjunctions directly from sequent calculus proofs with cuts. Our approach associates to a first-order classical proof $\pi \vdash \exists v F$, where $F$ is quantifier free, an ...
    • Hermann Weyl's Raum - Zeit - Materie and a general introduction to his scientific work 

      [OWS-30] Scholz, Erhard (Birkhäuser Basel, 2001)
      Historical interest and studies of Weyl's role in the interplay between 20th-century mathematics, physics and philosophy have been increasing since the middle 1980s, triggered by different activities at the occasion of the ...
    • High performance computing on smartphones 

      [SNAP-2016-006-EN] Patera, Anthony T.; Urban, Karsten (Mathematisches Forschungsinstitut Oberwolfach, 2016)
      Nowadays there is a strong demand to simulate even real-world engineering problems on small computing devices with very limited capacity, such as a smartphone. We explain, using a concrete example, how we can obtain a ...
    • 1338b - High-Resolution Mathematical and Numerical Analysis of Involution-Constrained PDEs 

      [OWR-2013-47] (2013) - (15 Sep - 21 Sep 2013)
      Partial differential equations constrained by involutions provide the highest fidelity mathematical models for a large number of complex physical systems of fundamental interest in critical scientific and technological ...
    • Higher Finiteness Properties of Reductive Arithmetic Groups in Positive Characteristic: the Rank Theorem 

      [OWP-2011-05] Bux, Kai-Uwe; Köhl, Ralf; Witzel, Stefan (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-8)
      We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $\mathcal{G}$ over a global function field is one less than the sum of the local ranks ...
    • Hight functions on quaternionic Stiefel manifolds 

      [OWP-2015-10] Macías-Virgós, Enrique; Strom, Jeffrey; Tanré, Daniel; Oprea, John (Mathematisches Forschungsinstitut Oberwolfach, 2015-07-29)
      In this note, we study height functions on quaternionic Stiefel manifolds and prove that all these height functions are Morse-Bott. Among them, we characterize the Morse functions and give a lower bound for their number ...
    • 0915b - Hilbert Modules and Complex Geometry 

      [OWR-2009-20] (2009) - (05 Apr - 11 Apr 2009)
      The major topics discussed in this workshop were Hilbert modules of analytic functions on domains in ℂn, Toeplitz and Hankel operators, the interplay of commutative algebra, complex analytic geometry and multivariable ...
    • 1417 - Hilbert Modules and Complex Geometry 

      [OWR-2014-21] (2014) - (20 Apr - 26 Apr 2014)
      The major topics discussed in the workshop were Hilbert modules of analytic functions on domains in Cn, Toeplitz and Hankel operators, reproducing kernel Hilbert spaces and multiplier algebras, the interplay of complex ...
    • 0944a - History and Philosophy of Mathematical Notations and Symbolism 

      [OWR-2009-47] (2009) - (25 Oct - 31 Oct 2009)
      The conference aimed to discuss the nature of mathematical language with the focus set on the history of mathematical symbolism and symbolisation in a wide sense. Its contents were arranged along three main topics—symbolization ...
    • 1544a - History of Mathematics: Models and Visualization in the Mathematical and Physical Sciences 

      [OWR-2015-47] (2015) - (25 Oct - 31 Oct 2015)
      This workshop brought together historians of mathematics and science as well as mathematicians to explore important historical developments connected with models and visual elements in the mathematical and physical sciences. ...
    • 1607b - Hochschild Cohomology in Algebra, Geometry, and Topology 

      [OWR-2016-10] (2016) - (14 Feb - 20 Feb 2016)
      In 1945 Gerhard Hochschild published "On the cohomology groups of an associative algebra" in the Annals of Mathematics and thereby created what is now called Hochschild theory. In 1963, Murray Gerstenhaber proved that the ...
    • Holomorphic automorphic forms and cohomology 

      [OWP-2014-07] Bruggeman, Roelof W.; Ch'oe, Yŏng-ju; Diamantis, Nikolaos (Mathematisches Forschungsinstitut Oberwolfach, 2014-04-25)
      We investigate the correspondence between holomorphic automorphic forms on the upper half-plane with complex weight and parabolic cocycles. For integral weights at least 2 this correspondence is given by the Eichler integral. ...
    • Holonomy Groups of $G_2^*$-Manifolds 

      [OWP-2017-07] Fino, Anna; Kath, Ines (Mathematisches Forschungsinstitut Oberwolfach, 2017-03-07)
      We classify the holonomy algebras of manifolds admitting an indecomposable torsion free $G_2^*$-structure, i.e. for which the holonomy representation does not leave invariant any proper non-degenerate subspace. We realize ...
    • 1027 - Homogeneous Dynamics and Number Theory 

      [OWR-2010-29] (2010) - (04 Jul - 10 Jul 2010)
      The theory of flows on homogeneous spaces of Lie groups has emerged as a distinct, rapidly advancing subject over the last few decades incorporating ergodic theory, geometry and number theory. The workshop showcased the ...
    • Homogenization of a nonlinear monotone problem with nonlinear Signorini boundary conditions in a domain with highly rough boundary 

      [OWP-2018-06] Gaudiello, Antonio; Mel'nyk, Taras A. (Mathematisches Forschungsinstitut Oberwolfach, 2018-04-16)
      We consider a domain $\Omega_\varepsilon\subset\mathbb{R}^N$, $N\geq2$, with a very rough boundary depending on~$\varepsilon$. For instance, if $N=3$ the domain $\Omega_\varepsilon$ has the form of a brush with an ...
    • Homological properties of piecewise hereditary algebras 

      [OWP-2009-11] Happel, Dieter; Zacharia, Dan (Mathematisches Forschungsinstitut Oberwolfach, 2009-03-05)
      Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field $k$. We will investigate homological properties of piecewise hereditary algebras $\Lambda$. In particular we give lower and upper bounds of ...
    • 0312 - Homotopietheorie 

      [TB-2003-13] (2003) - (16 Mar - 22 Mar 2003)
    • 0738 - Homotopy Theory 

      [OWR-2007-45] (2007) - (16 Sep - 22 Sep 2007)
      Algebraic topology in general and homotopy theory in particular is in an exciting period of growth and transformation, driven in part by strong interactions with algebraic geometry, mathematical physics, and representation ...