Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

DOI10.1007/978-3-642-02614-0_12zbMATH Open1247.68324OpenAlexW2345376470MaRDI QIDQ3637271FDOQ3637271

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Optimising Clifford circuits with quantomatic

Uses Software

• Mathematica
• Quantomatic
• JUNG

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)