Indagationes Mathematicae (Proceedings)

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

N.G. de Bruijn · 1972 · 925 citations

Computing, Computer Science, Mathematics +15

Tests concerning random points on a circle

Nicolaas H. Kuiper · 1960 · 533 citations

Natural Sciences, Mathematics, Geometry +7

A note on the joint spectral radius

Gian‐Carlo Rota, W. Gilbert Strang · 1960 · 529 citations

Natural Sciences, Physics, Interstellar Medium +4

The asymptotic normality and consistency of kendall’s test against trend, when ties are present in one ranking

T.J. Terpstra · 1952 · 506 citations · Full text

Natural Sciences, Biostatistics, Statistics +8

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

N.G. de Bruijn · 1981 · 453 citations · Full text

Natural Sciences, Mathematics, Combinatorics +10