Browsing by MFO Scientific Program "OWRF 2022"
Now showing items 1-2 of 2
-
On the Enumeration of Finite $L$-Algebras
[OWP-2022-11] (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] (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 ...