https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:59 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/11/22-readings_shared_11-22-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 22 November 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/11/21-readings_shared_11-21-24">Readings shared November 21, 2024</a>. #ITP #Lean4 #Coq #Haskell #OCaml #FunctionalProgramming #ITP #Prolog #LogicProgramming #Math</li> <li><a href="https://arxiv.org/abs/2411.13723">The elementary theory of free Steiner triple systems</a>. ~ Silvia Barbina, Enrique Casanovas. #Logic #Math</li> <li><a href="https://arxiv.org/abs/2411.06675">FCA (Formal Concept Analysis) using the Concept Explorer in 2024</a>. ~ Edith Vargas-GarcÍa, Andreas Wachtel. #FCA #ConExp</li> <li><a href="https://www.youtube.com/live/lC__yt6DJaA">Conferencia Leonardo Torres Quevedo: ¿Puede pensar una máquina? ~ Francisco A</a>. González Redondo y Alfonso Hernando González. #AI</li> </ul>AIConExpFCALogicMathhttps://jaalonso.github.io/vestigium/posts/2024/11/22-readings_shared_11-22-24/Fri, 22 Nov 2024 04:00:00 GMT