Generating formally verified quantum Fourier transform algorithms

DOI10.1007/978-3-031-66997-2_15MaRDI QIDQ6648175

Jeremy Johnson, Patrick Brinich

Publication date: 4 December 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computing the Fast Fourier Transform on a Vector Computer
• Interacting quantum observables: categorical algebra and diagrammatics
• An Algorithm for the Machine Calculation of Complex Fourier Series
• QWIRE: a core language for quantum circuits
• An Adaptation of the Fast Fourier Transform for Parallel Processing

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)