Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

DOI10.1007/978-3-642-02614-0_12zbMath1247.68324OpenAlexW2345376470MaRDI QIDQ3637271

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)

Uses Software

• Mathematica
• Quantomatic
• JUNG

Cites Work

• Unnamed Item
• Unnamed Item
• A categorical framework for the quantum harmonic oscillator
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• Categorical quantum mechanics
• Dagger Compact Closed Categories and Completely Positive Maps
• A Survey of Graphical Languages for Monoidal Categories
• Interacting Quantum Observables
• Introducing categories to the practicing physicist
• Classical and quantum structuralism
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Bases in Diagrammatic Quantum Protocols
• Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

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