wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy:  ]

Pakiet: axiom (20170501-12 i inne) [debports]

Odnośniki dla axiom

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

Uniwersalny system algebry komputerowej: główny program i moduły

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 główny program wykonywalny oraz wszystkie prekompilowane i automatycznie wczytywane moduły algebry.

Inne pakiety związane z axiom

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie axiom

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
m68k (port nieoficjalny) 20170501-12+b1 44 490,8 KiB274 490,0 KiB [lista plików]