1 paper
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…