Package: axiom-test (20120501-1)
Uniwersalny system algebry komputerowej: wejścia do testowania regresji
Axiom jest przydatny do badania i opracowywania algorytmów matematycznych. Definiuje silnie typowaną i matematycznie poprawną hierarchię typów. Posiada własny język programowania i wbudowany kompilator.
Axiom jest rozwijany od 1973 roku i był przez pewien czas sprzedawany jako produkt komercyjny. Ostatecznie został wydany jako wolne oprogramowanie.
Obecnie trwają prace nad rozszerzeniem funkcjonalności programu, ukierunkowane na: stworzenie lepszego interfejsu użytkownika, dostosowanie go do roli przydatnego narzędzia nauczania, opracowanie protokołu algebraicznego serwera, zintegrowanie innych aspektów matematyki, przebudowanie algebry w czytelnym stylu programowania, zintegrowanie programowania logicznego oraz opracowanie "Axiom Journal" z odpowiednich artykułów.
Pakiet zawiera pliki wejściowe do testującego regresje pakietu Axiom.
Other Packages Related to axiom-test
|
|
|
-
- dep: axiom (>= 20120501-1)
- Uniwersalny system algebry komputerowej: główny program i moduły
-
- dep: dpkg (>= 1.14.18)
- System zarządzania pakietami dla Debiana
-
- dep: tex-common (>= 3)
- Wspólna infrastruktura do budowy i instalacji systemu TeX
Download axiom-test
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 5,464.8 kB | 47,088.0 kB | [list of files] |