cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A359181 Number of commutative BCK-algebras of order n up to isomorphism.

This page as a plain text file.
%I A359181 #23 Jan 09 2023 06:53:38
%S A359181 1,2,5,11,28,72,192,515,1426
%N A359181 Number of commutative BCK-algebras of order n up to isomorphism.
%C A359181 a(2)-a(10) were generated using the model enumerator Mace4.
%H A359181 Y. H. Lin, <a href="https://www.jams.jp/scm/contents/Vol-5-3/5-26.pdf">Some properties on commutative BCK-algebras</a>, Scientiae Mathematicae Japonicae, 55(1) (2002), 129-134.
%H A359181 MathStructures, <a href="https://math.chapman.edu/~jipsen/structures/doku.php?id=commutative_bck-algebras">Commutative BCK-algebras</a>.
%Y A359181 Cf. A287141, A062980, A281270.
%K A359181 nonn,hard,more
%O A359181 2,2
%A A359181 _Choiwah Chow_, Dec 18 2022