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.
%I A371717 #23 May 02 2025 01:28:20 %S A371717 1,1,2,4,16,951,16440466 %N A371717 Number of balanced inequivalent monotone Boolean functions of n or fewer variables. %H A371717 Aniruddha Biswas and Palash Sarkar, <a href="https://arxiv.org/abs/2304.14069">Counting unate and balanced monotone Boolean functions,</a> arXiv:2304.14069 [math.CO], 2023. %H A371717 Aniruddha Biswas and Palash Sarkar, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL28/Biswas/biswas6.html">Counting Unate and Monotone Boolean Functions Under Restrictions of Balancedness and Non-Degeneracy</a>, J. Int. Seq. (2025) Vol. 28, Art. No. 25.3.4. See pp. 4, 14. %H A371717 Lennart Van Hirtum, <a href="https://hirtum.com/thesis.pdf">A path to compute the 9th Dedekind Number using FPGA Supercomputing</a> %Y A371717 Cf. A000372, A003182, A341633. %K A371717 nonn,hard,more %O A371717 1,3 %A A371717 _Aniruddha Biswas_, Apr 04 2024 %E A371717 a(7) from _Aniruddha Biswas_, May 12 2024