login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A055313 Number of labeled rooted trees with n nodes and 12 leaves. 2
13, 745290, 2153888100, 1850107896000, 813987254808000, 233983253596659840, 50146687652338368000, 8684014103185704192000, 1281139242561407305440000, 167044094432657294973120000 (list; graph; refs; listen; history; text; internal format)
OFFSET

13,1

LINKS

Vincenzo Librandi, Table of n, a(n) for n = 13..200

Index entries for sequences related to rooted trees

FORMULA

a(n) = n! * (n-12)^2*(n-11)^2*(n-10)*(n-9)*(n-8)*(n-7)*(n-6)*(n-5)*(n-4)*(n-3)*(n-2)*(n-1)*(9*n^8 - 708*n^7 + 24018*n^6 - 458136*n^5 + 5363513*n^4 - 39369364*n^3 + 176423596*n^2 - 439700816*n + 464486400) / 352423730384732160000. - Vaclav Kotesovec, Jul 25 2014

MATHEMATICA

Table[n! * (n-12)^2*(n-11)^2*(n-10)*(n-9)*(n-8)*(n-7)*(n-6)*(n-5)*(n-4)*(n-3)*(n-2)*(n-1)*(9*n^8 - 708*n^7 + 24018*n^6 - 458136*n^5 + 5363513*n^4 - 39369364*n^3 + 176423596*n^2 - 439700816*n + 464486400) / 352423730384732160000, {n, 13, 25}] (* Vaclav Kotesovec, Jul 25 2014 *)

PROG

(MAGMA) [Factorial(n)*(n-12)^2*(n-11)^2*(n-10)*(n-9)*(n-8)*(n-7)*(n-6)*(n-5)*(n-4)*(n-3)*(n-2)*(n-1)*(9*n^8 - 708*n^7 + 24018*n^6 - 458136*n^5 + 5363513*n^4 - 39369364*n^3 + 176423596*n^2 - 439700816*n + 464486400) / 352423730384732160000: n in [13..25]]; // Vincenzo Librandi, Jul 25 2014

CROSSREFS

Column 12 of A055302.

Sequence in context: A013798 A055324 A228538 * A128669 A013866 A014384

Adjacent sequences:  A055310 A055311 A055312 * A055314 A055315 A055316

KEYWORD

nonn

AUTHOR

Christian G. Bower, May 11 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 20 05:01 EDT 2019. Contains 324229 sequences. (Running on oeis4.)