axiom-tex_20140801-6_all.deb


Advertisement

Description

axiom-tex - General purpose computer algebra system: style file for TeX

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name axiom-tex
Package version 20140801
Package release 6
Package architecture all
Package type deb
Installed size 263 B
Download size 155.32 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 a TeX style file useful in publishing results
obtained with Axiom.

Alternatives

Package Version Architecture Repository
axiom-tex_20140801-6_all.deb 20140801 all Debian Main
axiom-tex - - -

Requires

Name Value
dpkg >= 1.14.18
tex-common >= 3
texlive-latex-recommended -

Download

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

Install Howto

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

Files

Path
/usr/share/doc/axiom-tex/changelog.Debian.gz
/usr/share/doc/axiom-tex/changelog.gz
/usr/share/doc/axiom-tex/copyright
/usr/share/texmf/tex/plain/misc/axiom.sty

Changelog

See axiom_20140801-6_amd64.deb changelog.

See Also

Package Description
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
babiloo_2.0.11-1_all.deb dictionary viewer with multi-languages support
backfire-dkms_0.89-1_all.deb kernel module for signal benchmarking (DKMS)
backintime-common_1.0.36-1+deb8u1_all.deb simple backup/snapshot system
backintime-gnome_1.0.36-1+deb8u1_all.deb GNOME front-end for backintime
backintime-kde_1.0.36-1+deb8u1_all.deb KDE front-end for backintime
backup-manager-doc_0.7.10.1-2_all.deb documentation package for Backup Manager
backup-manager_0.7.10.1-2_all.deb command-line backup tool
backup2l_1.5-7_all.deb low-maintenance backup/restore tool
Advertisement
Advertisement