25 citations · 28 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 25 cited
Certified Quantum Computation in Isabelle/HOL
Anthony Bordg, Hanna Lachnitt, Yijun He
In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being…
quant-ph2019★ 3 cited
Comment on "Quantum Games and Quantum Strategies"
Anthony Bordg, Yijun He
We point out a flaw in the unfair case of the quantum Prisoner's Dilemma as introduced in the pioneering Letter "Quantum Games and Quantum Strategies" of Eisert, Wilkens and Lewens…