2 papers
cs.LO2026
Complex Bounded Operators in Isabelle/HOL
Dominique Unruh, José Manuel RodrÃguez Caballero
We present a formalization of bounded operators on complex vector spaces in Isabelle/HOL. Our formalization contains material on complex vector spaces (normed spaces, Banach spaces…
cs.LO2025
Bayesian Inference in Quantum Programs
Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
Conditioning is a key feature in probabilistic programming to enable modeling the influence of data (also known as observations) to the probability distribution described by such p…