TOMMY HOFMANN
Preprints

Efficient Gröbner Bases Computation over Principal Ideal Rings, 2019; arXiv:1906.08543 (with Christian Eder).

On Gröbner bases over Dedekind domains, 2019; arXiv:1906.08555.

Appendix to On the \(p\)adic Stark conjecture at \(s = 1\) and applications, 2019; arXiv:1703.06803 (with Henri Johnston and Andreas Nickel).

Computing isomorphisms between lattices, 2018; arXiv:1806.08631 (with Henri Johnston).
Magma implementation: Iso.zip (README).
 On Integral Forms of Specht Modules Labelled by Hook Partitions, 2017; arXiv:1706.02860 (with Susanne Danz).
Publications

On the computation of overorders (with Carlo Sircana)
Accepted for publication in Int. J. Number Theory, arXiv:1909.10860.

The conjugacy problem in \(\mathrm{GL}(n, \mathbb{Z})\) (with Bettina Eick and Eamonn A. O'Brien)
J. London Math. Soc., arXiv:1811.06190.

Cyclic extensions of prime degree and their padic regulators (with Yinan Zhang)
ANTS XIII—Proceedings of the Thirteenth Algorithmic Number Theory Symposium, Open Book Ser., vol. 2, Math. Sci. Publ., Berkeley, CA, 2019, pp. 311–323.

On the construction of class fields (with Claus Fieker and Carlo Sircana)
ANTS XIII—Proceedings of the Thirteenth Algorithmic Number Theory Symposium, Open Book Ser., vol. 2, Math. Sci. Publ., Berkeley, CA, 2019, pp. 239–255.

On lattices of integral group algebras and Solomon zeta functions (with Susanne Danz)
Int. Electron. J. Algebra 25 (2018), 129–170

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": Iso.zip (README).

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