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/10-readings_shared_11-10-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 10 November 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/11/09-readings_shared_11-09-24">Readings shared November 9, 2024</a>. #ITP #Agda #Logic #Math #SetTheory #AI #MachineLearning</li> <li><a href="https://jaalonso.github.io/calculemus/posts/2024/11/10-limit_of_7u">#Calculemus: Proofs with Lean4 of "If u(n) tends to a, then 7u(n) tends to 7a"</a>. #ITP #Lean4 #Math</li> <li><a href="https://personal.math.ubc.ca/~PLP/assets/plp.pdf">An introduction to mathematical proof</a>. ~ Seçkin Demirbaş, Andrew Rechnitzer, Hannah Kohut. #Logic #Math</li> <li><a href="https://culturacientifica.com/2024/08/28/los-numeros-metalicos">Los números metálicos</a>. ~ Marta Macho Stadler. #Math</li> <li><a href="https://culturacientifica.com/2024/07/31/los-numeros-vistos-como-bosques/">Los números vistos como bosques</a>. ~ Marta Macho Stadler. #Math</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2014/Combinatoria.pdf">Problemas de competición sobre combinatoria</a>. ~ Araceli Arjona Muñoz. #TFM #Math</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2023/TFM_Probabilidad.pdf">Problemas de probabilidad de Olimpiada Matemática</a>. ~ Eduardo Cebrián García. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2023/TFM_Desigualdades.pdf">Análisis y resolución de problemas sobre desigualdades numéricas en la preparación de la Olimpiada de Matemáticas</a>. ~ Sara Amaro Serrano. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2022/TFM-Juegos.pdf">Análisis y resolución de problemas sobre teoría de juegos</a>. ~ Celia García Ruiz. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2018/Invariantes.pdf">Invariantes en la resolución de problemas</a>. ~ José Félix Sánchez Martínez. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2017/NN.pdf">Estudio y discusión sobre problemas de Olimpíada: Aritmética</a>. ~ Inmaculada Perálvarez Bermúdez. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2017/NNCC.pdf">Problemas de olimpiadas sobre números complejos</a>. ~ Paola Posadas Prados. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2017/EEDD.pdf">Estudio y discusión sobre problemas de Olimpíada: Ecuaciones diofánticas</a>. ~ Antonio Manuel Ortega Torres. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2017/Desigualdades.pdf">Estudio y discusión sobre problemas de Olimpíada: Desigualdades</a>. ~ Iván Valero Terrón. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2017/Probabilidad.pdf">Problemas de Olimpíadas Matemáticas sobre Probabilidad</a>. ~ Marta Fernández Rodríguez. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2017/PyA.SucesionesRecurrentes.pdf">Problemas y aplicaciones de sucesiones recurrentes</a>. ~ Carlos Cervera Zafra. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2016/EcuacionesFuncionales.pdf">Estudio de problemas sobre ecuaciones funcionales en el nivel de Olimpiadas Matemáticas</a>. ~ Luis Castro Castro. #TFM #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2008/numeros.pdf">Números curiosos</a>. ~ Pascual Jara. #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2008/paradojas.pdf">Paradojas</a>. ~ Pascual Jara Martínez. #Lógica #Matemáticas</li> <li><a href="https://www.ugr.es/~anillos/textos/pdf/2004/100MDSucesiones-PB.pdf">Sucesiones recurrentes</a>. ~ Pascual Jara Martínez. #Matemáticas</li> </ul>ITPLean4LogicMathTFMhttps://jaalonso.github.io/vestigium/posts/2024/11/10-readings_shared_11-10-24/Sun, 10 Nov 2024 04:00:00 GMT