research
∙
05/17/2023
New and improved bounds on the contextuality degree of multi-qubit configurations
We present algorithms and a C code to decide quantum contextuality and e...
share
research
∙
12/20/2022
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families
There are several ways to formally represent families of data, such as l...
research
∙
06/07/2022
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five
For N ≥ 2, an N-qubit doily is a doily living in the N-qubit symplectic ...
research
∙
01/15/2020