生涯
ドイツのドレスデン工科大学に所属して、9番目のデデキント数を計算した。2023年4月3日にarXivへ投稿した原稿「9番目のデデキント数の計算」は、11ページの短いものだった。
自由分配束の区間を使ってやを表す式を整理し、行列の積とトレースで書き直した。は、5変数の単調な関数7,581個から組み立てている。区間の形が同じものを見つけるのに、形式概念分析と、グラフの同型を調べるソフトウェアnautyを使い、計算の量を減らした。Nvidia A100というGPUを延べ5,311時間使い、4,257,682,565回の行列の積の末に値を得た。同じ値は3日後に、パーダーボルン大学とルーヴェン・カトリック大学のチームも別の方法で公表している。論文は同じ2023年、Journal of Computational Algebraに載った。