[isabelle] [Isabelle] Re: Quantum Computing

[José Manuel Rodriguez Caballero]

I would like to point out a project I started a few weeks ago in case some
of you might be interested. It is a formalization of quantum computing
<https://github.com/AnthonyBordg/Isabelle_marries_Dirac> in Isabelle.
I should add a README file soon, but in the meantime if you have any
question please ask, you can also drop me an email.
Best regards
Anthony

There is a new paradigm in quantum mechanics, known as ER = EPR, which is
very important in contemporary physics and it is entering in mathematics
and computer science. There are many papers about this subject, some of
them involving quantum computing. So, to write a library in order to
provide mathematical tools in Isabelle/HOL for physicists about ER = EPR
will be very useful. Nevertheless, a library about the unique
infinite-dimensional separable Hilbert spaces is required as preliminary. A
library about non-commutative geometry, although it is not essential, it
will be helpful for such a project.

References:
Paper: https://arxiv.org/pdf/1306.0533.pdf
Video:

Kind Regards,
Jose M.