The On-Line Encyclopedia of Integer Sequences (OEIS)

Revision History for A159484 (Bold, blue-underlined text is an addition; faded, red-underlined text is a ~~deletion~~.)
newer changes | Showing entries 11-20 | older changes

A159484

Upper bound arising in Hadwiger's conjecture.
(history; published version)

#14 by Susanna Cuyler at Wed Jun 13 09:13:27 EDT 2018

STATUS

proposed

approved

#13 by Michel Marcus at Wed Jun 13 02:11:37 EDT 2018

STATUS

editing

proposed

#12 by Michel Marcus at Wed Jun 13 02:11:33 EDT 2018

REFERENCES

Hadwiger, Hugo (1943), "Über eine Klassifikation der Streckenkomplexe", Vierteljschr. Naturforsch. ges. Zuerich 88: 133-143 .

LINKS

Hugo Hadwiger, <a href="http://www.ngzh.ch/archiv/1943_88/88_2/88_17.pdf">Über eine Klassifikation der Streckenkomplexe</a>, Vierteljschr. Naturforsch. ges. Zürich 88: 133-143 (1943).

STATUS

proposed

editing

#11 by G. C. Greubel at Wed Jun 13 00:46:07 EDT 2018

STATUS

editing

proposed

#10 by G. C. Greubel at Wed Jun 13 00:45:28 EDT 2018

MATHEMATICA

Table[If[n==0, 0, Floor[(4^n)*(5*n*Log[n])]], {n, 0, 30}] (* G. C. Greubel, Jun 12 2018 *)

PROG

(PARI) for(n=0, 30, print1(if(n==0, 0, floor((4^n)*(5*n*log(n)))) , ", ")) \\ G. C. Greubel, Jun 12 2018

(MAGMA) [0] cat [ Floor((4^n)*(5*n*Log(n))) : n in [1..30]]; // G. C. Greubel, Jun 12 2018

STATUS

approved

editing

#9 by Jon E. Schoenfield at Sun Jul 05 20:24:16 EDT 2015

STATUS

editing

approved

#8 by Jon E. Schoenfield at Sun Jul 05 20:24:14 EDT 2015

FORMULA

a(n) = floor((4^n)*(5*n*lnlog(n))).

EXAMPLE

a(1) = (4^1) * (5 * 1 * log(1)) = 0.

a(1) = (4^1) * (5 * 1 * ln(1)) = 0. a(2) = floor ((4^2) * (5 * 2 * lnlog(2))) = floor(110.903549) = 110. a(3) = floor(1054.6678) = 1054.

a(3) = floor(1054.6678) = 1054.

STATUS

approved

editing

#7 by Charles R Greathouse IV at Mon Jun 23 16:31:12 EDT 2014

REFERENCES

Hadwiger, Hugo (1943), "Ueber Über eine Klassifikation der Streckenkomplexe", Vierteljschr. Naturforsch. ges. Zuerich 88: 133-143 .

Discussion

Mon Jun 23

16:31

OEIS Server: https://oeis.org/edit/global/2237

#6 by Russ Cox at Sat Mar 31 13:22:28 EDT 2012

EXTENSIONS

a(7) - a(22) from _Nathaniel Johnston (nathaniel(AT)nathanieljohnston.com), _, Apr 26 2011

Discussion

Sat Mar 31

13:22

OEIS Server: https://oeis.org/edit/global/888

#5 by Russ Cox at Fri Mar 30 18:40:49 EDT 2012

AUTHOR

_Jonathan Vos Post (jvospost3(AT)gmail.com), _, Apr 14 2009

Discussion

Fri Mar 30

18:40

OEIS Server: https://oeis.org/edit/global/228