Publications and Preprints

Order Σ-invariants, Novikov homology and nilpotent groups, 2024, Doctoral Thesis
Sigma invariants for partial orders on nilpotent groups, 2023, arXiv
Ore localisation: A formalisation in Lean, 2022, mathlib

Kevin Klinge