Nicolaas Govert de Bruijn

#	Item
1	The Search and Construction of Nonlinear Feedback Shift Registers Add to Reading List Source URL: www.math.uni-magdeburg.de Language: English - Date: 2013-08-14 05:43:02 Stream ciphers Nonlinear feedback shift register Radio-frequency identification De Bruijn sequence De Bruijn Linear-feedback shift register Nicolaas Govert de Bruijn Nonlinear system
2	De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Type theory Philosophy of mathematics Proof assistants Automath Automated theorem proving Proof theory Nicolaas Govert de Bruijn Mathematical proof Foundations of mathematics Mathematical logic Theorem Mathematics
3	DICK DE BRUIJN MEMORIAL ISSUE This volume commemorates Nicolaas Govert (‘Dick’) de Bruijn, a Dutch mathematician who passed away on February 17, 2012 at the age of 93. De Bruijn was a very versatile mathematician. I Add to Reading List Source URL: www.integers-ejcnt.org Language: English - Date: 2014-08-25 08:23:18