Computer Science – Symbolic Computation
Scientific paper
2009-02-03
Computer Science
Symbolic Computation
21 pages, 9 figures. This is the journal version of the paper published at AISC
Scientific paper
Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.
Dixon Lucas
Duncan Ross
No associations
LandOfFree
Graphical Reasoning in Compact Closed Categories for Quantum Computation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Graphical Reasoning in Compact Closed Categories for Quantum Computation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Graphical Reasoning in Compact Closed Categories for Quantum Computation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-297812