Home
Activities
Publications
Teaching
Group
Blog
CV
Fediverse 10.09.

Trinomials Undecidable

Created on September 01, 2026

2026

New preprint: Trinomial containment in polynomial ideals is undecidable with Tobias Boege and Anna Hofer. Lean formalization.

© Copyright 2026 Thomas Kahle. Powered by Jekyll with al-folio theme. Impressum.