 | Spantoolsלחשב גרפים מונואידית וליצור דיאגרמות |
| הורד עכשיו | |
Spantools דירוג וסיכום
פרסומת
Spantools תגים
Spantools תיאור
Spantools היה שפותח במיוחד כבקשה נגישה שמנהלת להציע פונקציות שיכולות לעזור לך להגדיר ולבדוק מערכות. Spantools יכול להעריך ביטויים Cospan (גרף מונואידית) ולחשב את התרשים monoidal הקשורים הביטוי נתון. התוכנה מפותחת ב- Java ויכולה לפעול על פלטפורמות מרובות. תכונות עיקריות: חישוב גרף מונואיד הקשורים לביטויים נתונים בטווח (גרף). דור של נתיב אקראי (דוגמה לביצוע) מציאת אלמנטים בגבול של גרף מונואידית מחושב מהביטוי דור של דיאגרמות המייצגות גרף גרף monoidal
Spantools תוכנה קשורה
