Pages that link to "Item:Q1825048"
From MaRDI portal
The following pages link to Solving open problems in right alternative rings with Z-module reasoning (Q1825048):
Displaying 4 items.
- Answer to a problem on alternative rings raised by Zhevlakov (Q1066252) (← links)
- Case studies of Z-module reasoning: Proving benchmark theorems from ring theory (Q1102357) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- A case study of completion modulo distributivity and Abelian groups (Q5055783) (← links)