- Home
- Best Scientists - Mathematics
- Nicolaas Govert de Bruijn

Discipline name
D-index
D-index (Discipline H-index) only includes papers and citation values for an examined
discipline in contrast to General H-index which accounts for publications across all
disciplines.
Citations
Publications
World Ranking
National Ranking

Mathematics
D-index
40
Citations
11,409
161
World Ranking
1341
National Ranking
14

- Algebra
- Real number
- Programming language

His primary scientific interests are in Combinatorics, Algebra, Discrete mathematics, Applied mathematics and Asymptotic analysis. In most of his Combinatorics studies, his work intersects topics such as Factorization. His studies in Church encoding, System F, Explicit substitution, Typed lambda calculus and Deductive lambda calculus are all subfields of Algebra research.

His Discrete mathematics research incorporates elements of State, Refactorable number, Divisor function and Semiperfect number. His Applied mathematics research integrates issues from Function, Singular perturbation, Asymptotic expansion and Asymptotology. De Ng Dick Bruijn conducts interdisciplinary study in the fields of Asymptotic analysis and Local asymptotic normality through his works.

- A combinatorial problem (1202 citations)
- Asymptotic methods in analysis (1180 citations)
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem (647 citations)

Combinatorics, Discrete mathematics, Automath, Pure mathematics and Algebra are his primary areas of study. Many of his studies on Combinatorics apply to Penrose tiling as well. His Penrose tiling study incorporates themes from Topological conjugacy and Cover.

His Discrete mathematics research incorporates themes from State and Permutation group. His work in Algebra addresses subjects such as Set, which are connected to disciplines such as Expression. His research in Church encoding intersects with topics in Lambda cube and Fixed-point combinator.

- Combinatorics (19.64%)
- Discrete mathematics (14.29%)
- Automath (11.90%)

- Automath (11.90%)
- Algebra (10.71%)
- Combinatorics (19.64%)

De Ng Dick Bruijn mostly deals with Automath, Algebra, Combinatorics, Set and Calculus. Church encoding, Simply typed lambda calculus and Typed lambda calculus are subfields of Algebra in which his conducts study. His Church encoding course of study focuses on Church–Rosser theorem and System F.

His Combinatorics study integrates concerns from other disciplines, such as Topological conjugacy, Cover and Penrose tiling. De Ng Dick Bruijn has researched Set in several fields, including Correctness, Expression and Mathematical thinking. His biological study spans a wide range of topics, including Fixed-point combinator, Universal set and Deductive lambda calculus.

- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem (235 citations)
- Circuits and Trees in Oriented Linear Graphs (75 citations)
- The Mathematical Vernacular, A Language for Mathematics with Typed Sets (69 citations)

- Algebra
- Programming language
- Real number

The scientist’s investigation covers issues in Algebra, Automath, Sequence, Programming language and Church encoding. His work deals with themes such as Context and Identifier, which intersect with Algebra. His Sequence research includes elements of Classical logic, Correctness and Set, Set theory.

His studies in Programming language integrate themes in fields like Structure, Axiom, Terminology and Grammar. His Church encoding research is multidisciplinary, incorporating perspectives in Dependent type, Binary lambda calculus and System F. His System F research incorporates elements of Lambda cube, Fixed-point combinator, Church–Rosser theorem, Deductive lambda calculus and Natural deduction.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Asymptotic methods in analysis

N. G. de Bruijn.

**(1958)**

1975 Citations

Asymptotic methods in analysis

N. G. de Bruijn.

**(1958)**

1975 Citations

A combinatorial problem

de Ng Dick Bruijn.

Proceedings of the Section of Sciences of the Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam **(1946)**

1703 Citations

A combinatorial problem

de Ng Dick Bruijn.

Proceedings of the Section of Sciences of the Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam **(1946)**

1703 Citations

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

de Ng Dick Bruijn.

Indagationes Mathematicae (Proceedings) **(1972)**

1045 Citations

On a combinatorial problem

FA Dick de Bruijn;P Paul Erdös.

Proceedings of the Section of Sciences of the Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam **(1948)**

615 Citations

On a combinatorial problem

FA Dick de Bruijn;P Paul Erdös.

Proceedings of the Section of Sciences of the Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam **(1948)**

615 Citations

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

de Ng Dick Bruijn.

Indagationes Mathematicae (Proceedings) **(1981)**

551 Citations

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

de Ng Dick Bruijn.

Indagationes Mathematicae (Proceedings) **(1981)**

551 Citations

A survey of the project Automath

de Ng Dick Bruijn.

To H.B. Curry : Essays on combinatory logic, lambda calculus and formalism **(1980)**

420 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Hungarian Academy of Sciences

Stanford University

French Institute for Research in Computer Science and Automation - INRIA

Publications: 48

French Institute for Research in Computer Science and Automation - INRIA

Publications: 23

Cornell University

University of Stuttgart

University of Edinburgh

University of Amsterdam

University of La Serena

University of Amsterdam

Chinese Academy of Sciences

University of Massachusetts Medical School

Shenyang Agricultural University

University of Natural Resources and Life Sciences

Max Planck Society

Utrecht University

Nagoya University

Seoul National University Hospital

National Institutes of Health

Manchester Metropolitan University

Something went wrong. Please try again later.