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 ...