TY - RPRT TI - Trinomial containment in polynomial ideals is undecidable AU - Tobias Boege AU - Anna Hofer AU - Thomas Kahle PY - 2026 UR - https://arxiv.org/abs/2608.31162 ID - 2608.31162 ER -