ring-theory

Here are 8 public repositories matching this topic...

UniMath / agda-unimath

The agda-unimath library

category-theory graph-theory species trees group-theory number-theory commutative-algebra homotopy-type-theory univalent-foundations finite-groups order-theory univalent-mathematics universal-algebra ring-theory structured-types univalent-combinatorics synthetic-homotopy-theory higher-group-theory type-theories orthogonal-factorization-systems

Updated Oct 31, 2024
Agda

luizmugnaini / deep-dive

Star

Extensive learning notes on mathematics

machine-learning statistics topology linear-algebra mathematics category-theory graph-theory algebraic-topology homotopy-theory differential-geometry combinatorics group-theory probability-theory manifolds module-theory ring-theory simplicial-sets dendroidal-sets

Updated Oct 17, 2024
TeX

iblech / constructive-maximal-ideals

Star

Reifying dynamical algebra: maximal ideals in countable rings, constructively

paper mathematics agda forcing constructive-mathematics ring-theory

Updated Mar 11, 2024
TeX

pthariensflame / agda-fumulas

Star

An exploration of fumulas in Agda—a new perspective on ring theory

math mathematics agda algebraic-structures agda-library formal-proofs ring-theory agda-lang

Updated Aug 5, 2024
Agda

suohyd / Algebra-II

Star

Ring and Module theory

mathematics lecture-notes module-theory ring-theory mathematical-notes algebra-ii

Updated May 1, 2024

roelchristian / algebra-reviewer

Star

Graduate algebra reviewer

algebra math mathematics group-theory dlsu abstract-algebra ring-theory

Updated Oct 19, 2024
TeX

yoelmatveyev / snring

Star

Some tools for researching a particular near-ring over free groups

lisp common-lisp group-theory ring-theory

Updated Jun 4, 2020
Common Lisp

hbghlyj / Rings

Star

"Rings & Modules" notes reproduction《环与模》讲义重刻

ocr math typesetting abstract-algebra texmacs ring-theory

Updated Jul 18, 2024

Improve this page

Add a description, image, and links to the ring-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ring-theory topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ring-theory

Here are 8 public repositories matching this topic...

UniMath / agda-unimath

luizmugnaini / deep-dive

iblech / constructive-maximal-ideals

pthariensflame / agda-fumulas

suohyd / Algebra-II

roelchristian / algebra-reviewer

yoelmatveyev / snring

hbghlyj / Rings

Improve this page

Add this topic to your repo