Noun
Carol number (plural Carol numbers) (mathematics) An integer of the form 4 n − 2 n + 1 − 1 {\displaystyle 4^{n}-2^{n+1}-1} .