This profile is from a federated server and may be incomplete. Browse more on the original instance.
Jose_A_Alonso, 7 months ago to math Spanish #Calculemus: Demostraciones con Lean4: "Si a divide a b y a c, entonces divide a b+c". https://www.glc.us.es/~jalonso/calculemus/07-nov-23/ #ITP #LeanProver #Lean4 #Math
#Calculemus: Demostraciones con Lean4: "Si a divide a b y a c, entonces divide a b+c". https://www.glc.us.es/~jalonso/calculemus/07-nov-23/ #ITP #LeanProver #Lean4 #Math
Jose_A_Alonso, 7 months ago Spanish @christianp Thank you, it has been corrected.
@christianp Thank you, it has been corrected.
Jose_A_Alonso, 9 months ago to math Lean on Goldbach's conjecture. ~ Frank Vega. https://easychair.org/publications/preprint_download/MBd4 #ITP #LeanProver #Math
Lean on Goldbach's conjecture. ~ Frank Vega. https://easychair.org/publications/preprint_download/MBd4 #ITP #LeanProver #Math
Jose_A_Alonso, 9 months ago @christianp Indeed, it does not prove what it says. I have deleted the link.
@christianp Indeed, it does not prove what it says. I have deleted the link.
Jose_A_Alonso, 10 months ago to math Teaching linear algebra in a mechanized mathematical environment. ~ Robert M. Corless, David J. Jeffrey, Azar Shakoori. https://arxiv.org/abs/2306.00104 #Math #Teaching #CompSci
Teaching linear algebra in a mechanized mathematical environment. ~ Robert M. Corless, David J. Jeffrey, Azar Shakoori. https://arxiv.org/abs/2306.00104 #Math #Teaching #CompSci
Jose_A_Alonso, 10 months ago @tca I also prefer Maxima https://www.cs.us.es/~jalonso/publicaciones/2010-Introduccion_al_calculo_simbolico_con_Maxima.pdf
@tca I also prefer Maxima https://www.cs.us.es/~jalonso/publicaciones/2010-Introduccion_al_calculo_simbolico_con_Maxima.pdf
Jose_A_Alonso, 11 months ago to ChatGPT Can artificial intelligence replace humans in programming? ~ Hampus Ekedahl, Vilma Helander. https://www.diva-portal.org/smash/get/diva2:1776700/FULLTEXT01.pdf #ChatGPT #Programming
Can artificial intelligence replace humans in programming? ~ Hampus Ekedahl, Vilma Helander. https://www.diva-portal.org/smash/get/diva2:1776700/FULLTEXT01.pdf #ChatGPT #Programming
Jose_A_Alonso, 11 months ago @screwtape Answer set planning: A survey. ~ Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub. https://arxiv.org/abs/2202.05793 #ASP #Planning
@screwtape Answer set planning: A survey. ~ Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub. https://arxiv.org/abs/2202.05793 #ASP #Planning