TY  - RPRT
TI  - Affine representability and decision procedures for commutativity theorems for rings and algebras
AU  - Jason P. Bell
AU  - Peter V. Danchev
PY  - 2022
UR  - https://arxiv.org/abs/2011.00357
ID  - 2011.00357
ER  -