| Quantomatisch Eine einfach zu bedienende Quantum-Berechnungssoftware |
Jetzt downloaden |
Quantomatisch Ranking & Zusammenfassung
- Name des Herausgebers:
- Lucas Dixon
- Website des Verlags:
- http://www.inf.ed.ac.uk/people/staff/Lucas_Dixon.html
- Betriebssysteme:
- Mac OS X
Quantomatisch Stichworte
Quantomatisch Beschreibung
Eine einfach zu bedienende Quantum-Berechnungssoftware Quantomatic ist eine kostenlose Quantum-Berechnungssoftware, die einen Formalismus beschäftigt, basierend auf kompakten geschlossenen Kategorien, der mechanisierte Argumentation zu solchen Graphen unterstützt. Dies ergibt ein kompositorisches Konto des Graphenumschreibens, das die zugrunde liegende kategorische Semantik bewahrt. Eine herausragende Funktion des Systems ist, dass quantomatisch ein formelles und deklaratives Konto der abgeleiteten Ergebnisse liefert, die Ellipsen-Stil-Notation enthalten können.
Quantomatisch Zugehörige Software