Login / Signup
Dagur Tómas Ásgeirsson
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Pursuit Evasion
Nash Equilibria
Theorem Prover
Game Playing
Top Venues
CoRR
Int. J. Algebra Comput.
</>
Publications
</>
Dagur Tómas Ásgeirsson
Towards solid abelian groups: A formal proof of Nöbeling's theorem.
CoRR
(2023)
Dagur Tómas Ásgeirsson
,
Pat Devlin
Palindromes in finite groups and the Explorer-Director game.
Int. J. Algebra Comput.
31 (3) (2021)