ring-theory
There are 7 repositories under ring-theory topic.
UniMath/agda-unimath
The agda-unimath library
luizmugnaini/deep-dive
Extensive learning notes on mathematics
iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
hbghlyj/Rings
"Rings & Modules" notes reproduction《环与模》讲义重刻
suohyd/Algebra-II
Ring and Module theory
yoelmatveyev/snring
Some tools for researching a particular near-ring over free groups