LIQUi
From MaRDI portal
Cited in
(40)- Reachability analysis of quantum Markov decision processes
- Quantum algorithm for solving hyperelliptic curve discrete logarithm problem
- A novel quantum steganography algorithm based on lsbq for multi-wavelength quantum images
- Toward automatic verification of quantum programs
- QuTiP
- QCWAVE
- Twisted
- Quipper
- gem5
- qasm2circ
- QMDD
- verifier
- QCL
- Psi4
- QWire
- Forest
- QuIDDPro
- ProjectQ
- ScaffCC
- DAOmap
- corr2
- McPAT
- pyQuil
- qHiPSTER
- QC simulators
- OpenFermion
- qTorch
- QuEST
- Quantum++
- SimulaQron
- Strawberry Fields
- A modeling and verification framework for optical quantum circuits
- QPL
- QPMC
- Pieceable fault tolerant conversion between 5-qubit code and 7-CSS code
- Models in quantum computing: a systematic review
- Efficient decoding scheme of non-uniform concatenation quantum code with deep neural network
- Quantum circuits for floating-point arithmetic
- Classical control and quantum circuits in enriched category theory
- Classifying data using near-term quantum devices
This page was built for software: LIQUi
