login
Even refactorable numbers (i.e., the number of divisors is itself a divisor and it is also even).
12

%I #27 Sep 08 2022 08:45:02

%S 2,8,12,18,24,40,56,60,72,80,84,88,96,104,108,128,132,136,152,156,180,

%T 184,204,228,232,240,248,252,276,288,296,328,344,348,360,372,376,384,

%U 396,424,444,448,450,468,472,480,488,492

%N Even refactorable numbers (i.e., the number of divisors is itself a divisor and it is also even).

%C Invented by the HR mathematical theory formation program.

%D S. Colton, Unpublished PhD Thesis, University of Edinburgh, 2000

%H Amiram Eldar, <a href="/A057265/b057265.txt">Table of n, a(n) for n = 1..10000</a>

%H Simon Colton, <a href="http://www.cs.uwaterloo.ca/journals/JIS/colton/joisol.html">Refactorable Numbers - A Machine Invention</a>, J. Integer Sequences, Vol. 2, 1999, #2.

%H Simon Colton, <a href="http://web.archive.org/web/20070831060523/http://www.dai.ed.ac.uk/homes/simonco/research/hr/">HR - Automatic Theory Formation in Pure Mathematics</a>

%e 18 is refactorable because tau(18) = 6 and 6 divides 18 and 18 is even.

%t rfnQ[n_]:=Module[{ds=DivisorSigma[0,n]},Divisible[n,ds] && EvenQ[ds]];Select[Range[2,500,2],rfnQ] (* _Harvey P. Dale_, Mar 14 2011 *)

%o (Magma) [k:k in [2..500 by 2]| IsIntegral(k/d) and IsEven(d) where d is #Divisors(k)]; // _Marius A. Burtea_, Jan 13 2020

%Y Cf. A033950, A036896.

%K easy,nonn

%O 1,1

%A Simon Colton (simonco(AT)cs.york.ac.uk), Aug 21 2000

%E Corrected (erroneous term 36 removed) by _Harvey P. Dale_, Mar 14 2011