1 paper · 1 filter
Jiedong Jiang, Yixiao Li, Zeming Sun +3
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 reaso…