The following pages link to (Q3336737):
Displayed 8 items.
- Automated proof of ring commutativity problems by algebraic methods (Q912612) (← links)
- Automated proofs of the Moufang identities in alternative rings (Q912653) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Automated deduction with associative-commutative operators (Q1340508) (← links)
- Computers and universal algebra: Some directions (Q1902542) (← 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)