login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A055512 Lattices with n labeled elements. 6
1, 1, 2, 6, 36, 380, 6390, 157962, 5396888, 243179064, 13938711210, 987858368750, 84613071940452, 8597251494954564, 1020353444641839854, 139627532137612581090, 21788453795572514675760, 3840596246648027262079472, 758435490711709577216754642 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,3

LINKS

Sean A. Irvine, Table of n, a(n) for n = 0..19 (terms 0..18 from David Wasserman)

J. Heitzig and J. Reinhold, Counting finite lattices, preprint no. 298, Institut für Mathematik, Universität Hanover, Germany, 1999.

Sean A. Irvine, Java program (github).

J. Heitzig and J. Reinhold, Counting finite lattices,  Algebra univers. 48, 43-53 (2002).

D. J. Kleitman and K. J. Winston, The asymptotic number of lattices, in: Combinatorial mathematics, optimal designs and their applications (Proc. Sympos. Combin. Math. and Optimal Design, Colorado State Univ., Fort Collins, Colo., 1978), Ann. Discrete Math. 6 (1980), 243-249.

Alan Veliz-Cuba and Reinhard Laubenbacher, Dynamics of semilattice networks with strongly connected dependency graph, Automatica (2019) Vol. 99, 167-174.

Index entries for "core" sequences

CROSSREFS

Cf. A006966, A001035. Main diagonal of A058159.

Sequence in context: A196870 A089709 A262234 * A078973 A208650 A152480

Adjacent sequences:  A055509 A055510 A055511 * A055513 A055514 A055515

KEYWORD

core,hard,nonn,nice

AUTHOR

Jobst Heitzig (heitzig(AT)math.uni-hannover.de), Jul 03 2000

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified June 14 07:10 EDT 2021. Contains 345018 sequences. (Running on oeis4.)