Browsing by Title
Now showing items 718737 of 1984

Herbrand’s Theorem as Higher Order Recursion
[OWP201801] (Mathematisches Forschungsinstitut Oberwolfach, 20180219)We provide a means to compute Herbrand disjunctions directly from sequent calculus proofs with cuts. Our approach associates to a firstorder 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
[OWS30] (Birkhäuser Basel, 2001)Historical interest and studies of Weyl's role in the interplay between 20thcentury mathematics, physics and philosophy have been increasing since the middle 1980s, triggered by different activities at the occasion of the ... 
Higgs bundles without geometry
[SNAP2020008EN] (Mathematisches Forschungsinstitut Oberwolfach, 20200929)Higgs bundles appeared a few decades ago as solutions to certain equations from physics and have attracted much attention in geometry as well as other areas of mathematics and physics. Here, we take a very informal stroll ... 
High performance computing on smartphones
[SNAP2016006EN] (Mathematisches Forschungsinstitut Oberwolfach, 2016)Nowadays there is a strong demand to simulate even realworld 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  HighResolution Mathematical and Numerical Analysis of InvolutionConstrained PDEs
[OWR201347] (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
[OWP201105] (Mathematisches Forschungsinstitut Oberwolfach, 2011058)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
[OWP201510] (Mathematisches Forschungsinstitut Oberwolfach, 20150729)In this note, we study height functions on quaternionic Stiefel manifolds and prove that all these height functions are MorseBott. Among them, we characterize the Morse functions and give a lower bound for their number ... 
2225  Hilbert Complexes: Analysis, Applications, and Discretizations
[OWR202229] (2022)  (19 Jun  25 Jun 2022)In this workshop 70 (43 at MFO, 27 online) leading mathematicians from Europe, United States, China, and Australia met at the MFO to discuss and present new developments in the mathematical and numerical analysis including ... 
1417  Hilbert Modules and Complex Geometry
[OWR201421] (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 ... 
0915b  Hilbert Modules and Complex Geometry
[OWR200920] (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 ... 
0944a  History and Philosophy of Mathematical Notations and Symbolism
[OWR200947] (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 ... 
0822  History of Mathematics of the Early 20th Century: The Role of Transition
[OWR200824] (2008)  (25 May  31 May 2008) 
2249b  History of Mathematics through Collaboration: Toward a Composite Portrait of Oswald Veblen
[OWR202256] (2022)  (04 Dec  10 Dec 2022)Oswald Veblen played a pivotal role in the history of American mathematics in the twentieth century. His life, however, remains largely unstudied. This conference was designed to redress this issue by exploring Oswald ... 
2051  History of Mathematics: A Global Cultural Approach (online meeting)
[OWR202041] (2020)  (13 Dec  19 Dec 2020)The primary purpose of this workshop was to take account of progress on an ongoing sixvolume cultural history of mathematics from antiquity to the present. This project is led by nine editors working with a large team of ... 
1544a  History of Mathematics: Models and Visualization in the Mathematical and Physical Sciences
[OWR201547] (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
[OWR201610] (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
[OWP201407] (Mathematisches Forschungsinstitut Oberwolfach, 20140425)We investigate the correspondence between holomorphic automorphic forms on the upper halfplane 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
[OWP201707] (Mathematisches Forschungsinstitut Oberwolfach, 20170307)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 nondegenerate subspace. We realize ... 
1027  Homogeneous Dynamics and Number Theory
[OWR201029] (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 ... 
2101a  Homogeneous Structures: Model Theory meets Universal Algebra (online meeting)
[OWR20211] (2021)The workshop "Homogeneous Structures: Model Theory meets Universal Algebra'' was centred around transferring recently obtained advances in universal algebra from the finite to the infinite. As it turns out, the notion ...