Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

DOI10.1007/978-3-642-02614-0_12MaRDI QIDQ3637271zbMATH OpenOpenAlexFDO

Authors Aleks Kissinger

Publication date 9 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02614-0_12

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantum computation (81P68) Grammars and rewriting systems (68Q42)

Recommendations

• Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
• Optimising Clifford circuits with quantomatic
• Quantomatic: a proof assistant for diagrammatic reasoning
• Open graphs and computational reasoning
• Pattern graph rewrite systems

Cites work

• scientific article; zbMATH DE number 1003738 (Why is no real title available?)
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• A categorical framework for the quantum harmonic oscillator
• A survey of graphical languages for monoidal categories
• Bases in diagrammatic quantum protocols
• Categorical quantum mechanics
• Classical and quantum structuralism
• Coherence for compact closed categories
• Dagger compact closed categories and completely positive maps (extended abstract)
• Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
• Interacting Quantum Observables
• Introducing categories to the practicing physicist
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• The geometry of tensor calculus. I

Cited in

(1)

• Optimising Clifford circuits with quantomatic

Describes a project that uses

Uses Software

• JUNG
• Quantomatic
• Mathematica

This page was built for publication: Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637271)