scientific article

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.

Mathematics Subject Classification ID

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

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

• Coq

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item