Magnus (počítačový algebraický systém) - Magnus (computer algebra system)
 | tento článek ne uvést žádný Zdroje. (Červen 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
| Vývojáři | The New York Group Theory Cooperative, City University of New York |
|---|---|
| Operační systém | Cross-platform |
| Typ | Počítačový algebraický systém |
| Licence | GPL |
| webová stránka | sourceforge |
Magnus byl počítačový algebraický systém určené k řešení problémů v teorie skupin. Byl navržen tak, aby fungoval dál Unixový operační systémy, stejně jako Okna. Proces vývoje byl zahájen v roce 1994 a první veřejné vydání se objevilo v roce 1997. Od projektu bylo upuštěno v srpnu 2005. Unikátní vlastností Magnuse bylo, že poskytoval prostředky pro provádění výpočtů v nekonečných skupinách. Téměř všechny systémy symbolické algebry jsou orientovány na konečné výpočty, u nichž je zaručeno, že při dostatečném čase a zdrojích poskytnou odpovědi. Naproti tomu Magnus se zabýval experimenty a výpočty na nekonečných skupinách, o nichž je v některých případech známo, že končí, zatímco v jiných je známo, že jsou obecně rekurzivně neřešitelné.
Vlastnosti Magnuse
- Uživatelské rozhraní založené na grafických objektech a metodách, které se snadno a intuitivně používá a přirozeně odráží základní třídy C ++;
- Jádro skládající se z „správce relací“, který komunikuje mezi uživatelským rozhraním nebo front-endem a back-endem, kde se provádějí výpočty, a „správci výpočtů“, kteří řídí výpočty, které mohou zahrnovat několik algoritmů a „informací centra ", kde jsou uloženy informace;
- Zařízení pro provádění několika postupů paralelně a přidělování zdrojů každému z několika simultánních algoritmů pracujících na stejném problému;
- Enumerátory, které generují značné konečné aproximace jak na konečné, tak na nekonečné algebraické objekty a umožňují provádět hledání odpovědí, i když obecné algoritmy nemusí existovat;
- Inovativní genetické algoritmy;
- Správce balíčků k `` připojení '' více speciálních algoritmů napsaných ostatními;