%I A071921
%S A071921 1,1,0,1,1,0,1,2,1,0,1,3,4,1,0,1,4,9,7,1,0,1,5,16,22,11,1,0,1,6,25,50,
%T A071921 46,16,1,0,1,7,36,95,130,86,22,1,0,1,8,49,161,295,296,148,29,1,0,1,9,
%U A071921 64,252,581,791,610,239,37,1,0
%N A071921 Square array giving number of unimodal functions [n]->[m] for n>=0, m>
=0, with a(0,m)=1 by definition, read by antidiagonals.
%C A071921 If one uses a definition of unimodality that involves universal quantifiers
on the domain of a function then a(0,m)=1 a priori.
%F A071921 a(n, m)=1 if n=0, m>=0, a(n, m)=sum_{k=0}^{m-1} binomial(2k+n-1, 2k)
otherwise.
%Y A071921 Sequence in context: A094266 A071569 A118340 this_sequence A003992 A118345
A118350
%Y A071921 Adjacent sequences: A071918 A071919 A071920 this_sequence A071922 A071923
A071924
%K A071921 nonn,easy,tabl
%O A071921 0,8
%A A071921 Michele Dondi (bik.mido(AT)tiscalinet.it), Jun 14, 2002
|