The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure.

John K. Slaney

Browse the full CADE paper archive.