Automating elementary number-theoretic proofs using Gröbner bases

Cached

Download Links

by John Harrison
Citations:4 - 0 self