Publication:3801104
From MaRDI portal
zbMath0654.68101MaRDI QIDQ3801104
Publication date: 1988
Gaussian elimination; automated theorem proving; ring theory; Z-module reasoning; equality-oriented reasoning
Related Items
zbMath0654.68101MaRDI QIDQ3801104
Publication date: 1988
Gaussian elimination; automated theorem proving; ring theory; Z-module reasoning; equality-oriented reasoning
Related Items