Exploring Properties of Residue Classes (2000)

by A Meier, V Sorge
Venue:Symbolic Computation and Automated Reasoning * The CALCULEMUS-2000 Symposium