Mastodon en masto.es

José A. AlonsoVerificación formal en ACL2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica. ~ Francisco Palomo Lozano. <a href="https://www.educacion.gob.es/teseo/imprimirFicheroTesis.do?idFichero=LiV3M7i%2FrIg%3D" rel="nofollow noopener" translate="no" target="_blank">https://www.educacion.gob.es/teseo/imprimirFicheroTesis.do?idFichero=LiV3M7i%2FrIg%3D</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

Paysages MathématiquesTheorem of the Day (August 13, 2025) : Catalan’s Conjecture (Mihailescu’s Theorem) Source : Theorem of the Day / Robin Whitty pdf : <a href="https://www.theoremoftheday.org/NumberTheory/Catalan/TotDCatalan.pdf" rel="nofollow noopener" translate="no" target="_blank">https://www.theoremoftheday.org/NumberTheory/Catalan/TotDCatalan.pdf</a> notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#118" rel="nofollow noopener" translate="no" target="_blank">https://www.theoremoftheday.org/Resources/TheoremNotes.htm#118</a><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener" target="_blank">@Theoremoftheday</a>

CeceliaIt’s time for me to come back to this project to implement a new feature. I’m currently looking up the math on light and viral irradiation to approximate disinfecting lamps.I’m learning all kinds of stuff about science math which is kinda neat: inverse square, log reduction, watt-hour to joule conversion.<a href="https://tech.lgbt/tags/GodotEngine" class="mention hashtag" rel="nofollow noopener" target="_blank">#GodotEngine</a> <a href="https://tech.lgbt/tags/GameDev" class="mention hashtag" rel="nofollow noopener" target="_blank">#GameDev</a> <a href="https://tech.lgbt/tags/AirborneVirus" class="mention hashtag" rel="nofollow noopener" target="_blank">#AirborneVirus</a> <a href="https://tech.lgbt/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> <a href="https://tech.lgbt/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://tech.lgbt/@helianthropy/114171486749868489" rel="nofollow noopener" translate="no" target="_blank">https://tech.lgbt/@helianthropy/114171486749868489</a>

Rémi EismannNow this animation is available for the 1000 sequences decomposed on my website. Accessible from the 3Dgraph, 2Dgraph500terms and 2dgraphs pages ➡️ <a href="https://decompwlj.com" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com</a> A little more work on axis sizing and controls.<a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

Rémi Eismann4: The palindromes in base 10 (A002113) ➡️ <a href="https://decompwlj.com/3DgraphGen/Palindromes.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/Palindromes.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

Rémi Eismann3: The triangular numbers (A000217) ➡️ <a href="https://decompwlj.com/3DgraphGen/Triangular_numbers.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/Triangular_numbers.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

Rémi Eismann2: The prime numbers (A000040) ➡️ <a href="https://decompwlj.com/3DgraphGen/Prime_numbers.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/Prime_numbers.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

Rémi EismannGeneration of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation: 🧵⬇️1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/Natural_numbers.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

José A. AlonsoSecond analysis lecture "Filter" (June 17, 2025). ~ Alex Kontorovich. <a href="https://alexkontorovich.github.io/2025SimonsFoundationWorkshop/SimonsLeanWorkshopAnalysis2.pdf" rel="nofollow noopener" translate="no" target="_blank">https://alexkontorovich.github.io/2025SimonsFoundationWorkshop/SimonsLeanWorkshopAnalysis2.pdf</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

José A. AlonsoFirst analysis lecture (June 16, 2025) ~ Alex Kontorovich. <a href="https://alexkontorovich.github.io/2025SimonsFoundationWorkshop/SimonsLeanWorkshopAnalysis1.pdf" rel="nofollow noopener" translate="no" target="_blank">https://alexkontorovich.github.io/2025SimonsFoundationWorkshop/SimonsLeanWorkshopAnalysis1.pdf</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

Paysages Mathématiques13 août 1861 : <a href="https://mathstodon.xyz/tags/CeJourL%C3%A0" class="mention hashtag" rel="nofollow noopener" target="_blank">#CeJourLà</a> naissance de Cesare Burali-Forti (†21/1/1931), mathématicien italien qui fut assistant de Giuseppe Peano, connu pour le paradoxe qui porte son nom, premier paradoxe de la théorie des ensembles de Cantor. <a href="https://fr.wikipedia.org/wiki/Cesare_Burali-Forti" rel="nofollow noopener" translate="no" target="_blank">https://fr.wikipedia.org/wiki/Cesare_Burali-Forti</a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathématiques</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a>

Fractal KittyThe Pudding has a new post on dicing onions + math!!<a href="https://pudding.cool/2025/08/onions/" rel="nofollow noopener" translate="no" target="_blank">https://pudding.cool/2025/08/onions/</a><a href="https://mathstodon.xyz/tags/onions" class="mention hashtag" rel="nofollow noopener" target="_blank">#onions</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/thePudding" class="mention hashtag" rel="nofollow noopener" target="_blank">#thePudding</a> <a href="https://mathstodon.xyz/tags/pudding" class="mention hashtag" rel="nofollow noopener" target="_blank">#pudding</a>

Rémi EismannOne day, one decomposition A002144: Pythagorean primes: primes of the form 4*k + 13D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/Odd_Pythagorean_primes.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3Dgraph/Odd_Pythagorean_primes.html</a> 3D graph Gen, threejs animation ➡️ <a href="https://decompwlj.com/3DgraphGen/Odd_Pythagorean_primes.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/Odd_Pythagorean_primes.html</a> 2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/Odd_Pythagorean_primes.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/2Dgraph500terms/Odd_Pythagorean_primes.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/Pythagorean" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pythagorean</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

EmberhartRemember that lesson? <a href="https://www.emberhart.com/audio/episode-37-unlucky-or-unprepared/" rel="nofollow noopener" translate="no" target="_blank">https://www.emberhart.com/audio/episode-37-unlucky-or-unprepared/</a>“Bad luck” often hides hesitation, fear of failure, or lack of groundwork. People wait too long, aim for perfection, or doubt themselves right out of opportunities. <a href="https://mastodon.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mastodon.social/tags/Statistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Statistics</a> <a href="https://mastodon.social/tags/GirlsRuleMath" class="mention hashtag" rel="nofollow noopener" target="_blank">#GirlsRuleMath</a> <a href="https://mastodon.social/tags/EmberhartJourney" class="mention hashtag" rel="nofollow noopener" target="_blank">#EmberhartJourney</a>

Michael Magras"If you could be an anarchist and still have a hero, [Tom Lehrer] was our hero." Now, I ask you, what's not to like about a brilliant wit who was an instructor in math and musical theatre and whose email address, according to this article from the Library of America, was livinglegend at ucsc dot edu? <a href="https://mstdn.social/tags/Comedy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Comedy</a> <a href="https://mstdn.social/tags/Music" class="mention hashtag" rel="nofollow noopener" target="_blank">#Music</a> <a href="https://mstdn.social/tags/MusicalTheatre" class="mention hashtag" rel="nofollow noopener" target="_blank">#MusicalTheatre</a> <a href="https://mstdn.social/tags/MusicalTheater" class="mention hashtag" rel="nofollow noopener" target="_blank">#MusicalTheater</a> <a href="https://mstdn.social/tags/Musical" class="mention hashtag" rel="nofollow noopener" target="_blank">#Musical</a> <a href="https://mstdn.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mstdn.social/tags/Culture" class="mention hashtag" rel="nofollow noopener" target="_blank">#Culture</a> <a href="https://mstdn.social/tags/Entertainment" class="mention hashtag" rel="nofollow noopener" target="_blank">#Entertainment</a> <a href="https://mstdn.social/tags/TomLehrer" class="mention hashtag" rel="nofollow noopener" target="_blank">#TomLehrer</a> <a href="https://www.loa.org/news-and-views/that-was-the-e-mail-exchange-that-was-tom-lehrer-weighs-in-on-the-greatest-american-musicals/" rel="nofollow noopener" translate="no" target="_blank">https://www.loa.org/news-and-views/that-was-the-e-mail-exchange-that-was-tom-lehrer-weighs-in-on-the-greatest-american-musicals/</a>

Paysages Mathématiques"Il est difficile d'expliquer la puissance et la beauté des mathématiques aux profanes. Les mathématiques prennent des idées dans le monde externe et les rendent abstraites, jonglent avec pour créer une structure, puis les recrachent avec des conséquences étonnamment vastes et utiles." – Karen Uhlenbeck (1942–) <a href="https://mathstodon.xyz/tags/citation" class="mention hashtag" rel="nofollow noopener" target="_blank">#citation</a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathématiques</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a>

Paysages Mathématiques"To explain the power and beauty of mathematics to outsiders is difficult. Mathematics takes ideas from the external world and makes them abstract, juggles them around to create structure, and then spews them back with amazingly broad and useful consequences." – Karen Uhlenbeck (1942–) <a href="https://mathstodon.xyz/tags/quote" class="mention hashtag" rel="nofollow noopener" target="_blank">#quote</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a>

unfa🇺🇦Looking for a libre alternative to Desmos online graphing calculator? (<a href="https://www.desmos.com/calculator" rel="nofollow noopener" translate="no" target="_blank">https://www.desmos.com/calculator</a>)I found grapk.tk!It used to be on <a href="https://graph.tk" rel="nofollow noopener" translate="no" target="_blank">https://graph.tk</a>, but that address no longer works - yet the name of the project remains.So it's now here: <a href="https://graph.equation.io/" rel="nofollow noopener" translate="no" target="_blank">https://graph.equation.io/</a>Source on Github: <a href="https://github.com/aantthony/graph.tk" rel="nofollow noopener" translate="no" target="_blank">https://github.com/aantthony/graph.tk</a><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mastodon.social/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mastodon.social/tags/gnuplot" class="mention hashtag" rel="nofollow noopener" target="_blank">#gnuplot</a> <a href="https://mastodon.social/tags/calculator" class="mention hashtag" rel="nofollow noopener" target="_blank">#calculator</a> <a href="https://mastodon.social/tags/graphingCalculator" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphingCalculator</a> <a href="https://mastodon.social/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mastodon.social/tags/Desmos" class="mention hashtag" rel="nofollow noopener" target="_blank">#Desmos</a> <a href="https://mastodon.social/tags/alternative" class="mention hashtag" rel="nofollow noopener" target="_blank">#alternative</a> <a href="https://mastodon.social/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#foss</a> <a href="https://mastodon.social/tags/opensource" class="mention hashtag" rel="nofollow noopener" target="_blank">#opensource</a> <a href="https://mastodon.social/tags/libre" class="mention hashtag" rel="nofollow noopener" target="_blank">#libre</a> <a href="https://mastodon.social/tags/freesoftware" class="mention hashtag" rel="nofollow noopener" target="_blank">#freesoftware</a>

LobstersMutually Attacking Knights <a href="https://lobste.rs/s/hs9zf7" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/hs9zf7</a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://susam.net/mutually-attacking-knights.html" rel="nofollow noopener" translate="no" target="_blank">https://susam.net/mutually-attacking-knights.html</a>

Paysages MathématiquesTheorem of the Day (August 12, 2025) : Lagrange’s Four-Squares Theorem Source : Theorem of the Day / Robin Whitty pdf : <a href="https://www.theoremoftheday.org/NumberTheory/Lagrange/TotDLagrange.pdf" rel="nofollow noopener" translate="no" target="_blank">https://www.theoremoftheday.org/NumberTheory/Lagrange/TotDLagrange.pdf</a> notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#11" rel="nofollow noopener" translate="no" target="_blank">https://www.theoremoftheday.org/Resources/TheoremNotes.htm#11</a><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener" target="_blank">@Theoremoftheday</a>

Búsquedas recientes

Opciones de búsqueda

Administrado por:

Estadísticas del servidor:

#math