| Quantomatico Un software di calcolo quantistico facile da usare |
Scarica ora |
Quantomatico Classifica e riepilogo
- Nome editore:
- Lucas Dixon
- Sito web dell'editore:
- http://www.inf.ed.ac.uk/people/staff/Lucas_Dixon.html
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 5.1 MB
Quantomatico Tag
Quantomatico Descrizione
Un software di calcolo quantistico facile da usare Quantomatic è un software di calcolo quantistico gratuito che impiega un formalismo, basato su categorie compatte chiuse, che supporta un ragionamento meccanizzato su tali grafici. Ciò fornisce un resoconto compositivo della riscrittura del grafico che conserva la semantica categorica sottostante. Una caratteristica saliente del sistema è che Quantomatic fornisce un resoconto formale e dichiarativo dei risultati derivati che possono includere la notazione in stile Ellisses.
Quantomatico Software correlato