TY  - RPRT
TI  - Explicit equational bases for the power semirings of $S_7$
AU  - Mengya Yue
AU  - Miaomiao Ren
AU  - Zidong Gao
PY  - 2026
UR  - https://arxiv.org/abs/2609.19957
ID  - 2609.19957
ER  -