Automating elementary number-theoretic proofs using gröbner bases (2007)

by John Harrison
Venue:Proceedings of the 21st International Conference on Automated Deduction, CADE