#KnowledgeByte: Carl Friedrich Gauss's #Theorema #Egregium, which translates to "Remarkable Theorem" in Latin, is a fundamental concept in differential geometry. It deals with the curvature of surfaces.
https://knowledgezone.co.in/posts/Gausss-Remarkable-Theorem-668e34e7bb0b33dde59aaabf
Readings shared August 31, 2024
The readings shared in Mastodon on August 31, 2024 are
Readings shared August 30, 2024. #ITP #IsabelleHOL #Agda #Logic #Math #Nix #Haskell #FunctionalProgramming #LogicProgramming
Proofs of "If x is
Certification of sorting algorithms using Theorema and Coq. ~ Isabela Drămnesc, Tudor Jebelean & Sorin Stratulat.
https://inria.hal.science/hal-04678850/file/paper-scss-2024.pdf #ITP #Theorema #Coq#KnowledgeByte: Carl Friedrich Gauss's #Theorema #Egregium, which translates to "Remarkable Theorem" in Latin, is a fundamental concept in differential geometry. It deals with the curvature of surfaces.
https://knowledgezone.co.in/posts/Gausss-Remarkable-Theorem-668e34e7bb0b33dde59aaabf
Gauss's Remarkable Theorem
Carl Friedrich Gauss's Theorema Egregium, which translates to "Remarkable Theorem" in Latin, is a fundamental concept in differential geometry. It deals with the curvature of surfaces.
Lecturas compartidas el 30 de mayo de 2024
Las lecturas compartidas en Mastodon el 30 de mayo de 2024 son
Lecturas compartidas el 29 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell #Python
#Calculemus: Demostra
Certification of tail recursive bubble–sort in Theorema and Coq. ~ Isabela Dramnesc, Tudor Jebelean, and Sorin Stratulat.
https://easychair.org/publications/download/tbwq #ITP #Coq #Theorema
Knowledge Zone
José A. Alonso