• On the Enumeration of Finite $L$-Algebras 

      [OWP-2022-11] Dietzel, Carsten; Menchón, Paula; Vendramin, Leandro (Mathematisches Forschungsinstitut Oberwolfach, 2022-06-29)
      We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the ...
    • Shock-avoiding Slicing Conditions: Tests and Calibrations 

      [OWP-2022-12] Baumgarte, Thomas W.; Hilditch, David (Mathematisches Forschungsinstitut Oberwolfach, 2022-07-19)
      While the 1+log slicing condition has been extremely successful in numerous numerical relativity simulations, it is also known to develop "gauge-shocks" in some examples. Alternative "shockavoiding" slicing conditions ...