Gratis Software Til Filippo Schiavio

SpanTools er et open source program, der kan kontrollere og definere systemer, som er udtrykt som netværk af emner med overgange og stater.. SpanTools er i stand til at vurdere Cospan (Monoidal graf) udtryk, samt at beregne monoidal grafen for et udtryk ...