A computation of the eighth Dedekind number

Order · 1991 · 80 citations · 0 references