TOMMY HOFMANN
Preprints
Publications

Cyclic extensions of prime degree and their padic regulators (with Yinan Zhang)
To appear in Proceedings of ANTS XIII, 2018.

On the construction of class fields (with Claus Fieker and Carlo Sircana)
To appear in Proceedings of ANTS XIII, 2018.

On lattices of integral group algebras and Solomon zeta functions (with Susanne Danz)
Accepted for publication in Int. Electron. J. Algebra, 2018.

Computing tropical points and tropical links (with Yue Ren)
Discrete Comput Geom 60 (2018), 627–645, arXiv:1611.02878.

Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language (with Claus Fieker, William Hart and Fredrik Johansson)
ISSAC 2017, 157–164, arXiv:1705.03266.

On the computation of the HNF of a module over the ring of integers of a number field (with JeanFrançois Biasse and Claus Fieker)
J. Symbolic Comput. 80 (2017), part 3, 581–615, arXiv:1612.09428.

Valuations of `p`adic regulators of cyclic cubic fields (with Yinan Zhang)
J. Number Theory 169 (2016), 86–102, arXiv:1701.00340.

Zeta functions of lattices of the symmetric group
Comm. Algebra 44 (2016), no. 5, 2243–2255, arXiv:1612.09176.

Computing in quotients of rings of integers (with Claus Fieker)
LMS Journal of Computation and Mathematics 17 (2014), 349–365, arXiv:1612.09176.
Lecture notes
Software

Nemo
Julia computer algebra package (coauthor, since 2015)

Hecke
Julia package for algorithmic algebraic number theory (coauthor, since 2015)

The Magma implementation of the algorithms described in "Computing isomorphisms between lattices": Lattices.m and Iso.m.

The Magma implementation of the algorithms described in "Computational verification of Leopoldt’s conjecture and the Leading Term Conjectures for totally real fields": CheckLeopoldt.m.
Theses

Integrality of representations of finite groups
PhD thesis, Technische Universität Kaiserslautern, July 2016
Supervisor: Prof. Dr. Claus Fieker

Koinvariantenalgebren in positiver Charakteristik
Diplom thesis, Technische Universtität Kaiserslautern
Supervisor: Prof. Dr. Gunter Malle