Benoît Valiron
An Empirical Investigation into Quantum Algorithms
Himanshak Chawla, Ritika Wason, Parul Arora +1 more
Formalized Operators with Phase Encoding
Nikolay Raychev
In this article the concept of phase encoding/decoding is used to analyze and formalize a simple quantum algorithm—the Deutsch’s algorithm. The algorithm is formalized in two different ways through an analysis, based on phase encoding/decoding, carried out by the formalized elementary operators developed by the author of this article. Concrete examples of different possible realizations of the formalized with Raychev’s operators Deutsch’s algorithms are offered.
On quantum computational algorithms
이수준
A Classical Computational Framework Surpassing Quantum Algorithms - Formal Analysis of the SSC Model. (IEEE)
Yoon A Limsuwan
Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations
Muhammad Faisal Hasnain, Doctor Syed Shamim
On quantum algorithms
Richard Cleve, ARTUR K. EKERT, Leah Henderson +2 more