Browsing by Title
Now showing items 618-637 of 2176
-
Finitary Proof Systems for Kozen's μ
[OWP-2016-26] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-30)We present three finitary cut-free sequent calculi for the modal $μ$-calculus. Two of these derive annotated sequents in the style of Stirling’s ‘tableau proof system with names’ (2014) and feature special inferences that ... -
0406 - Finite and Infinite Dimensional Complex Geometry and Representation Theory
[OWR-2004-6] (2004) - (01 Feb - 07 Feb 2004) -
0102 - Finite Fields: Theory and Applications
[TB-2001-1] (2001) - (07 Jan - 13 Jan 2001) -
0450 - Finite Fields: Theory and Applications
[OWR-2004-54] (2004) - (05 Dec - 11 Dec 2004)Finite fields are the focal point of many interesting geometric, algorithmic and combinatorial problems. The workshop was devoted to progress on these questions, with an eye also on the important applications of finite field ... -
0149 - Finite Geometries
[TB-2001-52] (2001) - (02 Dec - 08 Dec 2001) -
Finite geometries: pure mathematics close to applications
[SNAP-2021-010-EN] (Mathematisches Forschungsinstitut Oberwolfach, 2021-09-22)The research field of finite geometries investigates structures with a finite number of objects. Classical examples include vector spaces, projective spaces, and affine spaces over finite fields. Although many of these ... -
2512 - Finite Groups, Fusion Systems and Applications
[OWR-2025-16] (2025) - (16 Mar - 21 Mar 2025)The Classification of Finite Simple Groups (CFSG) is considered to be one of the most important results of modern mathematics, and has led to many applications both inside and outside group theory. The theory of fusion ... -
1120a - Finite-dimensional Approximations of Discrete Groups
[OWR-2011-26] (2011) - (15 May - 21 May 2011)The main objective of this workshop was to bring together experts from various fields, which are all interested in finite and finite-dimensional approximations of infinite algebraic and analytic objects, such as groups, ... -
The First Hochschild Cohomology as a Lie Algebra
[OWP-2019-09] (Mathematisches Forschungsinstitut Oberwolfach, 2019-04-16)In this paper we study sufficient conditions for the solvability of the first Hochschild cohomology of a finite dimensional algebra as a Lie algebra in terms of its Ext-quiver in arbitrary characteristic. In particular, ... -
The Five Platonic Solids and their Connection to Root Systems
[SNAP-2025-004-EN] (Mathematisches Forschungsinstitut Oberwolfach, 2025-09-05)Platonic solids have fascinated humans for thousands of years. In ancient times, they were associated with the elements fire, air, water, earth, and aether. These solids are completely symmetrical three-dimensional polyhedra. ... -
Five Ways to Spell ADE
[SNAP-2025-003-EN] (Mathematisches Forschungsinstitut Oberwolfach, 2025-07-30)The solutions to a surprising number of mathematical questions can be classified by the ADE Coxeter–Dynkin diagrams. This snapshot will show you a selection of these questions and how they correspond to the ADE Coxeter–Dynkin ... -
Flag-Accurate Arrangements
[OWP-2023-01] (Mathematisches Forschungsinstitut Oberwolfach, 2023-02-13)In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats ... -
1838 - Flat Surfaces and Algebraic Curves
[OWR-2018-42] (2018) - (16 Sep - 22 Sep 2018)This workshop brought together two distinct communities: “flat” geometers, studying the moduli of flat surfaces, and Teichmüller dynamics, and algebraic geometers studying the moduli space of curves. While both communities ... -
1413 - Flat Surfaces and Dynamics on Moduli Space
[OWR-2014-15] (2014) - (23 Mar - 29 Mar 2014)Dynamics of the Teichmüller geodesic flow on the moduli space of curves and asymptotic monodromy of the Hodge bundle along this flow have numerous applications to dynamics and geometry of measured foliations, to billiards ... -
Fokus-Erkennung bei Epilepsiepatienten mithilfe moderner Verfahren der Zeitreihenanalyse
[SNAP-2016-008-DE] (Mathematisches Forschungsinstitut Oberwolfach, 2016)Viele epileptische Anfälle entstehen in einer begrenzten Region im Gehirn, dem sogenannten Anfallsursprung. Eine chirurgische Entfernung dieser Region kann in vielen Fällen zu Anfallsfreiheit führen. Aus diesem Grund ist ... -
Footballs and donuts in four dimensions
[SNAP-2016-012-EN] (Mathematisches Forschungsinstitut Oberwolfach, 2016)In this snapshot, we explore connections between the mathematical areas of counting and geometry by studying objects called simplicial complexes. We begin by exploring many familiar objects in our three dimensional world ... -
Formal adjoints of linear DAE operators and their role in optimal control
[OWP-2011-15] (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-16)For regular strangeness-free linear differential-algebraic equations (DAEs) the definition of an adjoint DAE is straightforward. This definition can be formally extended to general linear DAEs. In this paper, we analyze ... -
Formal punctured ribbons and two-dimensional local fields
[OWP-2008-01] (Mathematisches Forschungsinstitut Oberwolfach, 2008-03-05)We investigate formal ribbons on curves. Roughly speaking, formal ribbon is a family of locally linearly compact vector spaces on a curve. We establish a one-to-one correspondence between formal ribbons on curves plus some ... -
Formation Control and Rigidity Theory
[SNAP-2019-017-EN] (Mathematisches Forschungsinstitut Oberwolfach, 2019-12-11)Formation control is one of the fundamental coordination tasks for teams of autonomous vehicles. Autonomous formations are used in applications ranging from search-and-rescue operations to deep space exploration, with ... -
1922 - Foundations and New Horizons for Causal Inference
[OWR-2019-25] (2019) - (26 May - 01 Jun 2019)While causal inference is established in some disciplines such as econometrics and biostatistics, it is only starting to emerge as a valuable tool in areas such as machine learning and artificial intelligence. The ...