José A. Alonso<p>Readings shared April 13, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/13-readings_shared_04-13-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/SetTheory" class="mention hashtag" rel="tag">#<span>SetTheory</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.8Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#Mace4
0 posts · 0 participants · 0 posts today
José A. Alonso<p>Curso "Razonamiento automático (2011-12)". <a href="https://jaalonso.github.io/cursos/m-ra-11" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/m-ra</span><span class="invisible">-11</span></a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="tag">#<span>RazonamientoAutomático</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Mace2" class="mention hashtag" rel="tag">#<span>Mace2</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="tag">#<span>DemostraciónInteractiva</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a></p>
José A. Alonso<p>Curso "Razonamiento automático (2008-09)". <a href="https://jaalonso.github.io/cursos/d-ra-08" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/d-ra</span><span class="invisible">-08</span></a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="tag">#<span>RazonamientoAutomático</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Mace2" class="mention hashtag" rel="tag">#<span>Mace2</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="tag">#<span>DemostraciónInteractiva</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a></p>
José A. Alonso<p>Curso "Razonamiento automático (2007-08)". <a href="https://jaalonso.github.io/cursos/d-ra-07" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/d-ra</span><span class="invisible">-07</span></a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="tag">#<span>RazonamientoAutomático</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Mace2" class="mention hashtag" rel="tag">#<span>Mace2</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="tag">#<span>DemostraciónInteractiva</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a></p>
José A. Alonso<p>Readings shared February 23, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/02/23-readings_shared_02-23-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/02/23-readings_shared_02-23-25</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Mizar" class="mention hashtag" rel="tag">#<span>Mizar</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="tag">#<span>Rocq</span></a></p>
José A. Alonso<p>Fracterm calculus for partial meadows. ~ Jan A. Bergstra, Alban Ponse. <a href="https://arxiv.org/abs/2502.13812" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2502.13812</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared December 13, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/12/13-readings_shared_12-13-24" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2024/12/13-readings_shared_12-13-24</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="tag">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
José A. Alonso<p>Univocity of intuitionistic and classical connectives. ~ Rodolfo C. Ertola-Biraben, Branden Fitelson. <a href="https://philarchive.org/archive/FITUOI" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">philarchive.org/archive/FITUOI</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared September 20, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/09/20-readings_shared_09-20-24" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2024/09/20-readings_shared_09-20-24</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="tag">#<span>Lean4</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="tag">#<span>Calculemus</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a></p>
José A. Alonso<p>Mapping probability with logic: First order models in puzzle solving. ~ Adrian Groza. <a href="https://www.uni.lodz.pl/fileadmin/Projekty/EXTENDD/abstracts.pdf#page=18" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">uni.lodz.pl/fileadmin/Projekty</span><span class="invisible">/EXTENDD/abstracts.pdf#page=18</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a></p>
José A. Alonso<p>Lecturas compartidas el 2 de mayo de 2024. <a href="https://jalonso.substack.com/lecturas-compartidas-el-2-de-mayo" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jalonso.substack.com/lecturas-</span><span class="invisible">compartidas-el-2-de-mayo</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="tag">#<span>Lean4</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ChatGPT" class="mention hashtag" rel="tag">#<span>ChatGPT</span></a></p>
José A. Alonso<p>Commutative residual algebra motivation, decision, and applications. ~ Vincent van Oostrom. <a href="http://www.javakade.nl/research/pdf/crabytiling-v2.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">http://www.</span><span class="ellipsis">javakade.nl/research/pdf/craby</span><span class="invisible">tiling-v2.pdf</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
José A. Alonso<p>Lecturas compartidas el 23 de marzo de 2024. <a href="https://jalonso.substack.com/lecturas-compartidas-el-23-de-marzo" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jalonso.substack.com/lecturas-</span><span class="invisible">compartidas-el-23-de-marzo</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/DeepLearning" class="mention hashtag" rel="tag">#<span>DeepLearning</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="tag">#<span>Lean4</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="tag">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/NeuralNetwork" class="mention hashtag" rel="tag">#<span>NeuralNetwork</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a></p>
José A. Alonso<p>Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. <a href="https://arxiv.org/abs/2403.14576" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2403.14576</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover0" class="mention hashtag" rel="tag">#<span>Prover0</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a></p>
José A. Alonso<p>Automated reasoning for proving non-orderability of groups. ~ Alexei Lisitsa, Zipei Nie, Alexei Vernitski. <a href="https://arxiv.org/abs/2310.05891" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2310.05891</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
José A. Alonso<p>Symmetries for cube-and-conquer in finite model finding. ~ João Araújo, Choiwah Chow, Mikoláš Janota. <a href="https://drops.dagstuhl.de/opus/volltexte/2023/19045/pdf/LIPIcs-CP-2023-8.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">drops.dagstuhl.de/opus/volltex</span><span class="invisible">te/2023/19045/pdf/LIPIcs-CP-2023-8.pdf</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#<span>Mace4</span></a></p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload