Palindromes in finite groups and the Explorer-Director game. - Dagur Tómas Ásgeirsson; Pat Devlin 001 (Int. J. Algebra Comput., 2021)

Towards solid abelian groups: A formal proof of Nöbeling's theorem. - Dagur Tómas Ásgeirsson (CoRR, 2023)