all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: axiom  ]

Package: axiom-databases (20120501-1)

Links for axiom-databases

Screenshot

Debian Resources:

Download Source Package axiom:

Maintainer:

Similar packages:

Allzweck-Computeralgebrasystem: generierte Textdatenbanken

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 die während des Erstellens generierten Textdatenbanken, welche unter anderem zur Berechnung der hierarchischen Domänenstrukturen verwendet werden.

Other Packages Related to axiom-databases

  • depends
  • recommends
  • suggests
  • enhances

Download axiom-databases

Download for all available architectures
Architecture Package Size Installed Size Files
all 1,229.8 kB7,862.0 kB [list of files]