QECC: Quantum Computation and Error-Correcting Codes

Garrigue, Jacques; Saikawa, Takafumi

doi:10.4230/artifacts.22446

Artifact

QECC: Quantum Computation and Error-Correcting Codes Software

Authors Jacques Garrigue , Takafumi Saikawa

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22446
URN: urn:nbn:de:0030-drops-224468

Author Details

Jacques Garrigue

Nagoya University, Japan

Takafumi Saikawa

Nagoya University, Japan

Content

Software: https://github.com/t6s/qecc
archived version

Version/Status

Content created at: 2021-10-28
Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Jacques Garrigue, Takafumi Saikawa. QECC: Quantum Computation and Error-Correcting Codes (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22446

Description

Quantum Computation in Coq using MathComp, lenses, and currying

Subject Classification

Keywords

Quantum Computation
Proof

Programming Languages

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail