On some open problems in commutative algebra resolved by Rethlas
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911725982318592 |
|---|---|
| author | Jiang, Jiedong Li, Yixiao Sun, Zeming Wang, Yuefeng Xiao, Liang Yu, Jiahong |
| author_facet | Jiang, Jiedong Li, Yixiao Sun, Zeming Wang, Yuefeng Xiao, Liang Yu, Jiahong |
| contents | We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published lists, including Open Problems in Commutative Ring Theory (Cahen-Fontana-Frisch-Glaz), Erman-Sam's survey of Boij-Söderberg theory. For each problem we record the precise statement and a self-contained proof produced (with no human intervention) by Rethlas and subsequently verified by human experts. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_25259 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On some open problems in commutative algebra resolved by Rethlas Jiang, Jiedong Li, Yixiao Sun, Zeming Wang, Yuefeng Xiao, Liang Yu, Jiahong Commutative Algebra 13C15, 13D02, 13F05, 13F20, 13J10, 17B55, 05E40 We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published lists, including Open Problems in Commutative Ring Theory (Cahen-Fontana-Frisch-Glaz), Erman-Sam's survey of Boij-Söderberg theory. For each problem we record the precise statement and a self-contained proof produced (with no human intervention) by Rethlas and subsequently verified by human experts. |
| title | On some open problems in commutative algebra resolved by Rethlas |
| topic | Commutative Algebra 13C15, 13D02, 13F05, 13F20, 13J10, 17B55, 05E40 |
| url | https://arxiv.org/abs/2605.25259 |