ring-theory

There are 1 repository under ring-theory topic.

agda-unimath
UniMath / agda-unimath
The agda-unimath library
homotopy-type-theory univalent-foundations univalent-mathematics category-theory commutative-algebra finite-groups graph-theory order-theory ring-theory structured-types higher-group-theory synthetic-homotopy-theory type-theories univalent-combinatorics number-theory group-theory trees orthogonal-factorization-systems species universal-algebra
Language:Agda 242
luizmugnaini / deep-dive
Extensive learning notes on mathematics. Now hosted at https://git.sr.ht/~presheaf/deep-dive
algebraic-topology category-theory combinatorics differential-geometry graph-theory group-theory homotopy-theory linear-algebra manifolds mathematics module-theory probability-theory ring-theory simplicial-sets statistics topology dendroidal-sets machine-learning
Language:TeX 5
iblech / constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Language:TeX 4
pthariensflame / agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory
Language:Agda 2
bushshrub / algebra-book
An undergraduate abstract algebra textbook
abstract-algebra group-theory mathematics ring-theory
Language:TeX 1
hbghlyj / Rings
"Rings & Modules" notes reproduction《环与模》讲义重刻
abstract-algebra math texmacs typesetting ring-theory ocr
0
roelchristian / algebra-reviewer
Graduate algebra reviewer
abstract-algebra algebra dlsu group-theory math mathematics ring-theory
Language:TeX 0
suohyd / Algebra-II
Ring and Module theory
lecture-notes mathematics module-theory algebra-ii mathematical-notes ring-theory
0
yoelmatveyev / snring
Some tools for researching a particular near-ring over free groups
lisp common-lisp group-theory ring-theory
Language:Common Lisp 0