Theorem of the Day (May 9, 2026) : Woodall’s Hopping Lemma
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/CombinatorialTheory/HoppingLemma/TotDHoppingLemma.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#150

#mathematics #maths #math #theorem @Theoremoftheday

A004202: Skip 1, take 1, skip 2, take 2, skip 3, take 3,...
A004202 ➡️ https://oeis.org/A004202

3D graph, threejs - webGL ➡️ https://decompwlj.com/3Dgraph/A004202.html
3D graph Gen, threejs animation ➡️ https://decompwlj.com/3DgraphGen/A004202.html
2D graph, first 500 terms ➡️ https://decompwlj.com/2Dgraph500terms/A004202.html

#decompwlj #math #mathematics #maths #sequence #OEIS #JavaScript #php #graph #3D #threejs #webGL #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

150 sequences decomposed into weight × level + jump in one GIF (log(weight),log(level)):
1000 sequences decomposed on https://decompwlj.com

#decompwlj #math #mathematics #maths #sequence #OEIS #GIF #graph #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

A004201: Accept one, reject one, accept two, reject two,...
A004201 ➡️ https://oeis.org/A004201

3D graph, threejs - webGL ➡️ https://decompwlj.com/3Dgraph/A004201.html
3D graph Gen, threejs animation ➡️ https://decompwlj.com/3DgraphGen/A004201.html
2D graph, first 500 terms ➡️ https://decompwlj.com/2Dgraph500terms/A004201.html

#decompwlj #math #mathematics #maths #sequence #OEIS #JavaScript #php #graph #3D #threejs #webGL #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

A003814: Numbers k such that the continued fraction for sqrt(k) has odd period length
A003814 ➡️ https://oeis.org/A003814

3D graph, threejs - webGL ➡️ https://decompwlj.com/3Dgraph/A003814.html
3D graph Gen, threejs animation ➡️ https://decompwlj.com/3DgraphGen/A003814.html
2D graph, first 500 terms ➡️ https://decompwlj.com/2Dgraph500terms/A003814.html

#decompwlj #math #mathematics #maths #sequence #OEIS #JavaScript #php #graph #3D #threejs #webGL #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

Decomposition into weight × level + jump of prime numbers in 3D, threejs - webGL (log(weight), log(level), log(jump))
➡️ https://decompwlj.com/3Dgraph/Prime_numbers.html

#decompwlj #math #mathematics #maths #sequence #OEIS #JavaScript #php #graph #3D #threejs #webGL #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

A003796: Numbers with no 3 adjacent 0's in binary expansion
A003796 ➡️ https://oeis.org/A003796

3D graph, threejs - webGL ➡️ https://decompwlj.com/3Dgraph/A003796.html
3D graph Gen, threejs animation ➡️ https://decompwlj.com/3DgraphGen/A003796.html
2D graph, first 500 terms ➡️ https://decompwlj.com/2Dgraph500terms/A003796.html

#decompwlj #math #mathematics #maths #sequence #OEIS #JavaScript #php #graph #3D #threejs #webGL #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

Theorem of the Day (May 8, 2026) : Gödel’s Second Incompleteness Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/LogicAndComputerScience/Godel2/TotDGodel2.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#75

#mathematics #maths #math #theorem @Theoremoftheday

A003726: Numbers with no 3 adjacent 1's in binary expansion
A003726 ➡️ https://oeis.org/A003726

3D graph, threejs - webGL ➡️ https://decompwlj.com/3Dgraph/A003726.html
3D graph Gen, threejs animation ➡️ https://decompwlj.com/3DgraphGen/A003726.html
2D graph, first 500 terms ➡️ https://decompwlj.com/2Dgraph500terms/A003726.html

#decompwlj #math #mathematics #maths #sequence #OEIS #JavaScript #php #graph #3D #threejs #webGL #triangular #numbers #primes #PrimeNumbers #palindromes #animation #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research

My data have not been verified but my work is highly reproducible.
- Downloads (csv, img, dump) ➡️ https://decompwlj.com/
- Algorithms ➡️ https://oeis.org/wiki/Decomposition_into_weight_*_level_%2B_jump#Algorithms

#decompwlj #math #mathematics #maths #sequence #OEIS #Downloads #Algorithms #PARIGP #numbers #primes #PrimeNumbers #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research