Certifying Primality

Textbooks: Computational Complexity: A Modern Approach by S. Arora and B. Barak. Algorithm Design by J. Kleinberg and E. Tardos. Lecture slides by K. Wayne accompanying the latter textbook: https://www.cs.princeton.edu/~wayne/kleinberg-tardos/