wszystkie opcje
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Pakiet źródłowy: axiom  ]

Pakiet: axiom-hypertex-data (20120501-1)

Odnośniki dla axiom-hypertex-data

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego axiom:

Opiekun:

Podobne pakiety:

Uniwersalny system algebry komputerowej: podsystem hipertekstowy

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 danych niezbędne do podsystemu hipertekstowego programu Axiom.

Znaczniki: Rozwój oprogramowania: Dokumentacja, Dziedzina: Matematyka, Interfejs użytkownika: Interaktywny interfejs tekstowy, Rola: Dane aplikacji

Inne pakiety związane z axiom-hypertex-data

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie axiom-hypertex-data

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 29 731,6 KiB113 264,0 KiB [lista plików]