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 206
iblech / constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Language:TeX 4
luizmugnaini / deep-dive
Extensive learning notes on mathematics
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 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 1
hbghlyj / Rings
"Rings & Modules" notes reproduction《环与模》讲义重刻
abstract-algebra math ocr ring-theory texmacs typesetting
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