Formal reasoning about Bernstein-Vazirani algorithm

DOI10.1016/J.JLAMP.2025.101108MaRDI QIDQ6847671zbMATH OpenFDO

Authors Hongxia Sun, Zhiping Shi, Shanyan Chen, Guohui Wang, Ximeng Li, Yong Guan

Publication date 9 March 2026

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

quantum algorithmformal verificationBernstein-Vazirani algorithmtheorem prover

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Formal reasoning about Bernstein-Vazirani algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6847671)