Report copyright - Automatic Theorem-Proving in Automatic Sequencescanadam.math.ca/2013/slides/Goc.Daniel.pdf · The Rudin-Shapiro sequence is the count, modulo 2, of the number of (possibly overlapping)
Please pass captcha verification before submit form