Topic: "ring-theory"
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 28.6 MB - Last synced at: about 6 hours ago - Pushed at: about 7 hours ago - Stars: 253 - Forks: 79
luizmugnaini/deep-dive
Extensive learning notes on mathematics
Language: TeX - Size: 4.54 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0
iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
Language: TeX - Size: 5.34 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0
pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
Language: Agda - Size: 185 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
bushshrub/algebra-book
An undergraduate abstract algebra textbook
Language: TeX - Size: 1.62 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
roelchristian/algebra-reviewer
Graduate algebra reviewer
Language: TeX - Size: 969 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
hbghlyj/Rings
"Rings & Modules" notes reproduction《环与模》讲义重刻
Size: 1.69 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
suohyd/Algebra-II
Ring and Module theory
Size: 913 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
yoelmatveyev/snring
Some tools for researching a particular near-ring over free groups
Language: Common Lisp - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
