一篇题为“多项式理想中的三项式包含是不可判定的”的新论文已发表,由Anna Hofer和Tobias Boege合著。该研究深入探讨了多项式理想中三项式包含的可判定性。 AI
排序理由 该集群包含一篇新的学术论文。[lever_c_demoted from research: ic=1 ai=0.1]
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
一篇题为“多项式理想中的三项式包含是不可判定的”的新论文已发表,由Anna Hofer和Tobias Boege合著。该研究深入探讨了多项式理想中三项式包含的可判定性。 AI
排序理由 该集群包含一篇新的学术论文。[lever_c_demoted from research: ic=1 ai=0.1]
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
完整方法见我们的编辑标准。
New paper with Anna Hofer and @ tobsboe : "Trinomial containment in polynomial ideals is undecidable" https:// arxiv.org/abs/2608.31162 We know that since computers have learned statistics, they do amazing things, but this paper is about what they can not do! And the somewhat sad…