Generating formally verified quantum Fourier transform algorithms

DOI10.1007/978-3-031-66997-2_15MaRDI QIDQ6648175zbMATH OpenFDO

Authors Patrick Brinich, Jeremy Johnson

Publication date 4 December 2024

Full work available at URL https://doi.org/10.1007/978-3-031-66997-2_15

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• An Adaptation of the Fast Fourier Transform for Parallel Processing
• An Algorithm for the Machine Calculation of Complex Fourier Series
• Computing the Fast Fourier Transform on a Vector Computer
• scientific article; zbMATH DE number 53687 (Why is no real title available?)
• scientific article; zbMATH DE number 7699438 (Why is no real title available?)
• Interacting quantum observables: categorical algebra and diagrammatics
• QWIRE: a core language for quantum circuits

This page was built for publication: Generating formally verified quantum Fourier transform algorithms

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