Anatole Dedecker
- The continuous functional calculus in Lean
2025/01/26 by Anatole Dedecker, Dedecker, Anatole, Jireh Loreaux +1 · 2 citations
Computer Science · Decision Sciences · #46L05 #68V20 (Primary) 47B15 #68V35 (Secondary) #Advanced Algebra and Logic #Advanced Database Systems and Queries #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Operations Management Techniques #Operator Algebras (math.OA)