• 1610 - Computationally and Statistically Efficient Inference for Complex Large-scale Data 

      [OWR-2016-16] (2016) - (06 Mar - 12 Mar 2016)
      The aim of the highly successful workshop Computationally and statistically efficient inference for large-scale and heterogeneous data was to foster dissemination and collaboration between researchers in the area of ...
    • Computer Algebra with GAP 

      [OWP-2023-03] Piterman, Kevin I.; Vendramin, Leandro (Mathematisches Forschungsinstitut Oberwolfach, 2023-04-13)
      This monograph includes the following topics: a basic introduction to the language, basic arithmetic, permutations, matrices, polynomial rings, finite fields, finite and finitely presented groups, small groups, group ...
    • Computing Congruence Quotients of Zariski Dense Subgroups 

      [OWP-2018-22] Detinko, Alla; Flannery, Dane; Hulpke, Alexander (Mathematisches Forschungsinstitut Oberwolfach, 2018-10-26)
      We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq ...
    • 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 ...
    • 2215b - Conic Linear Optimization for Computer-Assisted Proofs 

      [OWR-2022-20] (2022) - (10 Apr - 16 Apr 2022)
      From a mathematical perspective, optimization is the science of proving inequalities. In this sense, computational optimization is a method for computer-assisted proofs. Conic (linear) optimization is ...
    • 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)
    • Convergence and Error Analysis of Compressible Fluid Flows with Random Data: Monte Carlo Method 

      [OWP-2022-15] Feireisl, Eduard; Lukáčova-Medviďová, Mariá; She, Bangwei; Yuan, Yuhuan (Mathematisches Forschungsinstitut Oberwolfach, 2022-08-25)
      The goal of this paper is to study convergence and error estimates of the Monte Carlo method for the Navier-Stokes equations with random data. To discretize in space and time, the Monte Carlo method is combined with a ...
    • 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 ...