• Computing the long term evolution of the solar system with geometric numerical integrators 

      [SNAP-2017-009-EN] Fiorelli Vilmart, Shaula; Vilmart, Gilles (Mathematisches Forschungsinstitut Oberwolfach, 2017-12-27)
      Simulating the dynamics of the Sun–Earth–Moon system with a standard algorithm yields a dramatically wrong solution, predicting that the Moon is ejected from its orbit. In contrast, a well chosen algorithm with the ...
    • Computing with symmetries 

      [SNAP-2018-003-EN] Roney-Dougal, Colva M. (Mathematisches Forschungsinstitut Oberwolfach, 2018-03-06)
      Group theory is the study of symmetry, and has many applications both within and outside mathematics. In this snapshot, we give a brief introduction to symmetries, and how to compute with them.
    • Configuration spaces and braid groups 

      [SNAP-2019-011-EN] Jiménez Rolland, Rita; Xicoténcatl, Miguel A. (Mathematisches Forschungsinstitut Oberwolfach, 2019-10-08)
      In this snapshot we introduce configuration spaces and explain how a mathematician studies their ‘shape’. This will lead us to consider paths of configurations and braid groups, and to explore how algebraic properties of ...
    • Conformal Differential Geometry 

      [OWS-40] Baum, Helga; Juhl, Andreas (Birkhäuser Basel, 2010)
      Conformal invariants (conformally invariant tensors, conformally covariant differential operators, conformal holonomy groups etc.) are of central significance in differential geometry and physics. Well-known examples of ...
    • Congruences Associated with Families of Nilpotent Subgroups and a Theorem of Hirsch 

      [OWP-2019-16] Aivazidis, Stefanos; Müller, Thomas (Mathematisches Forschungsinstitut Oberwolfach, 2019-05-27)
      Our main result associates a family of congruences with each suitable system of nilpotent subgroups of a finite group. Using this result, we complete and correct the proof of a theorem of Hirsch concerning the class number ...
    • A construction of hyperbolic Coxeter groups 

      [OWP-2010-04] Osajda, Damian (Mathematisches Forschungsinstitut Oberwolfach, 2010)
      We give a simple construction of Gromov hyperbolic Coxeter groups of arbitrarily large virtual cohomological dimension. Our construction provides new examples of such groups. Using this one can construct e.g. new groups ...
    • The contact polytope of the leech lattice 

      [OWP-2009-18] Dutour Sikirić, Mathieu; Schürmann, Achill; Vallentin, Frank (Mathematisches Forschungsinstitut Oberwolfach, 2009-03-12)
      The contact polytope of a lattice is the convex hull of its shortest vectors. In this paper we classify the facets of the contact polytope of the Leech lattice up to symmetry. There are 1, 197, 362, 269, 604, 214, 277, 200 ...
    • 1912 - Contemporary Coding Theory 

      [OWR-2019-13] (2019) - (17 Mar - 23 Mar 2019)
      Coding Theory naturally lies at the intersection of a large number of disciplines in pure and applied mathematics. A multitude of methods and means has been designed to construct, analyze, and decode the resulting ...
    • Contractive Idempotents on Locally Compact Quantum Groups 

      [OWP-2012-19] Neufang, Matthias; Salmi, Pekka; Skalski, Adam; Spronk, Nico (Mathematisches Forschungsinstitut Oberwolfach, 2012)
      A general form of contractive idempotent functionals on coamenable locally compact quantum groups is obtained, generalising the result of Greenleaf on contractive measures on locally compact groups. The image of a convolution ...
    • Control of Volterra systems with scalar kernels 

      [OWP-2009-16] Haak, Bernhard Hermann; Jacob, Birgit (Mathematisches Forschungsinstitut Oberwolfach, 2009-03-10)
      Volterra observations systems with scalar kernels are studied. New sufficient conditions for admissibility of observation operators are developed and some examples are discussed.
    • 1509 - Control Theory: A Mathematical Perspective on Cyber-Physical Systems 

      [OWR-2015-12] (2015) - (22 Feb - 28 Feb 2015)
      Control theory is an interdisciplinary field that is located at the crossroads of pure and applied mathematics with systems engineering and the sciences. Recently the control field is facing new challenges motivated by ...
    • 1209 - Control Theory: Mathematical Perspectives on Complex Networked Systems 

      [OWR-2012-12] (2012) - (26 Feb - 03 Mar 2012)
      Control theory is an interdisciplinary field that is located at the crossroads of pure and applied mathematics with systems engineering and the sciences. Its range of applicability and its techniques evolve rapidly with ...
    • 0909 - Control Theory: On the Way to New Application Fields 

      [OWR-2009-11] (2009) - (22 Feb - 28 Feb 2009)
      Control theory is an interdisciplinary field that is located at the crossroads of pure and applied mathematics with systems engineering and the sciences. Recently, deep interactions are emerging with new application areas, ...
    • 0037 - Controlling Complexity for Strong Stochastic Dependencies 

      [TB-2000-37] (2000) - (10 Sep - 16 Sep 2000)
    • 0605 - Convex and Algebraic Geometry 

      [OWR-2006-5] (2006) - (29 Jan - 04 Feb 2006)
      The subjects of convex and algebraic geometry meet primarily in the theory of toric varieties. Toric geometry is the part of algebraic geometry where all maps are given by monomials in suitable coordinates, and all equations ...
    • 0949 - Convex Geometry and its Applications 

      [OWR-2009-53] (2009) - (29 Nov - 05 Dec 2009)
      The geometry of convex domains in Euclidean space plays a central role in several branches of mathematics: functional and harmonic analysis, the theory of PDE, linear programming and, increasingly, in the study of other ...
    • 1550 - Convex Geometry and its Applications 

      [OWR-2015-56] (2015) - (06 Dec - 12 Dec 2015)
      The past 30 years have not only seen substantial progress and lively activity in various areas within convex geometry, e.g., in asymptotic geometric analysis, valuation theory, the $L_p$-Brunn-Minkowski theory and stochastic ...
    • 1250 - Convex Geometry and its Applications 

      [OWR-2012-59] (2012) - (09 Dec - 15 Dec 2012)
      The geometry of convex domains in Euclidean space plays a central role in several branches of mathematics: functional and harmonic analysis, the theory of PDE, linear programming and, increasingly, in the study of other ...
    • 1850 - Convex Geometry and its Applications 

      [OWR-2018-54] (2018) - (09 Dec - 15 Dec 2018)
      The geometry of convex domains in Euclidean space plays a central role in several branches of mathematics: functional and harmonic analysis, the theory of PDE, linear programming and, increasingly, in the study of algorithms ...
    • 1744b - Copositivity and Complete Positivity 

      [OWR-2017-52] (2017) - (29 Oct - 04 Nov 2017)
      A real matrix $A$ is called copositive if $x^TAx \ge 0$ holds for all $x \in \mathbb R^n_+$. A matrix $A$ is called completely positive if it can be factorized as $A = BB^T$ , where $B$ is an entrywise nonnegative matrix. ...