axiom-databases_20140801-6_all.deb


Advertisement

Description

axiom-databases - General purpose computer algebra system: generated text databases

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name axiom-databases
Package version 20140801
Package release 6
Package architecture all
Package type deb
Installed size 11.00 KB
Download size 885.35 KB
Official Mirror ftp.br.debian.org
Axiom is useful for
research and development of mathematical algorithms. It defines a
strongly typed, mathematically correct type hierarchy. It has a
programming language and a built-in compiler.
Axiom has been in development since 1973 and was sold as a
commercial product. It has been released as free software.
Efforts are underway to extend this software to (a) develop a
better user interface (b) make it useful as a teaching tool
(c) develop an algebra server protocol (d) integrate additional
mathematics (e) rebuild the algebra in a literate programming style
(f) integrate logic programming (g) develop an Axiom Journal with
refereed submissions.
This package contains the text databases generated during the build
process used in computing the hierarchical domain structure, among
other uses.

Alternatives

Package Version Architecture Repository
axiom-databases_20140801-6_all.deb 20140801 all Debian Main
axiom-databases - - -

Requires

Name Value
dpkg >= 1.14.18
tex-common >= 3

Download

Type URL
Binary Package axiom-databases_20140801-6_all.deb
Source Package axiom

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install axiom-databases deb package:
    # sudo apt-get install axiom-databases

Files

Path
/usr/lib/axiom-20140801/algebra/browse.daase
/usr/lib/axiom-20140801/algebra/category.daase
/usr/lib/axiom-20140801/algebra/dependents.daase
/usr/lib/axiom-20140801/algebra/gloss.text
/usr/lib/axiom-20140801/algebra/glossdef.text
/usr/lib/axiom-20140801/algebra/glosskey.text
/usr/lib/axiom-20140801/algebra/interp.daase
/usr/lib/axiom-20140801/algebra/libdb.text
/usr/lib/axiom-20140801/algebra/operation.daase
/usr/lib/axiom-20140801/algebra/users.daase
/usr/share/axiom-20140801/algebra/browse.daase
/usr/share/axiom-20140801/algebra/category.daase
/usr/share/axiom-20140801/algebra/gloss.text
/usr/share/axiom-20140801/algebra/glossdef.text
/usr/share/axiom-20140801/algebra/glosskey.text
/usr/share/axiom-20140801/algebra/interp.daase
/usr/share/axiom-20140801/algebra/libdb.text
/usr/share/axiom-20140801/algebra/operation.daase
/usr/share/axiom-20140801/algebra/dependents.daase/index.kaf
/usr/share/axiom-20140801/algebra/users.daase/index.kaf
/usr/share/doc/axiom-databases/changelog.Debian.gz
/usr/share/doc/axiom-databases/changelog.gz
/usr/share/doc/axiom-databases/copyright

Changelog

See axiom_20140801-6_amd64.deb changelog.

See Also

Package Description
axiom-doc_20140801-6_all.deb General purpose computer algebra system: documentation
axiom-graphics-data_20140801-6_all.deb General purpose computer algebra system: graphics subsystem
axiom-graphics_20140801-6_amd64.deb General purpose computer algebra system: graphics subsystem
axiom-hypertex-data_20140801-6_all.deb General purpose computer algebra system: hypertex subsystem
axiom-hypertex_20140801-6_amd64.deb General purpose computer algebra system: hypertex subsystem
axiom-source_20140801-6_all.deb General purpose computer algebra system: source files
axiom-test_20140801-6_all.deb General purpose computer algebra system: regression test inputs
axiom-tex_20140801-6_all.deb General purpose computer algebra system: style file for TeX
axiom_20140801-6_amd64.deb General purpose computer algebra system: main binary and modules
aylet-gtk_0.5-3_amd64.deb X-GTK2-based player for Spectrum '.ay' music files
aylet_0.5-3_amd64.deb ncurses-based player for Spectrum '.ay' music files
ayttm_0.6.3-3+b2_amd64.deb Universal instant messaging client
azr3-jack_1.2.3-2_amd64.deb drawbar organ simulator
babeld_1.5.1-1_amd64.deb loop-free distance-vector routing protocol
babeltrace_1.2.3-2_amd64.deb Trace conversion program
Advertisement
Advertisement