A096714 -id:A096714 - cp's OEIS frontend

A284867 Decimal expansion of Ai(0), where Ai is the Airy function of the first kind.

3, 5, 5, 0, 2, 8, 0, 5, 3, 8, 8, 7, 8, 1, 7, 2, 3, 9, 2, 6, 0, 0, 6, 3, 1, 8, 6, 0, 0, 4, 1, 8, 3, 1, 7, 6, 3, 9, 7, 9, 7, 9, 1, 7, 4, 1, 9, 9, 1, 7, 7, 2, 4, 0, 5, 8, 3, 3, 2, 6, 5, 1, 0, 3, 0, 0, 8, 1, 0, 0, 4, 2, 4, 5, 0, 1, 2, 6, 7, 1, 2, 9, 5, 7, 1, 7, 4, 2, 4, 6, 0, 5, 4, 0, 4, 0, 2, 7, 1, 6, 8, 8, 4, 2, 0

Offset: 0

Jean-François Alcover, Apr 04 2017

			0.35502805388781723926006318600418317639797917419917724058332651030081...

Jerome Spanier and Keith B. Oldham, "Atlas of Functions", Hemisphere Publishing Corp., 1987, chapter 56, page 559.

Simon Plouffe, Airy Functions Constant C1.
Eric Weisstein's MathWorld, Airy Functions.
Wikipedia, Airy Function.

Cf. A096714, A096715, A269892, A269893, A073006 (Gamma(2/3)), A284868 (Ai'(0)).

Mathematica
```
RealDigits[AiryAi[0], 10, 105][[1]]
```

airy(0)[1] \\ Charles R Greathouse IV, Apr 26 2019

Ai(0) = 1/(3^(2/3)*Gamma(2/3)).

A284868 Decimal expansion of the derivative Ai'(0) (negated), where Ai is the Airy function of the first kind.

Original entry on oeis.org

2, 5, 8, 8, 1, 9, 4, 0, 3, 7, 9, 2, 8, 0, 6, 7, 9, 8, 4, 0, 5, 1, 8, 3, 5, 6, 0, 1, 8, 9, 2, 0, 3, 9, 6, 3, 4, 7, 9, 0, 9, 1, 1, 3, 8, 3, 5, 4, 9, 3, 4, 5, 8, 2, 2, 1, 0, 0, 0, 1, 8, 1, 3, 8, 5, 6, 1, 0, 2, 7, 7, 2, 6, 7, 6, 7, 9, 0, 2, 8, 0, 6, 5, 4, 1, 9, 6, 4, 0, 5, 8, 2, 7, 2, 7, 5, 3, 8, 4, 3, 1, 3, 3, 7, 1

Offset: 0

Jean-François Alcover, Apr 04 2017

			-0.2588194037928067984051835601892039634790911383549345822100018138561...

Simon Plouffe, Airy Functions Constant C2
Eric Weisstein's MathWorld, Airy Functions
Wikipedia, Airy Function

Cf. A096714, A096715, A269892, A269893, A073005 (Gamma(1/3)), A284867 (Ai(0)).

Mathematica
```
RealDigits[AiryAi'[0], 10, 105][[1]]
```

-derivnum(x=0,airy(x)[1]) \\ Charles R Greathouse IV, Apr 26 2019

Ai'(0) = -1/(3^(1/3)*Gamma(1/3)).

A096715 First (least negative) real zero of the Airy Bi function (negated).

Original entry on oeis.org

1, 1, 7, 3, 7, 1, 3, 2, 2, 2, 7, 0, 9, 1, 2, 7, 9, 2, 4, 9, 1, 9, 9, 7, 9, 9, 6, 2, 4, 7, 3, 9, 0, 2, 1, 0, 4, 5, 4, 3, 6, 4, 6, 3, 8, 9, 1, 7, 5, 7, 0, 3, 0, 9, 7, 5, 7, 9, 2, 0, 7, 6, 1, 1, 5, 0, 4, 2, 9, 5, 3, 0, 6, 2, 6, 0, 2, 1, 4, 9, 5, 4, 0, 1, 6, 3, 5, 4, 3, 3, 7, 1, 0, 8, 6, 5, 9, 7, 6, 9, 6, 3

Offset: 1

Eric W. Weisstein, Jul 04 2004

			-1.17371322270912792491997996247390210454364638917570...

Eric Weisstein's World of Mathematics, Airy Functions.

Cf. A096714.

RealDigits[AiryBiZero[1], 10, 100][[1]] (* Amiram Eldar, Jun 27 2021 *)

-solve(x=-1.1, -1.2, airy(x)[2]) \\ Charles R Greathouse IV, Apr 27 2019

A254789 The number of unlabeled binary trees that contain n distinct subtrees, where a subtree means take any node and everything below that node.

Original entry on oeis.org

1, 1, 3, 15, 111, 1119, 14487, 230943, 4395855, 97608831, 2482988079, 71321533887, 2286179073663, 80984105660415, 3144251526824991, 132867034410319359, 6073991827274809407, 298815244349875677183, 15746949613850439270975, 885279424331353488224511, 52902213099156326247243519

Offset: 0

Marko Riedel, Feb 07 2015

nonn

a(n) is also the number of compacted binary trees of size n. A compacted binary tree is a directed acyclic graph computed by the UID procedure (see Flajolet et al.) from a given full binary tree. Every edge leading to a subtree that has already been seen during the traversal is replaced by a new kind of edge, a pointer, to the already existing subtree. The size of the compacted binary tree is defined by the number of its internal nodes. See Genitrini et al. - Michael Wallner, Apr 21 2017

			Consider n = 2. For two different subtrees there are (i) the left path on two nodes, (ii) the right path on two nodes, and (iii) the complete tree on three nodes, giving three trees total.
a(3) = 15, as follows:
** First type:
4 paths on 3 nodes:
      o
     /
    o
   /
  o
** Second type:
complete tree on three nodes with a singleton attached, 4 trees on 4 nodes:
      o
     / \
    o   o
   /
  o
** Third type:
complete tree on three nodes attached to a singleton at the root, 2 trees on 4 nodes
      o
     /
    o
   / \
  o   o
** Fourth type:
complete tree on three nodes with two singletons attached in parallel, 2 trees on 5 nodes
      o
     / \
    o   o
   /   /
  o    o
** Fifth type:
complete tree on three nodes with two singletons attached to the same terminal, 2 trees on 5 nodes
      o
     / \
    o   o
   / \
  o   o
** Sixth type:
complete tree on seven nodes
      o
     / \
    o   o
   / \  |\
  o   o o o
Total is 4+4+2+2+2+1 = 15.

Alois P. Heinz, Table of n, a(n) for n = 0..371 (terms n = 1..100 from Andrew Szymczak)
Manosij Ghosh Dastidar and Michael Wallner, Asymptotics of relaxed k-ary trees, arXiv:2404.08415 [math.CO], 2024. See p. 1.5.
Philippe Flajolet, Paolo Sipala, and Jean-Marc Steyaert, Analytic variations on the common subexpression problem, in Automata, Languages and Programming (Coventry, 1990), volume 443 of Lecture Notes in Comput. Sci., pages 220-234. Springer, New York, 1990.
Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers and Michael Wallner, Asymptotic Enumeration of Compacted Binary Trees, arXiv:1703.10031 [math.CO], 2017.
Project Euler.chat, Counting Subtrees, (2015).
Marko Riedel, Eric Noeth et al., Distinct subtrees in binary trees, Math StackExchange, February 2015.
Michael Wallner, Combinatorics of lattice paths and tree-like structures (Dissertation, Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien), 2016.
Christoph Wernhard and Wolfgang Bibel, Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version), arXiv:2104.13645 [cs.AI], 2021.

Cf. A082161.

b[n_ /; n >= 2, p_] := b[n, p] = Sum[b[i, p] b[n-i-1, p+i], {i, 0, n-1}];
b[0, p_] := p + 1;
b[1, p_] := p^2 + p + 1;
a[n_] := b[n, 0];
Table[a[n], {n, 0, 20}] (* Jean-François Alcover, Jul 29 2018  *)

a(n) := b(n,0) where b(0,p) := p+1, b(1,p) := p^2+p+1 and b(n+1,p) = sum(b(i,p)*b(n-i,p+i), i=0..n) for n>=2, see Genitrini et al. - Michael Wallner, Apr 21 2017
a(n) = c(n,n) where c(n,m)=(m+1)*c(n-1,m)+c(n,m-1)-(m-1)*c(n-2,m-1) for n>=m>=1, c(n,m)=0 for n=0. - Michael Wallner, Jan 31 2022
a(n) = Theta(n! 4^n exp(3*a1*n^(1/3)) n^(3/4)) for large n, where a1 = -2.338... = A096714 is the largest root of the Airy function Ai(x) of the first kind; see [Elvey Price, Fang, Wallner 2021]. - Michael Wallner, Jan 31 2022

a(9)-a(15) computed by Johannes Waldmann

a(16)-a(20) computed by Andrew Szymczak, added by Eric Noeth, Mar 04 2015

cp's OEIS Frontend

A284867 Decimal expansion of Ai(0), where Ai is the Airy function of the first kind.

Views

Author

Keywords

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A284868 Decimal expansion of the derivative Ai'(0) (negated), where Ai is the Airy function of the first kind.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A096715 First (least negative) real zero of the Airy Bi function (negated).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

A254789 The number of unlabeled binary trees that contain n distinct subtrees, where a subtree means take any node and everything below that node.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions