Automath language for representing mathematical proofs, so that they could be verified automatically (see automated theorem checking). Shortly before his death, he had been working on models for the human brain. Publications Books, a selection: 1943. Over modulaire vormen van meer veranderlijken 1958. Asymptotic Methods in Analysis, North-Holland, Amsterdam. Articles, a selection: de Bruijn, Nicolaas Govert. "A combinatorial problem", 1946. In Proceedings of the Section of Sciences, Vol. 49, No. 7, pp. 758–764. Koninklijke Nederlandse Akademie v. Wetenschappen. de Bruijn, Nicolaas Govert. "The mathematical language AUTOMATH, its usage, and some of its extensions." Symposium on automatic demonstration. Springer Berlin Heidelberg, 1970. de Bruijn, Nicolaas Govert. "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem." Indagationes Mathematicae (Proceedings). Vol. 75. No. 5. North-Holland, 1972. References External links Nicolaas Govert de Bruijn's obituary Bruijn N.G. de at win.tue.nl (in Dutch) 1918 births 2012 deaths 20th-century Dutch mathematicians Graph theorists Leiden University alumni Vrije Universiteit Amsterdam alumni Academic staff of the University of Amsterdam Academic staff of the Eindhoven University of Technology Scientists from The Hague Knights of the Order of the Netherlands Lion Members of the Royal Netherlands Academy of Arts and Sciences