Email Gateway (Aug 18 2022 at 10:02): Email Gateway (Aug 18 2022 at 10:02):From: Tao Ma <separable@gmail.com>
hi
i am interested in possibly formalizing some commutative ring
theory (noetherian condition, prime decomposition, regular sequence, etc).
i am wondering what is the latest development in this area?
the most developed library i can find seems to be
http://afp.sourceforge.net/entries/Group-Ring-Module.shtml
but its dated 2004, is there any newer version?
is there any other related on-going work?
thanks
tao
Last updated: May 03 2024 at 12:27 UTC