Pages that link to "Item:Q1102357"
From MaRDI portal
The following pages link to Case studies of Z-module reasoning: Proving benchmark theorems from ring theory (Q1102357):
Displayed 5 items.
- Automated proofs of the Moufang identities in alternative rings (Q912653) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820) (← links)
- Unnecessary inferences in associative-commutative completion procedures (Q3489486) (← links)
- A case study of completion modulo distributivity and Abelian groups (Q5055783) (← links)