Rethlas AI produces human-verified proofs resolving open problems in commutative algebra.
Zafrullah,Domains whose ideals meet a universal restriction, arXiv:2006.04135
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.AC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On some open problems in commutative algebra resolved by Rethlas
Rethlas AI produces human-verified proofs resolving open problems in commutative algebra.