Magnus (datoralgebrasystem)
| Utvecklare | The New York Group Theory Cooperative, City University of New York |
|---|---|
| Operativ system | Cross-plattform |
| Typ | Datoralgebrasystem |
| Licens | GPL |
| Hemsida |
Magnus var ett datoralgebrasystem designat för att lösa problem inom gruppteorin . Det designades för att köras på Unix-liknande operativsystem , såväl som Windows . Utvecklingsprocessen startade 1994 och den första offentliga utgåvan dök upp 1997. Projektet lades ner i augusti 2005. Det unika med Magnus var att det gav möjligheter att göra beräkningar i och om oändliga grupper. Nästan alla symboliska algebrasystem är orienterade mot ändliga beräkningar som garanterat ger svar, givet tillräckligt med tid och resurser. Däremot var Magnus intresserad av experiment och beräkningar på oändliga grupper som i vissa fall är kända för att avslutas, medan i andra är kända för att vara generellt rekursivt olösliga.
Egenskaper hos Magnus
- Ett grafiskt objekt- och metodbaserat användargränssnitt som är enkelt och intuitivt att använda och naturligt återspeglar de underliggande C++-klasserna;
- En kärna som består av en "sessionshanterare" för att kommunicera mellan användargränssnittet eller front-end och back-end där beräkningar utförs, och "beräkningshanterare" som styr beräkningarna som kan involvera flera algoritmer och "information centra" där information lagras;
- Faciliteter för att utföra flera procedurer parallellt och allokera resurser till var och en av flera samtidiga algoritmer som arbetar med samma problem;
- Uppräknare som genererar betydande ändliga approximationer till både finita och oändliga algebraiska objekt och gör det möjligt att utföra sökningar efter svar även när generella algoritmer kanske inte existerar;
- Innovativa genetiska algoritmer;
- En pakethanterare för att "ansluta" mer speciella algoritmer skrivna av andra;
Kategori: