Stream: quantum computing

Topic: Hilbert space and bounded operators


view this post on Zulip Jose Manuel Rodríguez Caballero (Jul 03 2019 at 00:34):

In the following link, you will find a library in Isabelle/HOL related to Hilbert spaces and bounded operators (work-in-progress). bounded-operators

view this post on Zulip Anthony Bordg (Jul 03 2019 at 08:15):

@Jose Manuel Rodriguez Caballero Good to know.


Last updated: Aug 15 2022 at 04:16 UTC