Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: axiom  ]

Paket: axiom (20170501-12 und andere)

Links für axiom

Screenshot

Debian-Ressourcen:

Quellcode-Paket axiom herunterladen:

Betreuer:

Ähnliche Pakete:

Allzweck-Computeralgebrasystem: Hauptprogramme und Module

Axiom ist für die Erforschung und Entwicklung von mathematischen Algorithmen nützlich. Es definiert eine stark typisierte, mathematisch korrekte Typenhierarchie. Es hat eine Programmiersprache und einen eingebauten Compiler.

Axiom wird seit 1973 entwickelt und wurde als kommerzielles Produkt verkauft. Es wurde als Freie Software veröffentlicht.

Es laufen Bemühungen zur Erweiterung der Software:

 (a) Entwicklung einer besseren Nutzerschnittstelle
 (b) Nutzbarmachung als Lehrwerkzeug
 (c) Entwicklung eines Algebra-Serverprotokolls
 (d) Integration weiterer Mathematik
 (e) Neuaufbau der Algebra im »literate programming«-Stil
 (f) Integration logischer Programmierung
 (g) Entwicklung eines Axiom-Journals mit begutachteten Einreichungen.

Dieses Paket enthält das Hauptprogramm und alle vorkompilierten Algebra- und automatisch ladbaren Module.

Markierungen: Software-Entwicklung: Compiler, Interpreter, Feld: field::mathematics, implemented-in::lisp, Benutzer-Schnittstellen: Kommandozeile, interface::text-mode, role::program, Zweck: Hilfswerkzeug

Andere Pakete mit Bezug zu axiom

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

axiom herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
riscv64 20170501-12+b1 120.646,3 kB1.567.975,0 kB [Liste der Dateien]