Concepedia

N.G. de Bruijn

ND

27

Publications

2.6K

Citations

20

H-Index

1947

Active since

Affiliations

Eindhoven University of Technology(Current)

University of Amsterdam

N.G. de Bruijn is an author at Eindhoven University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

1947–1993

27

Publications

27

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1972 · 913 citations

, , +9

Algebraic theory of Penrose's non-periodic tilings of the plane. I

N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1981 · 441 citations · Full text

, , +4

On The Number of Positive Integers ≤ x and Free of Prime Factors > y

N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1951 · 300 citations

Algebraic theory of Penrose's non-periodic tilings of the plane. II

N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1981 · 144 citations · Full text

, , +4

The roots of trigonometric integrals

N.G. de Bruijn · Duke Mathematical Journal · 1950 · 110 citations · Full text

, , +2

Rows per page

1–5 of 27