FTP Search

Directory (beta)

Content Search (beta)

axiom

A general purpose computer algebra system: main binary and modules

/Main/Debian/ia64/math/

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 main program binary and all precompiled algebra and autoloadable modules.

Info:

Homepage:	-
Package version:	20050901-10
Architecture:	ia64
Distribution:	Debian
Filename:	axiom_20050901-10_ia64.deb

Browse inside axiom_20050901-10_ia64.deb:

pkg://axiom_20050901-10_ia64.deb:23123752/  downloads

1.30 KB  2007-12-04control  view  164 mirrors
99.64 KB  2007-12-04md5sums  view  16 mirrors
185 B  2007-12-04postinst  view  1000+ mirrors
160 B  2007-12-04postrm  view  1000+ mirrors
[DIR]usr/  1000+ twin directories

Download axiom_20050901-10_ia64.deb:

2007-12-04  ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-04  ftp://133.37.44.6/pub/linux/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-04  ftp://202.18.64.24/pub/linux/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-04  ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-04  ftp://ftp.jp.xemacs.org/pub/linux/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://64.50.236.52/.1/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://64.50.238.52/.1/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.funet.fi/.m/mirrors8/ftp.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://24.215.0.24/Debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.bme.hu/OS/Linux/dist/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://206.167.141.10/data/pub/distro/debian/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://200.17.202.1/debian-dists/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://200.17.202.16/debian-dists/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://200.17.202.17/debian-dists/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://130.239.17.6/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://161.53.160.16/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://193.219.61.67/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://199.6.1.174/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://204.152.191.39/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://204.152.191.7/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://212.87.224.145/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://217.75.96.164/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://64.15.134.18/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://77.88.19.68/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://cudlug.cudenver.edu/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://debian.lcs.mit.edu/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.ankara.edu.tr/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.at.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.bg.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.bononia.it/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.cl.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.debian.de/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.debian.or.jp/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.fr.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.hands.com/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.hk.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.linux.it/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.med.univ-tours.fr/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.nz.debian.org/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.port80.se/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.sac.sk/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.tuke.sk/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb
2007-12-03  ftp://ftp.uevora.pt/debian/pool/main/a/axiom/axiom_20050901-10_ia64.deb