José A. Alonso · @Jose_A_Alonso
874 followers · 1892 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si x,y,z ∈ ℕ, entonces x divide a yxz". https://www.glc.us.es/~jalonso/calculemus/12-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
872 followers · 1888 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, |a| – |b| ≤ |a – b|". https://www.glc.us.es/~jalonso/calculemus/11-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
869 followers · 1882 posts · Server mathstodon.xyzLa semana en #Calculemus (Demostraciones con Lean4) 2-sep-23. https://www.glc.us.es/~jalonso/vestigium/09-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
865 followers · 1874 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, min(a,b)+c = min(a+c,b+c)". https://www.glc.us.es/~jalonso/calculemus/08-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
865 followers · 1872 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, min(min(a,b),c) = min(a,min(b,c))". https://www.glc.us.es/~jalonso/calculemus/07-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
864 followers · 1871 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, max(a,b) = max(b,a)". https://www.glc.us.es/~jalonso/calculemus/06-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
864 followers · 1858 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, min(a,b) = min(b,a)". https://www.glc.us.es/~jalonso/calculemus/05-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
863 followers · 1846 posts · Server mathstodon.xyzLa semana en #Calculemus (2 de septiembre de 2023). https://www.glc.us.es/~jalonso/vestigium/02-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
860 followers · 1835 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, 2ab ≤ a² + b²". https://www.glc.us.es/~jalonso/calculemus/01-sep-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
858 followers · 1822 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, si a ≤ b, entonces log(1+e^a) ≤ log(1+e^b)". https://www.glc.us.es/~jalonso/calculemus/30-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
856 followers · 1814 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, si d ≤ f, entonces c + e^(a + d) ≤ c + e^(a + f)". https://www.glc.us.es/~jalonso/calculemus/29-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
852 followers · 1801 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, si 1 ≤ a y b ≤ d, entonces 2 + a + eᵇ ≤ 3a + eᵈ". https://www.glc.us.es/~jalonso/calculemus/25-ago-23 #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
852 followers · 1799 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, si 2a ≤ 3b, 1 ≤ a y c = 2, entonces c + a ≤ 5b". https://www.glc.us.es/~jalonso/calculemus/24-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
851 followers · 1791 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "En ℝ, si a ≤ b, b < c, c ≤ d y d < e, entonces a < e". https://www.glc.us.es/~jalonso/calculemus/23-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
847 followers · 1784 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si G es un grupo y a, b ∈ G, entonces (ab)⁻¹ = b⁻¹a⁻¹". https://www.glc.us.es/~jalonso/calculemus/22-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
847 followers · 1779 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si G es un grupo y a, b ∈ G, tales que ab = 1 entonces a⁻¹ = b". https://www.glc.us.es/~jalonso/calculemus/21-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
845 followers · 1760 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si G es un grupo y a ∈ G, entonces a·1 = a". https://www.glc.us.es/~jalonso/calculemus/18-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
845 followers · 1754 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si G es un grupo y a ∈ G, entonces aa⁻¹ = 1". https://www.glc.us.es/~jalonso/calculemus/17-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
844 followers · 1753 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si R es un anillo y a ∈ R, entonces 2a = a+a". https://www.glc.us.es/~jalonso/calculemus/16-ago-23/ #ITP #Lean4 #Math
José A. Alonso · @Jose_A_Alonso
844 followers · 1744 posts · Server mathstodon.xyz#Calculemus: Demostraciones con Lean4: "Si R es un anillo y a ∈ R, entonces a – a = 0". https://www.glc.us.es/~jalonso/calculemus/14-ago-23/ #ITP #Lean4 #Math