

A036436


Numbers n such that tau(n) (the number of divisors of n) is a square.


5



1, 6, 8, 10, 14, 15, 21, 22, 26, 27, 33, 34, 35, 36, 38, 39, 46, 51, 55, 57, 58, 62, 65, 69, 74, 77, 82, 85, 86, 87, 91, 93, 94, 95, 100, 106, 111, 115, 118, 119, 120, 122, 123, 125, 129, 133, 134, 141, 142, 143, 145, 146, 155, 158, 159, 161, 166, 168, 177, 178, 183
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,2


COMMENTS

Invented by the HR (named after Hardy and Ramanujan) concept formation program.
Numbers in this sequence but not in A036455 are 1, 1260, 1440, 1800, 1980 etc. [From R. J. Mathar, Oct 20 2008]
tau(p^(n^21)) = n^2 so numbers of this form are in this sequence, and because tau is multiplicative: if a and b are in this sequence and (a,b)=1 then a*b is also in a(n).  Enrique Pérez Herrero, Jan 22 2013


REFERENCES

S. Colton, Automated Theorem Discovery: A Future Direction for Theorem Provers, 2002.


LINKS

Amiram Eldar, Table of n, a(n) for n = 1..10000
S. Colton, Refactorable Numbers  A Machine Invention, J. Integer Sequences, Vol. 2, 1999, #2.
S. Colton, HR  Automatic Theory Formation in Pure Mathematics (Unfortunately [403 Forbidden])
S. Colton and A. Bundy, Automatic Concept Formation in Pure Mathematics
S. Colton, A. Bundy and T. Walsh, Agent Based Cooperative Theory Formation in Pure Mathematics
S. Colton, R. McCasland and A. Bundy, Automated Theory Formation for Tutoring Tasks in Pure Mathematics, 2002.


EXAMPLE

tau(6)=4, which is a square number, so 6 is in this sequence.


MATHEMATICA

Select[Range[200], IntegerQ[Sqrt[DivisorSigma[0, #]]]&] (* Harvey P. Dale, Apr 20 2011 *)


PROG

(PARI) is(n)=issquare(numdiv(n)) \\ Charles R Greathouse IV, Jan 22 2013


CROSSREFS

Cf. A009087, A033950, A057265, A049439.
Sequence in context: A130763 A328338 A120497 * A036455 A291127 A211337
Adjacent sequences: A036433 A036434 A036435 * A036437 A036438 A036439


KEYWORD

easy,nonn


AUTHOR

Simon Colton (simonco(AT)cs.york.ac.uk)


EXTENSIONS

Links corrected and edited by Daniel Forgues, Jun 30 2010


STATUS

approved



