https://unimath.github.io/agda-unimath/commutative-algebra.local-commutative-rings.html
Local commutative rings - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
commutative ringslocalagda
https://unimath.github.io/agda-unimath/commutative-algebra.prime-ideals-commutative-rings.html
Prime ideals of commutative rings - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
prime idealscommutative ringsagda
https://ijs.uobaghdad.edu.iq/index.php/eijs/article/view/1786
Maximal Ideal Graph of Commutative Rings | Iraqi Journal of Science
maximal idealcommutative ringsgraphiraqijournal
https://bm.kaznu.kz/index.php/kaznu/en/article/view/485
Quasivarieties of commutative rings | Journal of Mathematics Mechanics and Computer Science
commutative ringscomputer sciencequasivarietiesjournalmathematics