mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Server stats:

9K
active users

#theorem

9 posts8 participants1 post today
Paysages Mathématiques<p>Theorem of the Day (May 20, 2025) : The Law of Large Numbers<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Statistics/LargeNumbers/TotDLargeNumbers.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Statistics</span><span class="invisible">/LargeNumbers/TotDLargeNumbers.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#30" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#30</span></a> </p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 19, 2025) : The Total Probability Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Statistics/TotalProb/TotDTotal.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Statistics</span><span class="invisible">/TotalProb/TotDTotal.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#133" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#133</span></a> </p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 18, 2025) : Ore’s Theorem in Graph Theory<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/CombinatorialTheory/Ore/TotDOre.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Combinator</span><span class="invisible">ialTheory/Ore/TotDOre.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#230" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#230</span></a> </p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 17, 2025) : Zeckendorf’s Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Binomial/Zeckendorf/TotDZeckendorf.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Binomial/Z</span><span class="invisible">eckendorf/TotDZeckendorf.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#42" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#42</span></a></p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 16, 2025) : Von Neumann’s Minimax Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/OR/VonNeumann/TotDVonNeumann.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/OR/VonNeum</span><span class="invisible">ann/TotDVonNeumann.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#184" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#184</span></a> </p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 15, 2025) : The Robinson–Schensted–Knuth Correspondence<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/GroupTheory/RSK/TotDRSK.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/GroupTheor</span><span class="invisible">y/RSK/TotDRSK.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#143" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#143</span></a> </p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 14, 2025) : Turing-completeness of Conway’s Game of Life<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/LogicAndComputerScience/Life/TotDLife.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/LogicAndCo</span><span class="invisible">mputerScience/Life/TotDLife.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#266" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#266</span></a> <br><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Rémi Eismann<p>2 ➡️ The prime numbers (A000040):</p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/academia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academia</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener noreferrer" 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):</p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/academia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academia</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>research</span></a></p>
LLMsDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener noreferrer" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Generative" target="_blank">#Generative</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Theorem" target="_blank">#Theorem</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Prover" target="_blank">#Prover</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Processing" target="_blank">#Processing</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Architecture" target="_blank">#Architecture</a><br><br><a href="https://awakari.com/pub-msg.html?id=9T9hJt7kqvmRoI3WA851zFgK54K&amp;interestId=LLMs" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>
Paysages Mathématiques<p>Theorem of the Day (May 13, 2025) : Lagrange’s Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/GroupTheory/Lagrange/TotDLagrange.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/GroupTheor</span><span class="invisible">y/Lagrange/TotDLagrange.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#41" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#41</span></a> <br><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Rémi Eismann<p>Soon the animation for the 1000 sequences of my website/<br>Experimental for now:<br>Prime numbers ➡️ <a href="https://decompwlj.com/exp-code/code-anim-prime.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/exp-code/code-an</span><span class="invisible">im-prime.html</span></a><br>Natural numbers ➡️ <a href="https://decompwlj.com/exp-code/code-anim-natural.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/exp-code/code-an</span><span class="invisible">im-natural.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/natural" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>natural</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/academia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academia</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>research</span></a></p>
Rémi Eismann<p>Generation of three sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:<br>🧵<br>The natural numbers (A000027):</p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decompwlj</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/natural" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>natural</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/academia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academia</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>research</span></a></p>
OpenSourceDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener noreferrer" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Architecture" target="_blank">#Architecture</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Machine" target="_blank">#Machine</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Theorem" target="_blank">#Theorem</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Prover" target="_blank">#Prover</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a><br><br><a href="https://awakari.com/pub-msg.html?id=1nNCBZy9ZeMY2UoDIqY2RHlSxgu&amp;interestId=OpenSource" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>
Paysages Mathématiques<p>Theorem of the Day (May 12, 2025) : A Theorem of Schur on Real-Rootedness<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Analysis/SchurRealZeros/TotDSchurRealZeros.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Analysis/S</span><span class="invisible">churRealZeros/TotDSchurRealZeros.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#147" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#147</span></a> <br><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
LLMsDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener noreferrer" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Theorem" target="_blank">#Theorem</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Prover" target="_blank">#Prover</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Machine" target="_blank">#Machine</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Processing" target="_blank">#Processing</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a><br><br><a href="https://awakari.com/pub-msg.html?id=D14n2sl8c7HnmBmURokBqqPZXX6&amp;interestId=LLMs" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>
LLMsDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener noreferrer" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Architecture" target="_blank">#Architecture</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Machine" target="_blank">#Machine</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Theorem" target="_blank">#Theorem</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Prover" target="_blank">#Prover</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a><br><br><a href="https://awakari.com/pub-msg.html?id=LkIlb8pYLV4IgXgSkvtKsZEDo6i&amp;interestId=LLMs" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>
LLMsDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener noreferrer" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Theorem" target="_blank">#Theorem</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Prover" target="_blank">#Prover</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Machine" target="_blank">#Machine</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Processing" target="_blank">#Processing</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a><br><br><a href="https://awakari.com/pub-msg.html?id=A4OLf2de3NbqJgHPjJ9DstUmvq4&amp;interestId=LLMs" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>
Paysages Mathématiques<p>Theorem of the Day (May 11, 2025) : Cartwright’s Theorem <br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Analysis/Cartwright/TotDCartwright.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Analysis/C</span><span class="invisible">artwright/TotDCartwright.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#98" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#98</span></a></p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Paysages Mathématiques<p>Theorem of the Day (May 10, 2025) : The Jones Knot Polynomial Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Topology/JonesPolynomial/TotDJones.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Topology/J</span><span class="invisible">onesPolynomial/TotDJones.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#240" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#240</span></a> </p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>