Debian Science Project
Summary
Mathematics
Debian Science Mathematics packages

This metapackage will install Debian Science packages related to Mathematics. You might also be interested in the field::mathematics debtag and, depending on your focus, in the education-mathematics metapackage.

The list to the right includes various software projects which are of some interest to the Debian Science Project. Currently, only a few of them are available as Debian packages. It is our goal, however, to include all software in Debian Science which can sensibly add to a high quality Debian Pure Blend.

For a better overview of the project's availability as a Debian package, each head row has a color code according to this scheme:

If you discover a project which looks like a good candidate for Debian Science to you, or if you have prepared an unofficial Debian package, please do not hesitate to send a description of that project to the Debian Science mailing list

Links to other tasks

Debian Science Mathematics packages

Official Debian packages with high relevance

Axiom
A general purpose computer algebra system: main binary and modules
Maintainer: Camm Maguire
Versions of package axiom
ReleaseVersionArchitectures
sid20081101-2s390,powerpc,i386,amd64
etch20050901-9s390,mipsel,arm,powerpc,alpha,hppa,amd64,sparc,i386,ia64,mips
sid20050901-10.1hppa,armel,mipsel,mips,alpha,ia64
lenny20050901-10i386,amd64,hppa,mips,sparc,powerpc,s390,mipsel,alpha,ia64,arm,armel
sid20050901-10sparc
squeeze20050901-10sparc,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,s390
Debtags of package axiom:
develinterpreter, compiler
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
Popcon: 63 users (29 upd.)*
Versions and Archs
Debtags
License: DFSG free

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.

The package is enhanced by the following packages: texmacs
Coq
proof assistant for higher-order logic (toplevel and compiler)
Versions of package coq
ReleaseVersionArchitectures
sid8.2.pl1+dfsg-4ia64,i386,sparc,powerpc,hurd-i386,hppa,armel,s390,amd64,mips,alpha,mipsel
squeeze8.2.pl1+dfsg-3s390,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,sparc
lenny8.1.pl3+dfsg-1+b2alpha,ia64,mips,mipsel,arm,armel,sparc,hppa,s390,i386,amd64,powerpc
etch8.0pl3-2hppa,mipsel,amd64,arm,s390,i386,powerpc,sparc,mips,ia64,alpha
Debtags of package coq:
develcompiler
fieldmathematics
interfacetext-mode, commandline
roleprogram
scopeutility
uitoolkitncurses
Popcon: 67 users (60 upd.)*
Versions and Archs
Debtags
License: DFSG free
Git

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides coqtop, a command line interface to Coq.

A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.

Freefem
A PDE oriented language using Finite Element Method
Versions of package freefem
ReleaseVersionArchitectures
sid3.5.8-4.2s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze3.5.8-4.2sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny3.5.8-4.1i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
etch3.5.8-3arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package freefem:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
Popcon: 35 users (84 upd.)*
Versions and Archs
Debtags
License: DFSG free

FreeFEM is a language adapted to Partial Differential equation. The underlying method used is the Finite Element Method. This tool has been successfully used as a teaching tool and even as a research tool.

Freemat
mathematics framework (mostly matlab compatible)
Versions of package freemat
ReleaseVersionArchitectures
sid4.0-2alpha,powerpc,amd64,sparc,i386,s390,mipsel,hppa
sid3.6+dfsg-8+b1mips,ia64
squeeze3.6+dfsg-8+b1ia64,amd64,hppa,i386,mips,mipsel,powerpc,s390,sparc
lenny3.6+dfsg-5~lenny3alpha,mips,s390,arm,hppa,amd64,powerpc,ia64,sparc,mipsel,i386
sid3.6+dfsg-4hurd-i386
upstream4.0-Source
Debtags of package freemat:
fieldmathematics
interfacex11, commandline
roleprogram
scopeapplication
uitoolkitqt, ncurses
x11application
Popcon: 62 users (31 upd.)*
Newer upstream!
Debtags
License: DFSG free
Git

FreeMat is a free environment for rapid engineering and scientific prototyping and data processing. It is similar to commercial systems such as MATLAB from Mathworks, and IDL from Research Systems, but is Open Source. FreeMat is available under the GPL license.

Screenshots of package freemat
Gap
Groups, Algorithms and Programming computer algebra system
Maintainer: Bill Allombert
Versions of package gap
ReleaseVersionArchitectures
etch4r4p9-1all
sid4r4p12-1all
squeeze4r4p12-1all
lenny4r4p10-2all
Debtags of package gap:
fieldmathematics
rolemetapackage
Popcon: 0 users (0 upd.)*
Versions and Archs
Debtags
License: DFSG free

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a Pascal-like language.

This is a dummy package that depends on the standard GAP components.

Geomview
interactive geometry viewing program
Maintainer: Steve M. Robbins
Versions of package geomview
ReleaseVersionArchitectures
lenny1.9.4-1i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
sid1.9.4-1s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze1.9.4-1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
etch1.8.1-14arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package geomview:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitmotif
useviewing
works-with3dmodel
x11application
Popcon: 109 users (44 upd.)*
Versions and Archs
Debtags
License: DFSG free

Geomview is interactive geometry software which is particularly appropriate for mathematics research and education. In particular, geomview can display things in hyperbolic and spherical space as well as Euclidean space.

Geomview allows multiple independently controllable objects and cameras. It provides interactive control for motion, appearances (including lighting, shading, and materials), picking on an object, edge or vertex level, snapshots in SGI image file or Renderman RIB format, and adding or deleting objects is provided through direct mouse manipulation, control panels, and keyboard shortcuts. External programs can drive desired aspects of the viewer (such as continually loading changing geometry or controlling the motion of certain objects) while allowing interactive control of everything else. Homepage: http://www.geomview.org.

Gerris
Gerris Flow Solver
Versions of package gerris
ReleaseVersionArchitectures
sid20091109-dfsg.1-1mips,armel,mipsel,hurd-i386,powerpc,i386,s390,amd64,sparc,alpha,ia64,hppa
squeeze20091109-dfsg.1-1sparc,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,s390
Debtags of package gerris:
fieldphysics, mathematics
Popcon: 10 users (38 upd.)*
Versions and Archs
Debtags
License: DFSG free
Git

Gerris is a system for the solution of the partial differential equations describing fluid flow.

A brief summary of its main (current) features:

  • Solves the time-dependent incompressible variable-density Euler, Stokes or Navier-Stokes equations
  • Adaptive mesh refinement: the resolution is adapted dynamically to the features of the flow
  • Entirely automatic mesh generation in complex geometries
  • Second-order in space and time
  • Unlimited number of advected/diffused passive tracers
  • Flexible specification of additional source terms
  • Portable parallel support using the MPI library
  • Volume of Fluid advection scheme for interfacial flows
Ginac-tools
Some tools for the GiNaC symbolic framework
Maintainer: Richard Kreckel
Versions of package ginac-tools
ReleaseVersionArchitectures
sid1.5.5-1s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze1.5.5-1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny1.4.3-1i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
etch1.3.5-3arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package ginac-tools:
devellang:c++
fieldmathematics
interfacetext-mode, shell
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 45 users (67 upd.)*
Versions and Archs
Debtags
License: DFSG free

GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a library for doing symbolic (i.e. non-numeric) computation directly in the C++ programming language.

This package provides some additional tools, like the popular ginsh (GiNaC interactive shell) and viewgar (for inspecting GiNaC archive files).

Gmsh
three-dimensional finite element mesh generator
Versions of package gmsh
ReleaseVersionArchitectures
sid2.4.2.dfsg-1s390,alpha,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,sparc
squeeze2.4.2.dfsg-1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny2.2.3-1arm,hppa,amd64,mipsel,powerpc,i386,alpha,s390,mips,ia64,armel,sparc
sid2.0.8-4hurd-i386
etch1.65.0-2+b1hppa
etch1.65.0-2amd64,mips,ia64,arm,i386,mipsel,alpha,s390,powerpc,sparc
Debtags of package gmsh:
interfacex11
roleprogram
scopeapplication
useediting
works-with3dmodel
x11application
Popcon: 87 users (25 upd.)*
Versions and Archs
Debtags
License: DFSG free
Svn

Gmsh is an automatic 3D finite element mesh generator (primarily Delaunay) with build-in CAD and post-processing facilities. Its design goal is to provide a simple meshing tool for academic test cases with parametric input and up to date visualization capabilities.

Gmsh is built around four modules: geometry, mesh, solver and post-processing. The specification of any input to these modules is done either interactively using the graphical user interface or in ASCII text files using Gmsh's own scripting language.

See Gmsh's reference manual for a more thorough overview of Gmsh's capabilities.

Libmatheval1
GNU library for evaluating symbolic mathematical expressions (runtime)
Versions of package libmatheval1
ReleaseVersionArchitectures
lenny1.1.7-1i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
sid1.1.7-1s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze1.1.7-1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
etch1.1.3-1.1arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package libmatheval1:
devellibrary, lang:c
fieldmathematics
roleshared-lib, devel-lib
suitegnu
Popcon: 43 users (78 upd.)*
Versions and Archs
Debtags
License: DFSG free

GNU libmatheval is library comprising several procedures that makes possible to create in-memory tree representation of mathematical functions over single or multiple variables and later use this representation to evaluate function for specified variable values, to create corresponding tree for function derivative over specified variable or to print textual representation of in-memory tree to specified string. The library supports arbitrary variable names in expressions, decimal constants, basic unary and binary operators and elementary mathematical functions. This package contains the runtime shared libraries.

Lp-solve
Solve (mixed integer) linear programming problems
Versions of package lp-solve
ReleaseVersionArchitectures
sid5.5.0.13-7ia64,i386,sparc,powerpc,hurd-i386,hppa,armel,s390,amd64,mips,alpha,mipsel
squeeze5.5.0.13-6s390,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,sparc
lenny5.5.0.10-10alpha,ia64,mips,mipsel,arm,armel,sparc,hppa,s390,i386,amd64,powerpc
etch5.5-4hppa,mipsel,amd64,arm,s390,i386,powerpc,sparc,mips,ia64,alpha
Debtags of package lp-solve:
fieldmathematics
roleprogram
scopeapplication
Popcon: 4599 users (6436 upd.)*
Versions and Archs
Debtags
License: DFSG free

The linear programming (LP) problem can be formulated as: Solve A.x >= V1, with V2.x maximal. A is a matrix, x is a vector of (nonnegative) variables, V1 is a vector called the right hand side, and V2 is a vector specifying the objective function.

An integer linear programming (ILP) problem is an LP with the constraint that all the variables are integers. In a mixed integer linear programming (MILP) problem, some of the variables are integer and others are real.

The program lp_solve solves LP, ILP, and MILP problems. It is slightly more general than suggested above, in that every row of A (specifying one constraint) can have its own (in)equality, <=, >= or =. The result specifies values for all variables.

lp_solve uses the 'Simplex' algorithm and sparse matrix methods for pure LP problems. If one or more of the variables is declared integer, the Simplex algorithm is iterated with a branch and bound algorithm, until the desired optimal solution is found. lp_solve can read MPS format input files.

Homepage http://www.geocities.com/lpsolve/

Lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
Maintainer: David Bremner
Versions of package lrslib
ReleaseVersionArchitectures
sid0.42c-1mips,armel,mipsel,hurd-i386,powerpc,i386,s390,amd64,sparc,alpha,ia64,hppa
squeeze0.42c-1sparc,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,s390
Popcon: 2 users (2 upd.)*
Versions and Archs
License: GPL2+
Git

A convex polyhedron is the set of points satisfying a finite family of linear inequalities. The study of the vertices and extreme rays of such systems is important and useful in e.g. mathematics and optimization. In a dual interpretation, finding the vertices of a (bounded) polyhedron is equivalent to finding the convex hull (bounding inequalities) of an (arbitrary dimensional) set of points. Lrs (lexicographic reverse search) has two important features that can be very important for certain applications: it works in exact arithmetic, and it consumes memory proportional to the input, no matter how large the output is.

Please cite: A revised implementation of the reverse search vertex enumeration algorithm Polytopes - Combinatorics and Computation (Oberwolfach Seminars) (2000)
Magnus
Computational group theory software with GUI
Maintainer: Ben Burton (Simon McVittie)
Versions of package magnus
ReleaseVersionArchitectures
lenny20060324-5.1sparc,hppa,amd64,s390,mips,arm,powerpc,alpha,mipsel,armel,i386,ia64
sid20060324-5.1s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze20060324-5.1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
etch20060324-3+b1hppa
etch20060324-3arm,s390,mips,mipsel,powerpc,amd64,sparc,alpha,i386,ia64
Debtags of package magnus:
fieldmathematics
interfacex11
roleprogram
scopeutility
uitoolkittk
x11application
Popcon: 25 users (14 upd.)*
Versions and Archs
Debtags
License: DFSG free

The MAGNUS computational group theory package is an innovative symbolic algebra package providing facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, MAGNUS is concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable.

MAGNUS features an intuitive graphical user interface, facilities for running different algorithms on the same problem in parallel, generation of approximations for working on otherwise infeasible problems, genetic algorithms and a plug-in package manager.

Mathomatic
portable Computer Algebra System (CAS)
Maintainer: Sandro Tosi
Versions of package mathomatic
ReleaseVersionArchitectures
sid14.6.0-1s390,alpha,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,sparc
squeeze14.6.0-1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny14.0.6-2alpha,s390,hppa,mips,amd64,powerpc,sparc,mipsel,arm,ia64,armel,i386
etch12.6.3-1s390,mips,arm,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
upstream15.0.0
Debtags of package mathomatic:
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 42 users (89 upd.)*
Newer upstream!
Debtags
License: DFSG free

Mathomatic implements most of the rules of algebra for the mathematical operators +, -, *, /, % (modulus), and power (including roots).

Mathomatic can symbolically:

  • combine and solve equations,
  • completely simplify and compare expressions and equations,
  • do calculus transformations,
  • do standard, complex number, and polynomial arithmetic,
  • generate optimized C, Java, and Python language code from simplified equations,
  • do quick calculations, colorize expressions, etc.
Screenshots of package mathomatic
Mumps-test
Example/test binaries using MUMPS
Maintainer:
Versions of package mumps-test
ReleaseVersionArchitectures
sid4.9.2.dfsg-1amd64,i386,powerpc
sid4.8.4.dfsg-3ia64
Popcon: 0 users (3 upd.)*
Versions and Archs
License: DFSG free

MUMPS implements a direct solver for large sparse linear systems, with a particular focus on symmetric positive definite matrices. It can operate on distributed matrices e.g. over a cluster. It has Fortran and C interfaces, and can interface with ordering tools such as Scotch.

Netgen
Automatic 3d tetrahedral mesh generator
Versions of package netgen
ReleaseVersionArchitectures
sid4.4-5hppa
sid4.4-15amd64,armel,hurd-i386,i386,ia64,mips,mipsel,powerpc,s390,alpha,sparc
Debtags of package netgen:
roleprogram
Popcon: 8 users (2 upd.)*
Versions and Archs
Debtags
License: DFSG free
Svn

NETGEN is an automatic 3d tetrahedral mesh generator. It accepts input from constructive solid geometry (CSG) or boundary representation (BRep) from STL file format. NETGEN contains modules for mesh optimization and hierarchical mesh refinement.

Octave
GNU Octave language for numerical computations (2.1 branch)
Versions of package octave
ReleaseVersionArchitectures
etch2.1.73-13all
Debtags of package octave:
devellang:octave
fieldmathematics
rolemetapackage
suitegnu
Popcon: 0 users (0 upd.)*
Versions and Archs
Debtags
License: DFSG free
Svn

Octave is a (mostly Matlab (R) compatible) high-level language, primarily intended for numerical computations. It provides a convenient command-line interface for solving linear and nonlinear problems numerically.

This package is an empty 'virtual' package whose sole purpose is to install the current Octave version from the 2.1 branch (the recommended testing branch) .

Once you have the octave2.1 package installed, you can remove this package.

The package is enhanced by the following packages: texmacs
Octave3.0
GNU Octave language for numerical computations (3.0 branch)
Versions of package octave3.0
ReleaseVersionArchitectures
sid3.0.5-7+b1hurd-i386
sid3.0.5-7ia64,alpha,amd64,armel,hppa,i386,mips,mipsel,powerpc,s390,sparc
squeeze3.0.5-7s390,mipsel,hppa,amd64,powerpc,armel,ia64,i386,sparc,mips
lenny3.0.1-6lenny3mipsel,i386,arm,mips,ia64,alpha,armel,amd64,s390,hppa,sparc,powerpc
upstream3.2.3
Debtags of package octave3.0:
devellang:octave
roleprogram
suitegnu
uitoolkitncurses
Popcon: 779 users (213 upd.)*
Newer upstream!
Debtags
License: DFSG free
Git

Octave is a (mostly Matlab (R) compatible) high-level language, primarily intended for numerical computations. It provides a convenient command-line interface for solving linear and nonlinear problems numerically.

Octave uses some of the best and most respected numerical libraries as balgen, dassl, eispack, fftpack, lapack, linpack, minpack, odepack, ranlib, slatec-fn and villad. Octave can be dynamically extended with user-supplied C++ files.

Screenshots of package octave3.0
Octaviz
3D visualization system for Octave
Versions of package octaviz
ReleaseVersionArchitectures
lenny0.4.7-2s390,ia64,alpha,powerpc,amd64,mips,arm,armel,sparc,hppa,mipsel,i386
etch0.4.5-4alpha,amd64,arm,hppa,i386,ia64,mips,mipsel,powerpc,s390,sparc
Debtags of package octaviz:
devellang:octave
fieldmathematics
interface3d
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 25 users (26 upd.)*
Versions and Archs
Debtags
License: DFSG free
Svn

Octaviz is a visualization system for Octave. It is a wrapper that makes all VTK classes accessible from within Octave using the same object-oriented syntax as in C++ or Python. Octaviz also provides high-level functions for 2D and 3D visualization. Using those functions, most common visualization tasks (3D surface plots, contour plots etc) can be accomplished without any knowledge about VTK.

Pari-extra
PARI/GP Computer Algebra System extra data files
Maintainer: Bill Allombert
Versions of package pari-extra
ReleaseVersionArchitectures
etch2.1-1all
lenny2.1-1all
sid2.1-1all
squeeze2.1-1all
Debtags of package pari-extra:
fieldmathematics
roledocumentation, app-data
Popcon: 0 users (0 upd.)*
Versions and Archs
Debtags
License: DFSG free

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

Originally developed by Henri Cohen and his co-workers (University Bordeaux I, France), PARI is now under the GPL and maintained by Karim Belabas with the help of many volunteer contributors.

This package contains extra data files for PARI/GP:

 the Galois resolvants for the polgalois function.
 the elliptic curves database for the ellsearch function.
Pari-gp
PARI/GP Computer Algebra System binaries
Maintainer: Bill Allombert
Versions of package pari-gp
ReleaseVersionArchitectures
sid2.3.4-3s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze2.3.4-3sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny2.3.4-1i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
etch2.3.1-2arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package pari-gp:
fieldmathematics
roledocumentation
uitoolkitncurses
Popcon: 86 users (117 upd.)*
Versions and Archs
Debtags
License: DFSG free

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

Originally developed by Henri Cohen and his co-workers (University Bordeaux I, France), PARI is now under the GPL and maintained by Karim Belabas with the help of many volunteer contributors.

This package contains the GP calculator.

The package is enhanced by the following packages: texmacs
Proofgeneral
generic interface for proof assistants - common package
Versions of package proofgeneral
ReleaseVersionArchitectures
sid3.7-3.1all
squeeze3.7-3.1all
lenny3.7-3all
etch3.5-4.1all
Debtags of package proofgeneral:
fieldmathematics
interfacecommandline
roleplugin
suiteemacs
usechecking
Popcon: 38 users (17 upd.)*
Versions and Archs
Debtags
License: DFSG free

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers. It works with either XEmacs or GNU Emacs.

Proofgeneral-coq
generic interface for proof assistants - coq support
Versions of package proofgeneral-coq
ReleaseVersionArchitectures
sid3.7-3.1all
squeeze3.7-3.1all
lenny3.7-3all
etch3.5-4.1all
Debtags of package proofgeneral-coq:
fieldmathematics
interfacecommandline
roleplugin
suiteemacs
usechecking
Popcon: 35 users (17 upd.)*
Versions and Archs
Debtags
License: DFSG free

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers. It works with either XEmacs or GNU Emacs.

This package provides the Proof General support for the Coq theorem prover which is available as another package. The package is however not required to just edit Coq files.

Regina-normal
3-manifold topology software with normal surface support
Versions of package regina-normal
ReleaseVersionArchitectures
sid4.6-1.1hurd-i386,powerpc,amd64,i386,sparc,alpha,ia64,mipsel,mips,hppa
sid4.6-1armel
sid4.5.1-2s390
lenny4.5-1hppa,i386,sparc,ia64,s390,mips,mipsel,alpha,amd64,arm,armel,powerpc
etch4.3.1-3alpha,amd64,arm,hppa,i386,ia64,mips,mipsel,powerpc,s390,sparc
Debtags of package regina-normal:
fieldmathematics
interfacex11, commandline
roleprogram
scopeutility
suitekde
uitoolkitqt
x11application
Popcon: 21 users (22 upd.)*
Versions and Archs
Debtags
License: DFSG free

Regina is a suite of mathematical software for 3-manifold topologists. It focuses upon the study of 3-manifold triangulations and includes support for normal surfaces and angle structures.

Highlights of Regina include triangulation analysis and simplification, census creation and normal surface enumeration. It offers embedded Python scripting giving full access to the calculation engine.

This package includes the KDE user interface and the command-line Python interface, as well as the users' handbook. For the Python reference (i.e., the API documentation for the Regina calculation engine), see the package regina-normal-doc.

Components of Regina that are designed to run on clusters are no longer shipped in this package. They can now be found in the separate package regina-normal-mpi.

Sagemath
Mathematics software written in Python
Maintainer: Tim Abbott
Versions of package sagemath
ReleaseVersionArchitectures
sid3.0.5dfsg-5amd64,hppa,i386,ia64,powerpc,s390,sparc
Popcon: 57 users (15 upd.)*
Versions and Archs
License: DFSG free

Sage is a mathematical software package with support for a wide range of mathematics, including algebra, calculus, elementary to very advanced number theory, cryptography, numerical computation, commutative algebra, group theory, combinatorics, graph theory, and exact linear algebra.

Sage integrates several dozen mathematical software packages, making it possible to combine the best algorithms from several different packages together in a single Sage program.

Much of the Sage core and the Sage interfaces are implemented in Cython, helping Sage avoid the usual performance problems associated with Python.

Sage has a friendly command-line interface based on iPython and a web-based notebook interface which can run locally or connect to a remote Sage server over the network.

Science-statistics
Debian Science Statistics packages
Versions of package science-statistics
ReleaseVersionArchitectures
sid0.8all
squeeze0.7all
lenny0.3all
Popcon: 22 users (11 upd.)*
Versions and Archs
License: DFSG free
Svn

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to statistics. This task is a general task which might be useful for any scientific work. It depends from a lot of R packages as well as from other tools which are useful to do statistics. Moreover the Science Mathematics task is suggested to optionally install all mathematics related software.

Scilab
Scientific software package for numerical computations
Versions of package scilab
ReleaseVersionArchitectures
sid5.1.1-12all
squeeze5.1.1-12all
Debtags of package scilab:
fieldstatistics, physics, mathematics, electronics
interfacex11
roleprogram
scopeutility
uitoolkittk
useanalysing
works-withimage
x11application
Popcon: 301 users (151 upd.)*
Versions and Archs
Debtags
License: DFSG free
Svn

Scilab is a matrix-based scientific software package. Scilab contains hundreds of built-in mathematical functions, rich data structures (including polynomials, rationals,linear systems, lists, etc...) and comes with a number of specific toolboxes for control, signal processing, ...

Screenshots of package scilab
Scilab-ann
Scilab toolbox for artificial neural networks
Versions of package scilab-ann
ReleaseVersionArchitectures
sid0.4.2.3-2all
squeeze0.4.2.3-2all
Popcon: 1 users (5 upd.)*
Versions and Archs
License: DFSG free
Svn

Current features

  • Only layered feedforward networks are supported directly at the moment (for others use the "hooks" provided)
  • Unlimited number of layers
  • Unlimited number of neurons per each layer separately
  • User defined activation function (defaults to logistic)
  • User defined error function (defaults to SSE)
  • Algorithms implemented so far:
  • standard (vanilla) with or without bias, on-line or batch
  • momentum with or without bias, on-line or batch
  • SuperSAB with or without bias, on-line or batch
  • Conjugate gradients
  • Jacobian computation
  • Computation of result of multiplication between "vector" and Hessian
  • Some helper functions provided
Scilab-plotlib
"Matlab-like" Plotting library for Scilab
Versions of package scilab-plotlib
ReleaseVersionArchitectures
sid0.21-1all
squeeze0.21-1all
Popcon: 3 users (21 upd.)*
Versions and Archs
License: DFSG free
Svn

This toolbox is providing plotting capabilities in the Scilab language. Plotlib functions matches the one from Matlab and therefor is dedicated to users switching from Matlab to Scilab.

Scilab-scimax
Symbolic computations for Scilab based on Maxima
Versions of package scilab-scimax
ReleaseVersionArchitectures
sid2.1.1-1alpha,amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
Popcon: 3 users (12 upd.)*
Versions and Archs
License: DFSG free
Svn

This toolbox is providing symbolic capabilities with the Scilab languages.

It is based on Maxima which is a fully symbolic computation program. It is full featured doing symbolic manipulation of polynomials, matrices, rational functions, integration, Todd-coxeter methods for finite group analysis, graphing, multiple precision floating point computation.

Scilab-sivp
Scilab Image and Video Processing toolbox
Versions of package scilab-sivp
ReleaseVersionArchitectures
sid0.5.0-5alpha,amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
squeeze0.5.0-5mips,amd64,sparc,armel,mipsel,i386,s390,ia64,powerpc
Popcon: 7 users (94 upd.)*
Versions and Archs
License: DFSG free
Svn

SIVP intends to do image and video processing tasks. SIVP is meant to be a useful, efficient, and free image and video processing toolbox for Scilab.

Scilab-swt
Scilab Wavelet and signal processing toolbox
Versions of package scilab-swt
ReleaseVersionArchitectures
sid0.1.0rc4-3alpha,amd64,armel,i386,ia64,mipsel,s390,sparc
Popcon: 2 users (7 upd.)*
Versions and Archs
License: DFSG free
Svn

Wavelet is a powerful signal processing tool developed and developing in the last two decades. Scilab Wavelet Toolbox is a free software package to enable you using wavelet analysis tools freely in Scilab on most OSes including GNU/Linux, BSD and Windows. Scilab Wavelet Toolbox is designed to work with any Scilab Image Processing Toolbox like SIP or SIVP for displaying 2-D results.

What Scilab Wavelet Toolbox supposed to do:

  • Discrete Fast Wavelet Transform, daubechies wavelets
  • 1-D single level signal decomposition and reconstruction
  • 1-D multi-level signal decomposition and reconstruction
  • 2-D single level image decomposition and reconstruction
  • 2-D multi-level image decomposition and reconstruction
Snappea
a program for creating and studying hyperbolic 3-manifolds
Maintainer: Ben Burton
Versions of package snappea
ReleaseVersionArchitectures
lenny3.0d3-20i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
sid3.0d3-20s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze3.0d3-20sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
etch3.0d3-19arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package snappea:
devellang:python
fieldmathematics
interfacex11
uitoolkittk
x11application
Popcon: 12 users (6 upd.)*
Versions and Archs
Debtags
License: DFSG free

SnapPea is Jeff Weeks' computational tool for mathematicians working in low-dimensional topology. It is used for creating and studying hyperbolic 3-manifolds, and is accessible via Python scripts as well as through a traditional graphical user interface.

Wxmaxima
GUI for the computer algebra system Maxima
Versions of package wxmaxima
ReleaseVersionArchitectures
sid0.8.3a-2s390,alpha,amd64,armel,hppa,hurd-i386,i386,ia64,mips,mipsel,powerpc,sparc
squeeze0.8.3a-2sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny0.7.1-1i386,sparc,hppa,amd64,mips,arm,powerpc,s390,mipsel,armel,alpha,ia64
etch0.7.0a-1.1arm,s390,mips,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
Debtags of package wxmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitwxwindows
x11application
Popcon: 283 users (158 upd.)*
Versions and Archs
Debtags
License: DFSG free
Git

wxMaxima is a graphical user interface for the computer algebra system Maxima. It eases the use of Maxima by making most of its commands available through a menu system and by providing input dialogs for commands that require more than one argument. It also implements its own display engine that outputs mathematical symbols directly instead of depicting them with ASCII characters.

wxMaxima also features 2D and 3D inline plots, simple animations, mixing of text and mathematical calculations to create documents, exporting of input and output to TeX, and a browser for Maxima's manual including command index and full text searching.

Xmaxima
A computer algebra system -- x interface
Maintainer: Camm Maguire ()
Versions of package xmaxima
ReleaseVersionArchitectures
sid5.17.1-1s390,alpha,amd64,armel,hppa,i386,ia64,mips,mipsel,powerpc,sparc
squeeze5.17.1-1sparc,powerpc,ia64,i386,hppa,s390,armel,amd64,mipsel,mips
lenny5.13.0-3.1+b1mips,amd64,powerpc,mipsel,ia64,alpha,i386,s390,hppa
lenny5.13.0-3.1sparc,armel,arm
etch5.10.0-6s390,mips,arm,mipsel,powerpc,amd64,sparc,hppa,alpha,i386,ia64
upstream5.20.0
Debtags of package xmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkittk
x11application
Popcon: 170 users (62 upd.)*
Newer upstream!
Debtags
License: DFSG free

Maxima is a fully symbolic computation program. It is full featured doing symbolic manipulation of polynomials, matrices, rational functions, integration, Todd-coxeter methods for finite group analysis, graphing, multiple precision floating point computation. It has a symbolic source level debugger for maxima code. Maxima is based on the original Macsyma developed at MIT in the 1970s. It is quite reliable, and has good garbage collection, and no memory leaks. It comes with hundreds of self tests.

This package contains an X Windows interface using the tcl/tk libraries.

Official Debian packages with lower relevance

Netgen-doc
Automatic 3d tetrahedral mesh generator documentation
Versions of package netgen-doc
ReleaseVersionArchitectures
sid4.4-15all
Debtags of package netgen-doc:
roledocumentation
Popcon: 0 users (0 upd.)*
Versions and Archs
Debtags
License: DFSG free
Svn

NETGEN is an automatic 3d tetrahedral mesh generator. It accepts input from constructive solid geometry (CSG) or boundary representation (BRep) from STL file format. NETGEN contains modules for mesh optimization and hierarchical mesh refinement.

This package contains the user manual (in PDF format) and example files.

Debian packages in contrib or non-free

Nauty
command line tools to compute graph automorphisms
Versions of package nauty
ReleaseVersionArchitectures
sid2.4~b7-2ia64,amd64,s390,i386,sparc,alpha,hppa
squeeze2.4~b7-2sparc,amd64,hppa,i386,ia64,s390
upstream2.4
Popcon: 5 users (0 upd.)*
Newer upstream!
License: non-free
Git

nauty (no automorphisms, yes?) is a set of procedures for determining the automor- phism group of a vertex-coloured graph. It provides this information in the form of a set of generators, the size of the group, and the orbits of the group. It is also able to produce a canonically-labelled isomorph of the graph, to assist in isomorphism testing. This package provides the main command line tool dreadnaut, and some utilities ('gtools'). A C API is also available.

No known packages available but some record of interest (WNPP bug)

Bliss - wnpp
tool for computing automorphism groups and canonical labelings of graphs
Responsible: David Bremner
License: GPL2
Debian package not available

Bliss is a backtracking algorithm based on individualization and refinement for labeling a graph. Data structures, subroutines, and pruning heuristics especially for fast handling of large and sparse graphs are provided. This package provides the command line tool bliss; a C++ and C API is also available.

There is also a libbliss-dev which changes the last line of the long description. At the moment I propose not to create a shared library package since upstream doesn't make one, and in the short term there won't be any rdepends in debian. I could be convinced otherwise of course.

Geogebra - wnpp
dynamic mathematics software for schools
Responsible:
License: GPL (sources) and Creative Commons (documentation)
Debian package not available

GeoGebra is a dynamic geometry system. You can do constructions with points, vectors, segments, lines, conic sections as well as functions and change them dynamically afterwards. On the other hand, equations and coordinates can be entered directly.

Isabelle - wnpp
Generic theorem proving environment
Responsible: Lionel Elie Mamane
License: BSD-like and non-free documentation
Debian package not available

Features a choice of several ready-to-use logics (Higher Order Logic, Higher Order Logic augmented with Scott's Logic for Computable Functions, First Order Logic, Zermello-Frankel, an extensional version of Martin-Lof Type Theory, Barendregt's Lambda Cube, a few sequent calculi (including modal and linear logics), ...) or defining your own logic / deductive system, a procedural and a declarative proof style, rich automation for classical reasoning, equational logic and algebra, LaTeX and X-Symbols notational support.

Isabelle can also be used as a generic framework for rapid prototyping of deductive systems.

*Popularitycontest results: number of people who use this package regularly (number of people who upgraded this package recently) out of 89590