Jakóbczyk, Lech; Jamróz, Anna Generation of Werner states and preservation of entanglement in a noisy environment. (English) Zbl 1195.81018 Phys. Lett., A 347, No. 4-6, 180-190 (2005). MSC: 81P15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
McMillan, K. L. An interpolating theorem prover. (English) Zbl 1079.68092 Theor. Comput. Sci. 345, No. 1, 101-121 (2005). MSC: 68T15 03B35 03C40 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI