lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

64
active users

#math

50 posts32 participants1 post today
Rémi Eismann<p>Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:<br>🧵⬇️</p><p>1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Natur</span><span class="invisible">al_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
José A. Alonso<p>Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad. <a href="https://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">deepmind.google/discover/blog/</span><span class="invisible">advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IMO</span></a></p>
Rudy<p>Happy "One Over Pi" Approximation Day </p><p> 7/22 ≈ 1/π</p><p><a href="https://mstdn.ca/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Rasmus<p>The hexagonal tile is of course slightly skewed. (2/3) <a href="https://mathstodon.xyz/tags/TilingTuesday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TilingTuesday</span></a> <a href="https://mathstodon.xyz/tags/tiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tiling</span></a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometry</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Rasmus<p>The tiling can be divided down into different modules of higher genus. One can be seen below. (2/3) <a href="https://mathstodon.xyz/tags/TilingTuesday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TilingTuesday</span></a> <a href="https://mathstodon.xyz/tags/tiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tiling</span></a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometry</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Rasmus<p>Monohedral Hexagonal Tiling of infinite stacked surface with triangular, hexagonal and rhombic channels. (1/3) <a href="https://mathstodon.xyz/tags/TilingTuesday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TilingTuesday</span></a> <a href="https://mathstodon.xyz/tags/tiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tiling</span></a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometry</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Rémi Eismann<p>Now this animation is available for the 1000 sequences decomposed on my website.<br>Accessible from the 3Dgraph, 2Dgraph500terms and 2dgraphs pages ➡️ <a href="https://decompwlj.com" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">decompwlj.com</span><span class="invisible"></span></a><br>A little more work on axis sizing and controls.</p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
Rémi Eismann<p>4: The palindromes in base 10 (A002113) ➡️ <a href="https://decompwlj.com/3DgraphGen/Palindromes.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Palin</span><span class="invisible">dromes.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
Rémi Eismann<p>3: The triangular numbers (A000217) ➡️ <a href="https://decompwlj.com/3DgraphGen/Triangular_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Trian</span><span class="invisible">gular_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
Rémi Eismann<p>2: The prime numbers (A000040) ➡️ <a href="https://decompwlj.com/3DgraphGen/Prime_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Prime</span><span class="invisible">_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
Rémi Eismann<p>Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:<br>🧵⬇️</p><p>1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Natur</span><span class="invisible">al_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
José A. Alonso<p>Readings shared July 21, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/22-readings_shared_07-21-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a></p>
bbqshoes<p><a href="https://mastodon.art/tags/Monday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Monday</span></a> <a href="https://mastodon.art/tags/Mandelbrot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mandelbrot</span></a> <a href="https://mastodon.art/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mastodon.art/tags/Mood" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mood</span></a></p>
Eibriel<p>Marble computer ROONS. Looks super interesting!</p><p><a href="https://www.youtube.com/watch?v=8taEllwQ2iE" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=8taEllwQ2iE</span><span class="invisible"></span></a></p><p><a href="https://sigmoid.social/tags/Computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Computing</span></a> <a href="https://sigmoid.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Representability and formalization of (distributive quasi) relation algebras. ~ Peter Jipsen. <a href="https://iphils.uj.edu.pl/clock/2025/slides/jipsen.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">iphils.uj.edu.pl/clock/2025/sl</span><span class="invisible">ides/jipsen.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Rémi Eismann<p>Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:<br>🧵⬇️</p><p>1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Natur</span><span class="invisible">al_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
0x10f<p>I came up with this formula:<br> φⁿ = F(n) × φ + F(n - 1)<br>where n is a positive integer, φ is phi or the golden ratio or (1 + √5) / 2, and F(n) is the n'th number in the Fibonacci sequence (F(0) = 0, then 1, 1, 2, 3, 5, 8, ...).</p><p>My attempt to prove the formula by induction:<br> This will be needed later:<br> φ²<br> = ((1 + √5) / 2)²<br> = (1 + √5)² / 4<br> = (6 + 2 × √5) / 4<br> = (3 + √5) / 2<br> = φ + 1<br> My formula works for the smallest value of n:<br> φ¹ = F(1) × φ + F(0) = 1 × φ + 0 = φ<br> If my formula works for n, it will work for n + 1 too:<br> φⁿ⁺¹<br> = φⁿ × φ<br> = (F(n) × φ + F(n - 1)) × φ<br> = F(n) × φ² + F(n - 1) × φ<br> = F(n) × (φ + 1) + F(n - 1) × φ<br> = F(n) × φ + F(n) + F(n - 1) × φ<br> = (F(n) + F(n - 1)) × φ + F(n)<br> = F(n + 1) × φ + F(n)<br> Therefore, my formula works for all values of n.</p><p><a href="https://tech.lgbt/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Prof. Bholanath Dutta<p>Can you SOLVE this ? <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
wobweger :verified:<p><span class="h-card" translate="no"><a href="https://mstdn.mx/@anae" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>anae</span></a></span> 😂 😍 <br>🧡 <a href="https://mstdn.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
José A. Alonso<p>Readings shared July 19, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/20-readings_shared_07-19-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/20-readings_shared_07-19-25</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathlib</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a></p>