scientific article
From MaRDI portal
Publication:3384929
zbMath1486.81065arXiv1803.00699MaRDI QIDQ3384929
No author found.
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1803.00699
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (9)
Linear Dependent Type Theory for Quantum Programming Languages ⋮ Certified quantum computation in Isabelle/HOL ⋮ A modeling and verification framework for optical quantum circuits ⋮ \textsf{symQV}: automated symbolic verification of quantum programs ⋮ A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic ⋮ Formal meta-level analysis framework for quantum programming languages
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coquelicot: a user-friendly library of real analysis for Coq
- Verified compilation of space-efficient reversible circuits
- Algebraic Effects, Linearity, and Quantum Programming Languages
- Quantum Computation and Quantum Information
- Invariants of quantum programs: characterisations and generation
- QWIRE: a core language for quantum circuits
- Quantum weakest preconditions
This page was built for publication:
