Title: Checking Landau's "Grundlagen" in the automath system
Subjects: AUTOMATH (Formal language), Machine translating, Number theory
People: Edmund Landau (1877-1938)