QuantomaticAn easy to use quantum computation software | |
Download |
Quantomatic Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Lucas Dixon
- Publisher web site:
- http://www.inf.ed.ac.uk/people/staff/Lucas_Dixon.html
- Operating Systems:
- Mac OS X
- File Size:
- 5.1 MB
Quantomatic Tags
Quantomatic Description
An easy to use quantum computation software Quantomatic is a free quantum computation software which employs a formalism, based on compact closed categories, that supports mechanized reasoning about such graphs. This gives a compositional account of graph rewriting that preserves the underlying categorical semantics.A salient feature of the system is that Quantomatic provides a formal and declarative account of derived results that can include ellipses-style notation.
Quantomatic Related Software