Spantools Berechnen von monoidalen Diagrammen und generieren Sie Diagramme
Jetzt downloaden

Spantools Ranking & Zusammenfassung

Spantools Stichworte

Spanne Diagramm Berechnung Graph generieren

Spantools Beschreibung

Spantools wurde speziell als zugängliche Antrag entwickelt, der die Funktionen anbietet, die Ihnen dabei helfen können, Systeme zu definieren und zu überprüfen. Spantools können Ausdrücke im Cospan (monoidales Graph) auswerten und das monoidale Diagramm in Bezug auf den angegebenen Ausdruck berechnen. Die Software wird in Java entwickelt und kann auf mehreren Plattformen ausgeführt werden. Haupteigenschaften: Berechnung von monoidalem Diagramm, das auf bestimmte Ausdrücke in der Spannweite (Graph) bezogen ist. Erzeugung eines zufälligen Pfads (Ausführungsbeispiel), die Elemente in der Grenze des monoidalen Graphen finden, berechnet aus Expression Erzeugung von Diagrammen, die Graph und Monoidal-Graph darstellen

Spantools Zugehörige Software