Sign in Create account

#theorema — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #theorema, aggregated by home.social.

Knowledge Zone @[email protected] · 2026-04-30 · 11:10 UTC

#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

#knowledgebyte #theorema #egregium
José A. Alonso @[email protected] · 2024-05-31 · 06:13 UTC

Lecturas compartidas el 30 de mayo de 2024. https://jaalonso.github.io/vestigium/posts/2024/05/31-lecturas_compartidas_el_30-may-24 #ITP #Lean4 #IsabelleHOL #Coq #Theorema #HOL_Light #Math #ATP #Prover9 #Vampire #TPTP #FunctionalProgramming #Haskell #LogicProgramming #Prolog #AI #LLMs

#llms #ai #prolog #logicprogramming #haskell #functionalprogramming