Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Administered by:

Server stats:

217
active users

eupolicy.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#maths

35 posts20 participants1 post today
💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱<p><span class="h-card" translate="no"><a href="https://dair-community.social/@emilymbender" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>emilymbender</span></a></span> <br>"it did not compare the A.I. with human performance" - as a <a href="https://dotnet.social/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://dotnet.social/tags/teacher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>teacher</span></a> it bugs me no end when they DO compare the <a href="https://dotnet.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://dotnet.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> with humans ("it would've passed!"). A.I. is a <a href="https://dotnet.social/tags/computer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computer</span></a> <a href="https://dotnet.social/tags/program" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>program</span></a>. We already have computer programs that are 100% correct with Maths - hand-held calculators come with them! If you're comparing it to humans then you're admitting it is flawed when it comes to doing <a href="https://dotnet.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a>, not flawless like a Sharp calculator. It should be getting 100%! 😡</p>
Tariq<p>Need some help.</p><p>-----</p><p>I know that to prove P ⇒ Q, I assume P and derive Q.</p><p>----</p><p>Now to prove</p><p>(A⇒B) ⇒ ((B⇒C) ⇒ (A⇒C))</p><p>I need to assume (A⇒B) and derive ((B⇒C) ⇒ (A⇒C)).</p><p>But I can't seem to make progress from (A⇒B) alone, I think I need to assume A is true as well.</p><p>----</p><p>Intuitively the statement makes total sense. But drawing the derivation as per image attached using elim and intro rules, I get stuck unless I assume A too.</p><p>Can anyone help clarify my thinking?</p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
Tariq<p>My second ever derivation in "flag format"</p><p>I'm using the flagderiv latex package which is actually very simple to use. It is already installed in Overleaf if you use that.</p><p><a href="https://www.ctan.org/pkg/flagderiv" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">ctan.org/pkg/flagderiv</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</span></a> <a href="https://mastodon.social/tags/latex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>latex</span></a></p>
ThierryJ :mastodon:<p>Mais ! <a href="https://mamot.fr/tags/confused" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>confused</span></a> <a href="https://mamot.fr/tags/pride" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pride</span></a> <a href="https://mamot.fr/tags/MarcheDesFiert%C3%A9s" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MarcheDesFiertés</span></a> <a href="https://mamot.fr/tags/Rennes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rennes</span></a> <a href="https://mamot.fr/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a></p>
Tommaths (he/him)<p>For anyone who uses <span class="h-card" translate="no"><a href="https://bookstodon.thestorygraph.com/@thestorygraph" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>thestorygraph</span></a></span> , The Mathematicians' Library is available to add to your 'to read' list in time for its release: <a href="https://app.thestorygraph.com/books/df920e12-b1e1-4980-aab3-2ccd76865a30" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">app.thestorygraph.com/books/df</span><span class="invisible">920e12-b1e1-4980-aab3-2ccd76865a30</span></a></p><p><a href="https://mathstodon.xyz/tags/bookstodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bookstodon</span></a> <a href="https://mathstodon.xyz/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</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/MathsToday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MathsToday</span></a> <a href="https://mathstodon.xyz/tags/history" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>history</span></a></p>
Tariq<p>my first ever derivation in "flag format" !!</p><p><a href="https://type-theory-and-formal-proof.blogspot.com/2025/06/chapter-2-exercise-6.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">type-theory-and-formal-proof.b</span><span class="invisible">logspot.com/2025/06/chapter-2-exercise-6.html</span></a></p><p>update - there's a typo on the last line, I'll fix it tomorrow</p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</span></a></p>
Oscar Cunningham<p>Has anyone made an index of projects like the Busy Beaver Challenge and Tao's Equational Theories Project? I love the idea of taking a bunch of problems and solving them in size order; pushing back the frontier of mathematics systematically. I know I also saw a stackexchange post where some looked at all the small sentences in PA. Is there an overview somewhere?</p><p><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/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a></p>
Tariq<p>LaTex for Logicians</p><p>It seems to be a collection of how-tos for recreating diagrams / notation used in logic.</p><p>I may use it for "flag derivation diagrams".</p><p><a href="https://www.logicmatters.net/latex-for-logicians/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">logicmatters.net/latex-for-log</span><span class="invisible">icians/</span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/latex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>latex</span></a></p>
Europe Says<p><a href="https://www.europesays.com/2140738/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/2140738/</span><span class="invisible"></span></a> The bizarre story of a maths proof that is only true in Japan <a href="https://pubeurope.com/tags/japan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>japan</span></a> <a href="https://pubeurope.com/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://pubeurope.com/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a></p>
Amateur Human<p>Thank fuck that's finished <a href="https://mastodon.scot/tags/exams" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>exams</span></a> </p><p>Anyone so much as mentions <a href="https://mastodon.scot/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> in the next 2 months gets smacked up real hard!!</p>
Aethelflaed<p><a href="https://mstdn.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mstdn.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>science</span></a> <a href="https://mstdn.social/tags/renewables" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>renewables</span></a> <a href="https://mstdn.social/tags/technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>technology</span></a> </p><p>A 100 year old maths problem has been solved by an undergraduate at Penn State University. More impressive is the fact that the problem has helped to make wind turbines more efficient. The model of turbine efficiency was first proposed by a British aerodynamicist last century, but the model was based on a maths problem that assumed turbines were solid. For years many attempts were made to refine the model. But now its solved.<a href="https://www.discovermagazine.com/the-sciences/100-year-old-math-problem-broken-helping-to-improve-wind-turbine-efficiency" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">discovermagazine.com/the-scien</span><span class="invisible">ces/100-year-old-math-problem-broken-helping-to-improve-wind-turbine-efficiency</span></a></p>
myrmepropagandist<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@divbyzero" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>divbyzero</span></a></span> </p><p>This is lovely, Dave! <a href="https://sauropods.win/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://sauropods.win/tags/mathEducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathEducation</span></a> <a href="https://sauropods.win/tags/trig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trig</span></a> <a href="https://sauropods.win/tags/trigonometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trigonometry</span></a> <a href="https://sauropods.win/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://sauropods.win/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://sauropods.win/tags/teaching" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>teaching</span></a> <a href="https://sauropods.win/tags/calculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>calculus</span></a></p>
🔘 G◍M◍◍T 🔘<p>💡 Gemini 2.5 Pro 06-05, maggiore precisione e migliori performance nel coding</p><p><a href="https://gomoot.com/gemini-2-5-pro-06-05-maggiore-precisione-e-migliori-performance-nel-coding" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gomoot.com/gemini-2-5-pro-06-0</span><span class="invisible">5-maggiore-precisione-e-migliori-performance-nel-coding</span></a></p><p><a href="https://mastodon.uno/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://mastodon.uno/tags/api" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>api</span></a> <a href="https://mastodon.uno/tags/blog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>blog</span></a> <a href="https://mastodon.uno/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a> <a href="https://mastodon.uno/tags/gemini" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gemini</span></a> <a href="https://mastodon.uno/tags/gemini25" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gemini25</span></a> <a href="https://mastodon.uno/tags/google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>google</span></a> <a href="https://mastodon.uno/tags/ia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ia</span></a> <a href="https://mastodon.uno/tags/llm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llm</span></a> <a href="https://mastodon.uno/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.uno/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>news</span></a> <a href="https://mastodon.uno/tags/picks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>picks</span></a> <a href="https://mastodon.uno/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tech</span></a> <a href="https://mastodon.uno/tags/tecnologia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tecnologia</span></a></p>
Tariq<p>I've posted an exercise I'm not making progress on stack exchange</p><p>(I think) the core of it is how to handle "free variables" when deriving a type using the 3 rules - (var) (appl) (abst)</p><p><a href="https://cs.stackexchange.com/questions/173051/using-premise-conclusion-derivation-rules-with-free-variables-in-simply-typed-λ" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cs.stackexchange.com/questions</span><span class="invisible">/173051/using-premise-conclusion-derivation-rules-with-free-variables-in-simply-typed-λ</span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</span></a></p>
Tariq<p>I'd welcome advice on how to handle "free variables" when working out if a λ-term is legal using the "premise / conclusion" process </p><p>I'm not sure how to handle the type for the "free variable" y in this exercise</p><p>working out so far<br><a href="https://type-theory-and-formal-proof.blogspot.com/2025/06/chapter-2-exercise-6.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">type-theory-and-formal-proof.b</span><span class="invisible">logspot.com/2025/06/chapter-2-exercise-6.html</span></a></p><p>image attached to illustrate which variable </p><p>I should have ended up with the empty context justifies...</p><p>∅ ⊢ ....</p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</span></a></p>
Tariq<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@abuseofnotation" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>abuseofnotation</span></a></span> </p><p>So I typed </p><p>λxy . x (λz.y) y</p><p>as</p><p>((C→B) →B →E) →B→C→E</p><p>but the book says</p><p>((C→B) →B →E) →B→E</p><p>I can't pin down the reason one is correct over the other - I can see reasons for both.</p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cs</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 noreferrer" 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 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/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</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/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/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/animation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animation</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/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/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/number" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>number</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>4: The palindromes in base 10 (A002113) ➡️ <a href="https://decompwlj.com/3DgraphGen/Palindromes.html" rel="nofollow noopener noreferrer" 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 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/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</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/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/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/animation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animation</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/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/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/number" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>number</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>3: The triangular numbers (A000217) ➡️ <a href="https://decompwlj.com/3DgraphGen/Triangular_numbers.html" rel="nofollow noopener noreferrer" 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 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/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</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/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/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/animation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animation</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/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/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/number" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>number</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>2: The prime numbers (A000040) ➡️ <a href="https://decompwlj.com/3DgraphGen/Prime_numbers.html" rel="nofollow noopener noreferrer" 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 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/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</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/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/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/animation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animation</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/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/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/number" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>number</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>
ExploreLive feeds
About