The authors enumerate all semirings of order at most 6 (and some classes up to order 8), giving exact counts up to isomorphism and up to isomorphism or anti-isomorphism.
Bauer.alg: Algebraic library for constructive mathematics.https://github.com/andrejbauer/alg
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.RA 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Counting finite semirings
The authors enumerate all semirings of order at most 6 (and some classes up to order 8), giving exact counts up to isomorphism and up to isomorphism or anti-isomorphism.