A. M. Childs and Wiebe, N.,
“Product Formulas for Exponentials of Commutators”,
Journal of Mathematical Physics, vol. 54, no. 6, p. 062202, 2013.
S. D. Alexander, Ross, N. J., Selinger, P., Smith, J. M., and Valiron, B.,
“Programming the Quantum Future”,
Communications of the ACM, vol. 58, no. 8, pp. 52-61, 2015.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.,
“Proving Quantum Programs Correct”,
12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
G. Pupillo, Rey, A. Maria, Williams, C. J., and Clark, C. W.,
“Pseudo-fermionization of 1-D bosons in optical lattices”,
New Journal of Physics, vol. 8, no. 8, pp. 161 - 161, 2006.