Search results

Hom-ring, ℤ, ℚ, etc.

elementary-number-theory

linear-algebra

ring-theory

Status: Open (in progress).

UniMath/agda-unimathnumber 1452

#1452 In UniMath/agda-unimath;

· malarbol opened on Jul 12, 2025

Polynomials and formal power series

commutative-algebra

ring-theory

Status: Open.

#1357 In UniMath/agda-unimath;

· lowasser opened on Mar 3, 2025

Ideals of semirings

ring-theory

Status: Draft (not ready).

UniMath/agda-unimathnumber 1310

#1310 In UniMath/agda-unimath;

· EgbertRijke opened on Feb 9, 2025

Target: apartness algebras and their antisubalgebras

commutative-algebra

group-theory

ring-theory

Status: Open.

#1239 In UniMath/agda-unimath;

· djspacewhale opened on Jan 21, 2025

Define unital algebras over a ring

good first issueGood for newcomersGood for newcomers

ring-theory

Status: Open.

#740 In UniMath/agda-unimath;

· fredrik-bakke opened on Sep 10, 2023

Define maximal ideals for rings and commutative rings

commutative-algebra

good first issueGood for newcomersGood for newcomers

ring-theory

Status: Open.

#731 In UniMath/agda-unimath;

· fredrik-bakke opened on Sep 10, 2023