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