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

Agda
dependently typed functional programming language
Versions of package agda
ReleaseVersionArchitectures
wheezy2.3.0.1-2all
sid2.3.2.2-1all
jessie2.4.0.2-2all
sid2.4.0.2-2all
upstream2.4.2.2
Debtags of package agda:
rolemetapackage
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.

Auto-07p
software for continuation and bifurcation problems in ODE
Versions of package auto-07p
ReleaseVersionArchitectures
jessie0.9.1+dfsg-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.9.1+dfsg-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 1 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

AUTO can do a limited bifurcation analysis of algebraic systems of the form

  f(u,p) = 0,  f,u in Rn
and of systems of ordinary differential equations of the form
  u'(t) = f(u(t),p),  f,u in Rn
subject to initial conditions, boundary conditions, and integral

constraints. Here p denotes one or more parameters. AUTO can also do certain continuation and evolution computations for parabolic PDEs. It also includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast and can benefit from multiple processors; therefore it is applicable to rather large systems of differential equations.

Axiom
General purpose computer algebra system: main binary and modules
Maintainer: Camm Maguire
Versions of package axiom
ReleaseVersionArchitectures
squeeze20100701-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,powerpc,s390,sparc
wheezy20120501-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie20140801-6amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid20140801-6amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package axiom:
develinterpreter, compiler
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
Popcon: 44 users (57 upd.)*
Versions and Archs
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
Screenshots of package axiom
Bliss
tool to compute graph automorphisms and labelings
Maintainer: David Bremner
Versions of package bliss
ReleaseVersionArchitectures
wheezy0.72-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.72-5amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.72-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package bliss:
interfacecommandline
roleprogram
Popcon: 22 users (19 upd.)*
Versions and Archs
License: DFSG free
Git

Bliss is a backtracking algorithm for computing automorphism groups and canonical forms of graphs, based on individualization and refinement. Its data structures, subroutines, and pruning heuristics are specially designed for fast handling of large and sparse graphs.

This package provides the command line tool bliss.

Coinor-symphony
COIN-OR solver for mixed-integer linear programs
Versions of package coinor-symphony
ReleaseVersionArchitectures
jessie5.6.1-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid5.6.1-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream5.6.2
Popcon: 16 users (13 upd.)*
Newer upstream!
License: DFSG free
Git

SYMPHONY is an open-source generic mixed-integer linear programs (MILP) solver, callable library, and extensible framework for implementing customized solvers SYMPHONY has a number of advanced capabilities, including the ability to solve multi-objective MILPs, the ability to warm start its solution procedure, and the ability to perform basic sensitivity analyses.

SYMPHONY is part of the larger COIN-OR initiative (Computational Infrastructure for Operations Research).

This package contains the symphony executable.

Coq
proof assistant for higher-order logic (toplevel and compiler)
Versions of package coq
ReleaseVersionArchitectures
squeeze8.2.pl2+dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy8.3.pl4+dfsg-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie8.4pl4dfsg-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid8.4pl4dfsg-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream8.4pl5
Debtags of package coq:
develcompiler
fieldmathematics
interfacetext-mode, commandline
roleprogram
scopeutility
uitoolkitncurses
Popcon: 154 users (58 upd.)*
Newer upstream!
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 package to be installed.

The package is enhanced by the following packages: libssreflect-ocaml libaac-tactics-ocaml
Screenshots of package coq
Dolfin-bin
Executable scripts for DOLFIN
Versions of package dolfin-bin
ReleaseVersionArchitectures
squeeze0.9.8-3all
wheezy1.0.0-7all
jessie1.4.0+dfsg-4all
sid1.4.0+dfsg-4all
Debtags of package dolfin-bin:
fieldmathematics
roleprogram
useconverting
Popcon: 17 users (17 upd.)*
Versions and Archs
License: DFSG free
Svn

DOLFIN is the Python and C++ interface of the FEniCS project for the automated solution of differential equations, providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms; automatic and efficient assembly of linear systems; and support for general families of finite elements.

This package contains executable scripts for DOLFIN.

Eclib-tools
Programs for modular symbols and elliptic curves over Q
Versions of package eclib-tools
ReleaseVersionArchitectures
jessie2014-09-21-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2014-09-21-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream2014-11-06
Popcon: 15 users (7 upd.)*
Newer upstream!
License: DFSG free
Git

This package includes several programs to compute with elliptic curves over Q ; most notably mwrank (for 2-descent on elliptic curves over Q) and the modular symbol tools used to create the elliptic curve database.

Feel++-apps
A library for the finite element method
Versions of package feel++-apps
ReleaseVersionArchitectures
jessie0.99.0-final.1-1amd64,i386,powerpc
sid0.99.0-final.1-1amd64,i386,powerpc
Popcon: 9 users (5 upd.)*
Versions and Archs
License: DFSG free
Svn

Provides some applications codes(source and executables) such as laplacian with cG and dG methods, stokes, heat transfer, solid mechanics(static and dynamic).

Feel++ is a versatile finite element library to solve partial differential equations

Support 1D, 2D, 3D

Support the following basic entities: simplices (segment, triangle, tetrahedron) and product of simplices (quadrangle, hexahedron)

Support various point sets on these basic entities: equispaced points, quadrature points, interpolation points (Gauss-Lobatto, Fekete, WarpBlend?)

Support continuous and discontinuous Galerkin methods

Support various polynomial sets:

  • Lagrange(continuous,discontinuous,all dimensions,all interpolation point sets)

  • Dubiner(discontinuous), boundary adapted(continuous)

  • Legendre(discontinuous), boundary adapted(continuous)

Provide mathematical concept for higher order abstraction (Function spaces and associated elements, forms and operators)

Provide a language embedded in C++ for variational formulations, projection and numerical integration

Fenics
Automated Solution of Differential Equations
Versions of package fenics
ReleaseVersionArchitectures
wheezy1.0.0-1all
jessie1.4.0.1all
sid1.4.0.1all
Debtags of package fenics:
fieldmathematics
rolemetapackage
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

FEniCS is a collection of free software for automated, efficient solution of differential equations.

FEniCS has an extensive list of features, including automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra and many more.

FEniCS is organized as a collection of interoperable components, including the problem-solving environment DOLFIN, the form compiler FFC, the finite element tabulator FIAT, the just-in-time compiler Instant, the code generation interface UFC, the form language UFL and a range of additional components.

Screenshots of package fenics
Fplll-tools
Tools to compute LLL-reduction of Euclidian lattices
Versions of package fplll-tools
ReleaseVersionArchitectures
jessie4.0.4-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid4.0.4-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 1 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

fpLLL is a library for computing reduced (nearly orthogonal) bases for Euclidean lattices using the floating-point LLL algorithm.

fpLLL contains multiple different implementations of the floating-point LLL reduction algorithm, offering multiple different speed/guarantees ratios.

It contains a 'wrapper' that chooses the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user.

This package contains the base tools using libfplll.

Freefem
PDE oriented language using Finite Element Method
Versions of package freefem
ReleaseVersionArchitectures
squeeze3.5.8-4.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy3.5.8-5amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.5.8-5.1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid3.5.8-5.1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package freefem:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
Popcon: 31 users (21 upd.)*
Versions and Archs
License: DFSG free
Svn

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.

Freefem++
Provides the binaries of the FreeFem++ FE suite
Versions of package freefem++
ReleaseVersionArchitectures
wheezy3.19.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.31-2-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid3.31-2-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream3.32.1
Popcon: 35 users (18 upd.)*
Newer upstream!
License: DFSG free
Git

FreeFem++ is an implementation of a language dedicated to the finite element method. It enables you to solve Partial Differential Equations (PDE) easily.

Problems involving PDE from several branches of physics such as fluid-structure interactions require interpolations of data on several meshes and their manipulation within one program. FreeFem++ includes a fast quadtree-based interpolation algorithm and a language for the manipulation of these data on multiple meshes. It contains also a powerful mesh generation and adaption tool integrated seamlessly in FreeFem++ called bamg.

FreeFem++ is written in C++ and the FreeFem++ language is a C++ idiom allowing for a smooth learning curve.

This package contains the executables of FreeFem++.

Screenshots of package freefem++
Freefem3d
Language and solver for partial differential equations in 3D
Versions of package freefem3d
ReleaseVersionArchitectures
squeeze1.0pre10-2.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.0pre10-3.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.0pre10-3.2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390x
sid1.0pre10-3.2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390x,sparc
Debtags of package freefem3d:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
uitoolkitqt
works-with3dmodel
Popcon: 31 users (17 upd.)*
Versions and Archs
License: DFSG free
Svn

FreeFEM3D (aka ff3d) is a 3D solver of partial differential equations (PDE). It is a member of the familly of the freefem programs (see http://www.freefem.org).

ff3d, as well as its cousins, is a PDE solver driven by a user-friendly language. It solves many kind of problems such as elasticity, fluids (Stokes and Navier-Stokes) and a lot more. The user has to enter the equation associated with the problem, giving either the PDE in strong formulation or weak (variational) formulation.

ff3d can use either the Finite Elements method (the mesh of the geometry being provided by the user) or a Fictitious Domain like approach where the geometry is described using Constructive Solid Geometry (CSG). This description is done using the POV-Ray language but others such as VRML could be added.

The processing of the results is left to the user. One can use various graphic tools: output in the MEdit mesh format or VTK are supported. The implementation of a VTK base visualization module is underway.

The goal of ff3d is to provide a good teaching tool and a research toolbox (the code is written in C++ and its design is such that new methods can be easily implemented).

Freemat
mathematics framework (mostly matlab compatible)
Versions of package freemat
ReleaseVersionArchitectures
squeeze4.0-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy4.0-5amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie4.0-5amd64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc
sid4.0-5amd64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,sparc
upstream4.2
Debtags of package freemat:
fieldmathematics
interfacex11, commandline
roleprogram
scopeapplication
uitoolkitqt
x11application
Popcon: 66 users (34 upd.)*
Newer upstream!
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
computer algebra system for Groups, Algorithms and Programming
Maintainer: Bill Allombert
Versions of package gap
ReleaseVersionArchitectures
squeeze4r4p12-2all
wheezy4r4p12-2all
jessie4r7p5-1all
sid4r7p5-2all
upstream4r7p6
Debtags of package gap:
fieldmathematics
rolemetapackage
Popcon: 0 users (2 upd.)*
Newer upstream!
License: DFSG free

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

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

Gap-character-tables
GAP Library of character tables
Maintainer: Bill Allombert
Versions of package gap-character-tables
ReleaseVersionArchitectures
squeeze1r1p3-5all
wheezy1r1p3-5all
jessie1r2p2.dfsg.0-2all
sid1r2p2.dfsg.0-2all
Debtags of package gap-character-tables:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

This package contains the Character Table Library by Thomas Breuer.

Gap-float
multi-precision floating-point computation for GAP
Versions of package gap-float
ReleaseVersionArchitectures
jessie0.6.3+ds-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.6.3+ds-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

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.

This GAP package brings to GAP floating-point numbers with arbitrary precision; it is based on MPFR, MPFI, MPC, CXSC, and FPLLL.

Gap-guava
coding theory library for GAP
Versions of package gap-guava
ReleaseVersionArchitectures
squeeze3.6-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy3.6-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.12+ds1-2all
sid3.12+ds1-2all
Popcon: 0 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

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.

This GAP package brings to GAP computing with error-correcting codes.

Gap-prim-groups
Database of primitive groups for GAP
Maintainer: Bill Allombert
Versions of package gap-prim-groups
ReleaseVersionArchitectures
squeeze4r4p10-1all
wheezy4r4p10-1all
jessie4r7p3-1all
sid4r7p3-1all
Debtags of package gap-prim-groups:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
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 package contains the database of primitive groups.

Gap-small-groups
Database of small groups for GAP
Maintainer: Bill Allombert
Versions of package gap-small-groups
ReleaseVersionArchitectures
squeeze4r4p10-1all
wheezy4r4p10-1all
jessie4r7p3-1all
sid4r7p3-1all
Debtags of package gap-small-groups:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
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.

The Small Groups Library is a catalogue of groups of `small' order. This package contains the groups data and identification routines for groups of order up to 1000 except 512, 768 and groups whose order factorises in at most 3 primes.

Note that data for order 512, 768 and between 1000 and 2000 except 1024 are available separately in the gap-small-groups-extra packages.

Gap-small-groups-extra
Large database of small groups for GAP
Maintainer: Bill Allombert
Versions of package gap-small-groups-extra
ReleaseVersionArchitectures
squeeze4r4p10-1all
wheezy4r4p10-1all
jessie4r7p3-1all
sid4r7p3-1all
Debtags of package gap-small-groups-extra:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
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.

The Small Groups Library is a catalogue of groups of `small' order. This package contains the groups data and identification routines for groups

  • of order at most 2000 except 1024.
  • of cubefree order at most 50 000.
  • of order p^n for n <= 6 and all primes p.
  • of squarefree order.
  • whose order factorises in at most 3 primes.
  • of order q^n * p for q^n dividing 2^8, 3^6, 5^5, 7^4 and p prime different to q

The Small Groups Library provides access to these groups and a method to identify the catalogue number of a given group.

Gap-table-of-marks
GAP table of marks library
Maintainer: Bill Allombert
Versions of package gap-table-of-marks
ReleaseVersionArchitectures
squeeze1r1p4-1all
wheezy1r1p4-1all
jessie1r2p2-1all
sid1r2p2-1all
upstream1r2p4
Debtags of package gap-table-of-marks:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Newer upstream!
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 package contains the table of marks library by G. Pfeiffer and Th. Merkwitz.

Gap-trans-groups
Database of transitive groups for GAP
Maintainer: Bill Allombert
Versions of package gap-trans-groups
ReleaseVersionArchitectures
squeeze4r4p10-1all
wheezy4r4p10-1all
jessie4r7p3-1all
sid4r7p3-1all
Debtags of package gap-trans-groups:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
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 package contains the database of transitive groups.

Geogebra
Dynamic mathematics software for education
Versions of package geogebra
ReleaseVersionArchitectures
squeeze3.2.44.0+dfsg1-2all
wheezy4.0.34.0+dfsg1-1all
jessie4.0.34.0+dfsg1-3all
sid4.0.34.0+dfsg1-3all
Debtags of package geogebra:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitxlib
uselearning
works-withimage:vector, image:raster, image
works-with-formatsvg, png
x11application, applet
Popcon: 461 users (310 upd.)*
Versions and Archs
License: DFSG free
Git

GeoGebra is a dynamic geometry program. 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.

Support for many geometric constructions is provided, as well as support for many calculus-based tools (derivatives, osculating circle, ...).

GeoGebra files can be exported in many different formats, or as interactive applets for web pages.

Screenshots of package geogebra
Geomview
interactive geometry viewing program
Versions of package geomview
ReleaseVersionArchitectures
squeeze1.9.4-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.9.4-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.9.4-4.1amd64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.9.4-4.1amd64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream1.9.5
Debtags of package geomview:
fieldmathematics
interfacex11, 3d
roleprogram
scopeapplication
uitoolkitmotif
useviewing, learning
works-with3dmodel
x11application
Popcon: 105 users (58 upd.)*
Newer upstream!
License: DFSG free
Svn

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.

Screenshots of package geomview
Gerris
Fluid Flow Solver
Versions of package gerris
ReleaseVersionArchitectures
squeeze20091109-dfsg.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie20131206+dfsg-5amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid20131206+dfsg-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package gerris:
fieldphysics, mathematics
roleprogram
Popcon: 13 users (58 upd.)*
Versions and Archs
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

For multi-cpu MPI support, install gerris-mpi instead.

Getdp
general environment for the treatment of discrete problems
Versions of package getdp
ReleaseVersionArchitectures
sid2.4.2-1amd64,i386,powerpc,s390x,sparc
upstream2.4.4
Popcon: 2 users (0 upd.)*
Newer upstream!
License: DFSG free
Svn

GetDP is a general finite element solver using mixed elements to discretize de Rham-type complexes in one, two and three dimensions.

The main feature of GetDP is the closeness between the input data defining discrete problems (written by the user in ASCII data files) and the symbolic mathematical expressions of these problems.

See GetDP's reference manual for a more thorough overview of GetDP's capabilities: http://www.geuz.org/getdp

Please cite: P. Dular, C. Geuzaine, A. Genon and W. Legros: An evolutive software environment for teaching finite element methods in electromagnetism. IEEE Transactions on Magnetics 35(3):1682 - 1685 (1999)
Gfan
program for computing with Groebner fans
Versions of package gfan
ReleaseVersionArchitectures
squeeze0.3dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.3dfsg-1.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.5+dfsg-5amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.5+dfsg-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 3 users (2 upd.)*
Versions and Archs
License: DFSG free

Gfan is a software package for computing Groebner fans and tropical varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones of a Groebner fan are in bijection with the marked reduced Groebner bases of its defining ideal. The software computes all marked reduced Groebner bases of an ideal. Their union is a universal Groebner basis. The tropical variety of a polynomial ideal is a certain subcomplex of the Groebner fan. Gfan contains algorithms for computing this complex for general ideals and specialized algorithms for tropical curves, tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above core functions the package contains many tools which are useful in the study of Groebner bases, initial ideals and tropical geometry. Among these are an interactive traversal program for Groebner fans and programs for graphical renderings.

For ordinary Groebner basis computations Gfan is not competitive in speed compared to programs such as CoCoA, Singular and Macaulay2.

Screenshots of package gfan
Ginac-tools
GiNaC symbolic framework support tools
Versions of package ginac-tools
ReleaseVersionArchitectures
squeeze1.5.8-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.6.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.6.2-1amd64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.6.3-3amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package ginac-tools:
devellang:c++
fieldmathematics
interfacetext-mode, shell
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 33 users (35 upd.)*
Versions and Archs
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
squeeze2.4.2.dfsg-5amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid2.8.3+dfsg-4sparc
jessie2.8.5+dfsg-1.1amd64,armel,armhf,i386,powerpc,s390x
sid2.8.5+dfsg-1.1amd64,armel,armhf,i386,powerpc,s390x
Debtags of package gmsh:
interfacex11
roleprogram
scopeapplication
useediting
works-with3dmodel
x11application
Popcon: 64 users (38 upd.)*
Versions and Archs
License: DFSG free
Git

Gmsh is a 3D finite element grid generator with a build-in CAD engine and post-processor. Its design goal is to provide a fast, light and user-friendly meshing tool with parametric input and advanced 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.

Please cite: C. Geuzaine and J.-F. Remacle: Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities. (eprint) International Journal for Numerical Methods in Engineering 79(11):1309-1331 (2009)
Screenshots of package gmsh
Hol-light
HOL Light theorem prover
Versions of package hol-light
ReleaseVersionArchitectures
wheezy20120602-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie20131026-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid20131026-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 23 users (18 upd.)*
Versions and Archs
License: DFSG free
Git

HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aims at the formalization of Tom Hales' proof of the Kepler conjecture.

Julia
high-performance programming language for technical computing
Versions of package julia
ReleaseVersionArchitectures
jessie0.3.2-1amd64,i386
sid0.3.2-1amd64,i386
upstream0.3.3
Debtags of package julia:
uitoolkitncurses
Popcon: 81 users (52 upd.)*
Newer upstream!
License: DFSG free
Git

Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, mostly written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, FFTs, and string processing. Julia programs are organized around defining functions, and overloading them for different combinations of argument types (which can also be user-defined).

This package provides a complete Julia installation (JIT compiler, standard library, text-based user interface).

Kseg
Sketchpad for planar Euclidean geometry
Versions of package kseg
ReleaseVersionArchitectures
squeeze0.4.0.3-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
upstreamlatest
Debtags of package kseg:
fieldmathematics
interfacex11
roleprogram
uitoolkitqt
useviewing, learning
x11application
Popcon: 11 users (1 upd.)*
Newer upstream!
License: DFSG free

KSEG allows you to interactively create a geometrical construction, similar to what you can do with a straight edge and compass. Points may be inserted on the page with right mouse-button clicks, and then used to form segments, lines, circles, or other geometrical objects. At any time you can drag existing points around, and watch how the constructed objects respond.

Screenshots of package kseg
Lcalc
program for calculating with L-functions
Versions of package lcalc
ReleaseVersionArchitectures
squeeze0.0.20080205-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.0.20080205-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.23+dfsg-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.23+dfsg-3amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package lcalc:
roleprogram
Popcon: 6 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

lcalc is a program for computing zeros and values of L-functions. Supported L-functions include the Riemann zeta function, the L-function of the Ramanujan delta function, and L-functions of elliptic curves defined over the rationals.

Libmatheval1
GNU library for evaluating symbolic mathematical expressions (runtime)
Versions of package libmatheval1
ReleaseVersionArchitectures
squeeze1.1.7-1+nmu1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.1.8-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.1.11+dfsg-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.1.11+dfsg-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package libmatheval1:
devellibrary, lang:c
fieldmathematics
roleshared-lib, devel-lib
suitegnu
Popcon: 8 users (28 upd.)*
Versions and Archs
License: DFSG free
Git

GNU libmatheval is a library comprising of several procedures that make it possible to create an in-memory tree representation of mathematical functions over single or multiple variables and later use this representation to evaluate functions for specified variable values, to create corresponding trees for function derivatives over specified variables or to print textual representations of in-memory trees to a 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 library.

Lp-solve
Solve (mixed integer) linear programming problems
Versions of package lp-solve
ReleaseVersionArchitectures
squeeze5.5.0.13-7amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.5.0.13-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie5.5.0.13-7amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid5.5.0.13-7amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package lp-solve:
fieldmathematics
roleprogram
scopeapplication
Popcon: 4351 users (15637 upd.)*
Versions and Archs
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/

Lrcalc
programs for calculating Littlewood-Richardson coefficients
Versions of package lrcalc
ReleaseVersionArchitectures
jessie1.2-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.2-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 1 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

The "Littlewood-Richardson Calculator" is a package of C programs for computing Littlewood-Richardson coefficients, providing fast calculation of single LR coefficients, products of Schur functions, and skew Schur functions. Its interface uses the same notation as the SF package of John Stembridge, to make it easier to use both packages at the same time.

This package contains the command-line programs.

Lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
Maintainer: David Bremner
Versions of package lrslib
ReleaseVersionArchitectures
squeeze0.42c-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.42c-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.43-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.43-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package lrslib:
roleprogram
Popcon: 31 users (18 upd.)*
Versions and Archs
License: DFSG free
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.

Magnus
Computational group theory software with GUI
Maintainer: Ben Burton (Richard Darst)
Versions of package magnus
ReleaseVersionArchitectures
squeeze20060324-5.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Popcon: 7 users (0 upd.)*
Versions and Archs
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: George Gesslein II
Versions of package mathomatic
ReleaseVersionArchitectures
squeeze15.1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy15.8.2-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie15.8.2-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid15.8.2-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
experimental16.0.4-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream16.0.5
Debtags of package mathomatic:
fieldmathematics
interfacetext-mode
roleprogram
scopeapplication
uitoolkitncurses
uselearning, calculating
Popcon: 71 users (25 upd.)*
Newer upstream!
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 simple calculus transformations and series,
  • do standard, complex number, modular, and polynomial arithmetic,
  • generate optimized C, Java, and Python language code from simplified equations,
  • plot expressions with gnuplot in two or three dimensions,
  • do quick calculations, colorize expressions, etc.
Matita
interactive theorem prover
Versions of package matita
ReleaseVersionArchitectures
squeeze0.5.8-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.99.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.99.1-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.99.1-3amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package matita:
fieldmathematics
interfacex11, commandline
roleprogram
uitoolkitgtk
usechecking
x11application
Popcon: 25 users (19 upd.)*
Versions and Archs
License: DFSG free
Git

Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.

Screenshots of package matita
Mcl
Markov Cluster algorithm
Versions of package mcl
ReleaseVersionArchitectures
squeeze10-148-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy12-068-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie14-137-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid14-137-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package mcl:
fieldmathematics
roleprogram
Popcon: 30 users (19 upd.)*
Versions and Archs
License: DFSG free
Svn

The MCL package is an implementation of the MCL algorithm, and offers utilities for manipulating sparse matrices (the essential data structure in the MCL algorithm) and conducting cluster experiments.

MCL is currently being used in sciences like biology (protein family detection, genomics), computer science (node clustering in Peer-to-Peer networks), and linguistics (text analysis).

The package is enhanced by the following packages: zoem
Please cite: Stijn van Dongen and Cei Abreu-Goodger: Using MCL to extract clusters from networks. (PubMed,eprint) Methods Mol Biol. 804:281-95 (2012)
Minisat
Fast and lightweight SAT solver
Maintainer: Michael Tautschnig
Versions of package minisat
ReleaseVersionArchitectures
wheezy2.2.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.2.1-5amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2.2.1-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package minisat:
fieldmathematics
roleprogram
Popcon: 32 users (20 upd.)*
Versions and Archs
License: DFSG free
Git

Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.

Mumps-test
Example/test binaries using MUMPS
Versions of package mumps-test
ReleaseVersionArchitectures
squeeze4.9.2.dfsg-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy4.10.0.dfsg-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie4.10.0.dfsg-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid4.10.0.dfsg-3amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 19 users (19 upd.)*
Versions and Archs
License: DFSG free
Git

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
squeeze4.9.12.dfsg-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid4.9.13.dfsg-8amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390x,sparc
upstream5.3.1
Debtags of package netgen:
roleprogram
Popcon: 24 users (9 upd.)*
Newer upstream!
License: DFSG free
Git

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
Versions of package octave
ReleaseVersionArchitectures
wheezy3.6.2-5+deb7u1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.8.2-4amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid3.8.2-4amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package octave:
fieldmathematics
roleprogram
suitegnu
Popcon: 892 users (988 upd.)*
Versions and Archs
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 can be dynamically extended with user-supplied C++ files.

The package is enhanced by the following packages: texmacs
Screenshots of package octave
Palp
Package for Analyzing Lattice Polytopes
Versions of package palp
ReleaseVersionArchitectures
squeeze1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.1-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.1-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2.1-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package palp:
roleprogram
useanalysing
Popcon: 3 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains various tools to work with lattice polytopes:

  • mori.x computes star triangulations of a polytope
  • cws.x creates weight systems and combined weight systems
  • class.x classifies reflexive polytopes
  • poly.x computes data of a polytope
  • nef.x computes Hodge numbers of nef-partitions
Please cite: Maximilian Kreuzer and Harald Skarke: PALP: A Package for Analyzing Lattice Polytopes with Applications to Toric Geometry. Computer Physics Communications 157:87-106 (2004)
Pari-extra
PARI/GP Computer Algebra System extra data files
Maintainer: Bill Allombert
Versions of package pari-extra
ReleaseVersionArchitectures
squeeze2.1-1all
wheezy3-1all
Debtags of package pari-extra:
fieldmathematics
roledocumentation, app-data
Popcon: 0 users (0 upd.)*
Versions and Archs
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 is a dummy package which depends on

 pari-galdata: the Galois resolvants for the polgalois function.
 pari-elldata: the elliptic curves database for the ellsearch function.
 pari-seadata: the modular polynomials for the ellap function.
It can be safely removed after the upgrade.
Pari-gp
PARI/GP Computer Algebra System binaries
Maintainer: Bill Allombert
Versions of package pari-gp
ReleaseVersionArchitectures
squeeze2.3.5-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy2.5.1-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.7.2-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2.7.2-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package pari-gp:
fieldmathematics
roledocumentation
uitoolkitncurses
Popcon: 91 users (28 upd.)*
Versions and Archs
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
Polybori
polynomials over Boolean Rings, custom ipython shell
Versions of package polybori
ReleaseVersionArchitectures
jessie0.8.3-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.8.3-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 15 users (35 upd.)*
Versions and Archs
License: DFSG free
Git

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.

This package contains the PolyBoRi's shell ipbori.

Polybori-gui
polynomials over Boolean Rings, GUI
Versions of package polybori-gui
ReleaseVersionArchitectures
jessie0.8.3-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.8.3-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 14 users (35 upd.)*
Versions and Archs
License: DFSG free
Git

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.

This package contains the PolyBoRi's PolyGUI.

Polylib-utils
Various tools using libpolylib
Versions of package polylib-utils
ReleaseVersionArchitectures
squeeze5.22.5-1+dfsgamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.22.5-3+dfsgamd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie5.22.5-3+dfsgamd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid5.22.5-3+dfsgamd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package polylib-utils:
roleprogram
Popcon: 28 users (16 upd.)*
Versions and Archs
License: DFSG free
Svn

Polylib is a free C library for doing computations on polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and other intermediary structures. It provides functions for all important operations on these structures.

This package contains various utilities to perform polyhedral operations.

Proofgeneral
generic frontend for proof assistants
Maintainer: Hendrik Tews (intrigeri)
Versions of package proofgeneral
ReleaseVersionArchitectures
squeeze3.7-4all
wheezy4.2~pre120605-2all
jessie4.3~pre131011-0.2all
sid4.3~pre131011-0.2all
Debtags of package proofgeneral:
fieldmathematics
interfacex11, text-mode
roleplugin
suiteemacs
useediting
Popcon: 37 users (126 upd.)*
Versions and Archs
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.

This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)

Screenshots of package proofgeneral
Proofgeneral-coq
generic interface for proof assistants - coq support
Versions of package proofgeneral-coq
ReleaseVersionArchitectures
squeeze3.7-4all
Debtags of package proofgeneral-coq:
fieldmathematics
interfacecommandline
roleplugin
suiteemacs
usechecking
Popcon: 5 users (0 upd.)*
Versions and Archs
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.

Prover9
theorem prover and countermodel generator
Versions of package prover9
ReleaseVersionArchitectures
squeeze0.0.200902a-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.0.200902a-2.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.0.200911a-2.1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.0.200911a-2.1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 31 users (40 upd.)*
Versions and Archs
License: DFSG free
Bzr

This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator.

Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection.

The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture.

Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9.

Python-deap
Distributed Evolutionary Algorithms in Python
Maintainer: Daniel Stender
Versions of package python-deap
ReleaseVersionArchitectures
wheezy0.7.1-1all
jessie1.0.1-3+deb8u1all
sid1.0.1-3+deb8u1all
Popcon: 19 users (60 upd.)*
Versions and Archs
License: DFSG free
Svn

DEAP is a novel evolutionary computation framework for rapid prototyping and testing of ideas. It seeks to make algorithms explicit and data structures transparent. It works in perfect harmony with parallelisation mechanism such as multiprocessing and SCOOP.

This package contains the modules for Python.

Python-ffc
compiler for finite element variational forms
Versions of package python-ffc
ReleaseVersionArchitectures
squeeze0.9.3-1all
wheezy1.0.0-1all
jessie1.4.0-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.4.0-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package python-ffc:
devellibrary, lang:python
fieldmathematics
roleprogram, devel-lib
Popcon: 31 users (21 upd.)*
Versions and Archs
License: DFSG free
Svn

The FEniCS Form Compiler FFC provides state-of-the-art automatic and efficient evaluation of general multilinear forms (variational formulations) for FEniCS. FFC functions as the form evaluation system for DOLFIN but can also be used to compile forms for other systems.

FFC works as a compiler for multilinear forms by generating code (C or C++) for the evaluation of a multilinear form given in mathematical notation. This new approach to form evaluation makes it possible to combine generality with efficiency; the form can be given in mathematical notation and the generated code is as efficient as hand-optimized code.

Python-minieigen
Small boost::python wrapper of parts of the Eigen library
Versions of package python-minieigen
ReleaseVersionArchitectures
jessie0.41~dfsg~bzr51-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.41~dfsg~bzr51-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 12 users (36 upd.)*
Versions and Archs
License: DFSG free
Git

Small wrapper for core parts of Eigen, c++ library for linear algebra. It is mainly useful for inspecting c++ code which already uses eigen and boost::python. Supported types are Vectors (2,3,6 and dynamic-sized with integer and floating-point values), Matrices (3x3, 6x6 and dynamic-sized with floating-point values) and Quaternions. Numerous methods are wrapped and the original API of Eigen is followed.

Python-openturns
Python front-end of OpenTURNS (aka TUI)
Versions of package python-openturns
ReleaseVersionArchitectures
squeeze0.13.2-8amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.0-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid1.3-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,powerpc,ppc64el,s390x,sparc
jessie1.3-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,powerpc,ppc64el,s390x
jessie-proposed-updates1.3-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,powerpc,ppc64el,s390x
experimental1.4-3amd64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,powerpc,ppc64el,s390x,sparc
Popcon: 34 users (80 upd.)*
Versions and Archs
License: DFSG free
Git

OpenTURNS is a powerful and generic tool to treat and quantify uncertainties in numerical simulations in design, optimization and control. It allows both sensitivity and reliability analysis studies:

  • defining the outputs of interest and decision criterion;
  • quantify and model the source of uncertainties;
  • propagate uncertainties and/or analyse sensitivity and
  • rank the sources of uncertainty

OpenTURNS is a large project with more than 300 C++ classes which uses well known and supported software such as R for the statistical methods and BLAS/LAPACK for the linear algebra.

This package provides a textual user interface that gives access to all the functionalities provided by the OpenTURNS library.

Qhull-bin
calculate convex hulls and related structures (utilities)
Versions of package qhull-bin
ReleaseVersionArchitectures
squeeze2009.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy2009.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2012.1-5amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2012.1-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package qhull-bin:
fieldmathematics
roleprogram
scopeutility
Popcon: 458 users (363 upd.)*
Versions and Archs
License: DFSG free
Git

Qhull computes convex hulls, Delaunay triangulations, halfspace intersections about a point, Voronoi diagrams, furthest-site Delaunay triangulations, and furthest-site Voronoi diagrams. It runs in 2-d, 3-d, 4-d, and higher dimensions.

This package contains the qhull executable that gives a pipe interface to some of the functionality of the library. Also included is rbox is a useful tool in generating input for Qhull; it generates hypercubes, diamonds, cones, circles, simplices, spirals, lattices, and random points.

Qhull produces graphical output for Geomview. This helps with understanding the output (http://www.geomview.org).

Qtoctave
Qt front-end to Octave
Versions of package qtoctave
ReleaseVersionArchitectures
squeeze0.9.2+svn255-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.10.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.10.1-4amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.10.1-4amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package qtoctave:
fieldmathematics
interfacex11
roleprogram
uitoolkitqt
x11application
Popcon: 167 users (64 upd.)*
Versions and Archs
License: DFSG free
Git

Besides offering an attractive front-end to GNU Octave, an environment for numerical computation highly compatible with MATLAB, QtOctave currently also features matrix data entry and display and some GUI shortcuts to frequently used Octave functions. It also offers access in place to Octave's documentation with octave-htmldoc or octave-info.

Screenshots of package qtoctave
Regina-normal
software for 3-manifold topology and normal surfaces
Maintainer: Ben Burton
Versions of package regina-normal
ReleaseVersionArchitectures
squeeze4.6-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy4.93-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie4.96-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid4.96-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package regina-normal:
fieldmathematics
interfacex11, commandline
roleprogram
scopeutility
suitekde
uitoolkitqt
x11application
Popcon: 35 users (64 upd.)*
Versions and Archs
License: DFSG free

Regina is a suite of mathematical software for 3-manifold topologists. It focuses on the study of 3-manifold triangulations and normal surfaces.

Other highlights of Regina include angle structures, census enumeration, combinatorial recognition of triangulations, and high-level tasks such as 3-sphere recognition and connected sum decomposition. Regina comes with a full graphical user interface, and also offers Python bindings and a low-level C++ programming interface.

This package includes the graphical user interface and the command-line Python interface. The users' handbook and the API documentation are in the separate package regina-normal-doc, and the MPI-enabled utilities for high-performance clusters are in the separate package regina-normal-mpi.

Rheolef
efficient Finite Element environment
Versions of package rheolef
ReleaseVersionArchitectures
wheezy6.1-2.1amd64,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie6.5-1amd64,arm64,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid6.5-1amd64,arm64,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package rheolef:
fieldmathematics
roleprogram
Popcon: 23 users (19 upd.)*
Versions and Archs
License: DFSG free
Svn

Rheolef is a computer environment that serves as a convenient laboratory for computations in applied mathematics involving finite element-like methods. It provides a set of commands and C++ algorithms and containers.

Most basically, containers cover the classic graph data structure for sparse matrix formats and finite element meshes. At a higher level of abstraction, they can handle approximate finite element spaces, discrete fields. Flexible and powerful expressions are used to specify bilinear forms.

Current applications include:

  • massively distributed memory finite element environment, based on MPI;
  • Poisson problems in d=1,2 and 3 dimension with high order Lagrange elements, up to fifth order;
  • linear elasticity, including incompressible and nearly incompressible elasticity;
  • Stokes problems in d=2 or 3 dimension, with P2-P1 or P1 bubble-P1 elements;
  • characteristic method for convection-diffusion, time-dependent problems and Navier-Stokes equations;
  • nonlinear problems with either fixed-point algorithms or a provided generic damped Newton solver;
  • auto-adaptive mesh approaches;
  • axisymmetric problems;
  • multi-regions and variable coefficient problems.

This package provides the rheolef commands. These support input and output in various file formats for mesh-generators and numerical data visualization systems such as MayaVi, Paraview, and gnuplot.

Screenshots of package rheolef
Sagemath-database-conway-polynomials
Database of Conway polynomials
Versions of package sagemath-database-conway-polynomials
ReleaseVersionArchitectures
jessie0.4.p0+dfsg-1all
sid0.4.p0+dfsg-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a small database of Conway polynomials.

It is part of the sagemath software suite.

Sagemath-database-elliptic-curves
Databases for elliptic curves
Versions of package sagemath-database-elliptic-curves
ReleaseVersionArchitectures
jessie0.7+dfsg-1all
sid0.7+dfsg-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains in fact two databases: - the subset of John Cremona's database of elliptic curves up to conductor at most 10000 - William Stein's database of interesting elliptic curves

It is part of the sagemath software suite.

Sagemath-database-graphs
Databases of graphs
Versions of package sagemath-database-graphs
ReleaseVersionArchitectures
jessie20120404.p4+dfsg-1all
sid20120404.p4+dfsg-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a database of graphs, created by Emily Kirkman based on the work of Jason Grout. It also contains the ISGCI graph database.

It is part of the sagemath software suite.

Sagemath-database-polytopes
Databases of polytopes
Versions of package sagemath-database-polytopes
ReleaseVersionArchitectures
jessie20120220+dfsg-1all
sid20120220+dfsg-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a database of 2-dimension and of 3-dimensional reflexive polytopes.

It is part of the sagemath software suite.

Science-statistics
Debian Science Statistics packages
Versions of package science-statistics
ReleaseVersionArchitectures
squeeze0.12all
wheezy1.0all
jessie1.3all
sid1.3all
Debtags of package science-statistics:
rolemetapackage
suitedebian
Popcon: 37 users (55 upd.)*
Versions and Archs
License: DFSG free
Git

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
squeeze5.2.2-9all
wheezy5.3.3-10all
sid5.5.0~beta-1~git~20131216-1627-1all
jessie5.5.1-4all
sid5.5.1-4all
Debtags of package scilab:
fieldstatistics, physics, mathematics, electronics
interfacex11
roleprogram
scopeutility
uitoolkittk
uselearning, analysing
works-withimage
x11application
Popcon: 231 users (315 upd.)*
Versions and Archs
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, ...

This package also provides Xcos, a graphical editor to design hybrid dynamical systems models. Models can be designed, loaded, saved, compiled and simulated. Stable and efficient solution for industrial and academics needs, Xcos provides functionalities for modeling of mechanical systems (automotive, aeronautics...), hydraulic circuits (dam, pipe modeling...), control systems, etc. Modelica capabilities are also provided.

For a minimum version of scilab, install package "scilab-cli".

Scilab-ann
Scilab module for artificial neural networks
Versions of package scilab-ann
ReleaseVersionArchitectures
squeeze0.4.2.3-3all
wheezy0.4.2.4-1all
jessie0.4.2.4-1all
sid0.4.2.4-1all
Debtags of package scilab-ann:
devellibrary
roleshared-lib, devel-lib
Popcon: 19 users (31 upd.)*
Versions and Archs
License: DFSG free
Svn

This module implements artificial neural networks capabilities into the Scilab language. Current features are:

  • 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
squeeze0.41-2all
wheezy0.42-1all
jessie0.42-1all
sid0.42-1all
Popcon: 10 users (26 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
squeeze2.1.1-1amd64,armel,i386,ia64,mipsel,powerpc,s390,sparc
Popcon: 7 users (1 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.2-2powerpc,sparc
sid0.5.3+svn287-2.1amd64,armel,armhf,i386,mips,mipsel
upstream0.5.3.2-1
Popcon: 10 users (4 upd.)*
Newer upstream!
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. Its goals include tasks such as filtering, blurring, edge detection, thresholding, histogram manipulation, segmentation, mathematical morphology, and color image processing.

This package also provides some functions on video processing.

Scotch
programs and libraries for graph, mesh and hypergraph partitioning
Versions of package scotch
ReleaseVersionArchitectures
squeeze5.1.8a.dfsg-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.1.12b.dfsg-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie5.1.12b.dfsg-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid5.1.12b.dfsg-2amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream6.0.3
Debtags of package scotch:
roleprogram
Popcon: 37 users (27 upd.)*
Newer upstream!
License: DFSG free
Git

Its purpose is to apply graph theory, with a divide and conquer approach, to scientific computing problems such as graph and mesh partitioning, static mapping, and sparse matrix ordering, in application domains ranging from structural mechanics to operating systems or bio-chemistry.

The SCOTCH distribution is a set of programs and libraries which implement the static mapping and sparse matrix reordering algorithms developed within the SCOTCH project.

SCOTCH has many interesting features:

  • Its capabilities can be used through a set of stand-alone programs as well as through the libSCOTCH library, which offers both C and Fortran interfaces.

  • It provides algorithms to partition graph structures, as well as mesh structures defined as node-element bipartite graphs and which can also represent hypergraphs.

  • It can map any weighted source graph onto any weighted target graph. The source and target graphs may have any topology, and their vertices and edges may be weighted. Moreover, both source and target graphs may be disconnected. This feature allows for the mapping of programs onto disconnected subparts of a parallel architecture made up of heterogeneous processors and communication links.

  • It computes amalgamated block orderings of sparse matrices, for efficient solving using BLAS routines.

  • Its running time is linear in the number of edges of the source graph, and logarithmic in the number of vertices of the target graph for mapping computations.

  • It can handle indifferently graph and mesh data structures created within C or Fortran programs, with array indices starting from 0 or 1.

  • It offers extended support for adaptive graphs and meshes through the handling of disjoint edge arrays.

  • It is dynamically parametrizable thanks to strategy strings that are interpreted at run-time.

  • It uses system memory efficiently, to process large graphs and meshes without incurring out-of-memory faults;

  • It is highly modular and documented. Since it has been released under the CeCILL-C free/libre software license, it can be used as a testbed for the easy and quick development and testing of new partitioning and ordering methods.

  • It can be easily interfaced to other programs. The programs comprising the SCOTCH project have been designed to run in command-line mode without any interactive prompting, so that they can be called easily from other programs by means of system() or popen() calls, or piped together on a single command line. Moreover, vertex labeling capabilities allow for easy renumbering of vertices.

  • It provides many tools to build, check, and display graphs, meshes and matrix patterns.

  • It is written in C and uses the POSIX interface, which makes it highly portable. PT-SCOTCH uses the MPI interface, and optionally the POSIX threads.

Screenshots of package scotch
Sfc
SyFi Form Compiler
Versions of package sfc
ReleaseVersionArchitectures
wheezy1.0.0.dfsg-1all
jessie1.0.0.dfsg-1.2all
sid1.0.0.dfsg-1.2all
Popcon: 16 users (14 upd.)*
Versions and Archs
License: DFSG free
Svn

The SyFi Form Compiler (SFC) is a form compiler from the FEniCS project, compiling variational forms from the Unified Form Language (UFL) to efficient C++ implementations of Unified Form-assembly Code (UFC). SFC uses symbolic expressions for finite elements from SyFi.

Screenshots of package sfc
Snappea
program for creating and studying hyperbolic 3-manifolds
Versions of package snappea
ReleaseVersionArchitectures
squeeze3.0d3-20.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy3.0d3-22amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.0d3-23amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid3.0d3-23amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package snappea:
devellang:python
fieldmathematics
interfacex11
uitoolkittk
x11application
Popcon: 25 users (20 upd.)*
Versions and Archs
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.

Screenshots of package snappea
Sympow
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
Versions of package sympow
ReleaseVersionArchitectures
squeeze1.019-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.019-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.019-4amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.023-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package sympow:
roleprogram
Popcon: 5 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

SYMPOW is a mathematical program to compute special values of symmetric power elliptic curve L-functions; it can compute up to about 64 digits of precision.

This package provides the SYMPOW program itself.

Tachyon
Parallel/Multiprocessor Ray Tracing Software
Versions of package tachyon
ReleaseVersionArchitectures
squeeze0.98~beta.dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.99~b2+dfsg-0.4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.99~b2+dfsg-0.4amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid0.99~b2+dfsg-0.4amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package tachyon:
roleprogram
works-with3dmodel
Popcon: 10 users (4 upd.)*
Versions and Archs
License: DFSG free

Tachyon is a portable, high performance parallel ray tracing system supporting MPI and multithreaded implementations. Tachyon is built as a C callable library, which can be used with the included demo programs or within your own application. The distribution also includes a simple scene file parser front-end which reads a few different formats.

Tachyon implements all of the basic geometric primitives such as triangles, planes, spheres, cylinders, etc. Some of the goals in developing Tachyon were to make it fast and for it to parallelize well. These are what set it apart from more full-featured programs like POV-Ray, Rayshade, and others. Tachyon supports enough features to be an excellent alternative to slower programs for demanding animation and scientific visualization tasks. As time goes on, Tachyon will indeed incorporate more features, but with a continued emphasis on rendering performance.

Tetgen
Quality Tetrahedral Mesh Generator
Versions of package tetgen
ReleaseVersionArchitectures
squeeze1.4.2-3 (non-free)i386
wheezy1.4.3-1 (non-free)amd64,i386
jessie1.5.0-3amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.5.0-3amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package tetgen:
roleprogram
Popcon: 24 users (12 upd.)*
Versions and Archs
License: DFSG free
Git

TetGen generates the Delaunay tetrahedralization, Voronoi diagram, and convex hull for three-dimensional point sets, generates the constrained Delaunay tetrahedralizations and quality tetrahedral meshes for three-dimensional domains with piecewise linear boundary.

Wxmaxima
GUI for the computer algebra system Maxima
Versions of package wxmaxima
ReleaseVersionArchitectures
squeeze0.8.5-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy12.04.0-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie13.04.2-4amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid13.04.2-4amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package wxmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitwxwidgets
x11application
Popcon: 308 users (264 upd.)*
Versions and Archs
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
Computer algebra system -- x interface
Maintainer: Camm Maguire
Versions of package xmaxima
ReleaseVersionArchitectures
squeeze5.21.1-2squeezeamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.27.0-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid5.31.3-4hurd-i386
jessie5.34.1-2amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid5.35.1-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package xmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkittk
x11application
Popcon: 103 users (129 upd.)*
Versions and Archs
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.

Screenshots of package xmaxima
Xmds
eXtensible Multi-Dimensional Simulator
Versions of package xmds
ReleaseVersionArchitectures
squeeze1.6.6-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.6.6-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.6.6-7amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.6.6-7amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
upstream2.2.2.rc1
Debtags of package xmds:
roleprogram
Popcon: 33 users (14 upd.)*
Newer upstream!
License: DFSG free
Svn

XMDS is a code generator that integrates equations, from Ordinary Differential Equations (ODEs) up to stochastic Partial Differential Equations (PDEs). You write them down in human readable form in an XML file, and it goes away and writes and compiles a C++ program that integrates those equations as fast as it can possibly be done in your architecture.

Screenshots of package xmds
Xmds2
eXtensible Multi-Dimensional Simulator
Versions of package xmds2
ReleaseVersionArchitectures
jessie2.2.2+dfsg-1all
sid2.2.2+dfsg-1all
Popcon: 10 users (18 upd.)*
Versions and Archs
License: DFSG free
Git

XMDS is a code generator that integrates equations, from Ordinary Differential Equations (ODEs) up to stochastic Partial Differential Equations (PDEs). You write them down in human readable form in an XML file, and it goes away and writes and compiles a C++ program that integrates those equations as fast as it can possibly be done in your architecture.

XMDS 2 is a major upgrade rewritten in Python which is faster and far more versatile than previous versions, allowing the efficient integration of almost any initial value problem on regular domains.

Official Debian packages with lower relevance

Ann-tools
Approximate Nearest Neighbor Searching library (tools)
Versions of package ann-tools
ReleaseVersionArchitectures
squeeze1.1.1+doc-2.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.1.2+doc-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.1.2+doc-5amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.1.2+doc-5amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package ann-tools:
roleprogram
Popcon: 4 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

ANN is a library written in C++, which supports data structures and algorithms for both exact and approximate nearest neighbor searching in arbitrarily high dimensions. ANN assumes that distances are measured using any class of distance functions called Minkowski metrics. These include the well known Euclidean distance, Manhattan distance, and max distance. ANN performs quite efficiently for point sets ranging in size from thousands to hundreds of thousands, and in dimensions as high as 20.

This package contains the ann2fig (display ANN output in fig format) and the ann_sample (a sample demonstration for ANN) programs.

Cliquer
clique searching program
Versions of package cliquer
ReleaseVersionArchitectures
wheezy1.21-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.21-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid1.21-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package cliquer:
roleprogram
usesearching
Popcon: 0 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

Cliquer search for cliques in arbitrary weighted and unweighted graphs. It can search for maximal cliques, maximal-weighted cliques or cliques within a given size range.

Gap-gapdoc
GAPDoc meta package for GAP documentation
Maintainer: Bill Allombert
Versions of package gap-gapdoc
ReleaseVersionArchitectures
jessie1.5.1-1all
sid1.5.1-1all
Popcon: 27 users (10 upd.)*
Versions and Archs
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 package contains GAPDoc, "A Meta Package for GAP Documentation", by Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation.

Gap-online-help
GAP computer algebra system, online help
Maintainer: Bill Allombert
Versions of package gap-online-help
ReleaseVersionArchitectures
squeeze4r4p12-2all
wheezy4r4p12-2all
jessie4r7p5-1all
sid4r7p5-2all
upstream4r7p6
Debtags of package gap-online-help:
fieldmathematics
made-oftex
roledocumentation
Popcon: 0 users (1 upd.)*
Newer upstream!
License: DFSG free

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

This package contains the documentation in TeX format needed for the online help system.

Netgen-doc
Automatic 3d tetrahedral mesh generator documentation
Versions of package netgen-doc
ReleaseVersionArchitectures
squeeze4.9.12.dfsg-3all
sid4.9.13.dfsg-8all
upstream5.3.1
Debtags of package netgen-doc:
roledocumentation
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

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.

R-cran-evd
GNU R Functions for extreme value distributions
Versions of package r-cran-evd
ReleaseVersionArchitectures
squeeze2.2-4-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy2.2-4-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.3-0-1amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2.3-0-1amd64,arm64,armel,armhf,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Popcon: 40 users (10 upd.)*
Versions and Archs
License: DFSG free
Svn

Extends simulation, distribution, quantile and density functions to univariate and multivariate parametric extreme value distributions, and provides fitting functions which calculate maximum likelihood estimates for univariate and bivariate maxima models, and for univariate and bivariate threshold models.

Please cite: Alec G. Stephenson: evd: Extreme Value Distributions. R News 2(2):31-32 (2002)

Debian packages in contrib or non-free

Matlab-support
distro integration for local MATLAB installations
Versions of package matlab-support
ReleaseVersionArchitectures
wheezy0.0.18 (contrib)all
jessie0.0.19+nmu1 (contrib)all
sid0.0.19+nmu1 (contrib)all
Popcon: 11 users (18 upd.)*
Versions and Archs
License: DFSG free, but needs non-free components
Git

This package does not provide MATLAB. Instead, it configures an existing MATLAB installation to integrate more comfortably in a Debian installation.

Currently it provides /usr/bin/matlab through the alternatives system, offers to work around incompatibilities between the libraries bundled with MATLAB and system libraries, and provides a helper utility meant to be used by other packages to compile MEX extensions.

Install this if you would like your MATLAB installation to behave more like an ordinary Debian package. Other packages may depend on this one if they install MATLAB code, for example in order to compile MEX extensions.

Nauty
library for graph automorphisms -- interface and tools
Versions of package nauty
ReleaseVersionArchitectures
squeeze2.4-2 (non-free)amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
wheezy2.4r2-1 (non-free)amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.5r9+ds-1 (non-free)amd64,arm64,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x
sid2.5r9+ds-1 (non-free)amd64,arm64,hurd-i386,i386,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,ppc64el,s390x,sparc
Debtags of package nauty:
interfacecommandline
roleprogram
Popcon: 18 users (6 upd.)*
Versions and Archs
License: non-free
Git

nauty (No AUTomorphisms, Yes?) is a set of procedures for computing automorphism groups of graphs and digraphs. This mathematical software suite is developed by Brendan McKay and Adolfo Piperno: http://pallini.di.uniroma1.it

nauty computes graph information in the form of a set of generators, the size of the group, and the orbits of the group; it can also produce a canonical label. The nauty suite is written in C and comes with a command-line interface, a collection of command-line tools, and an Application Programming Interface (API).

This package provides the nauty interface named dreadnaut, and a small collection of utilities called gtools.

Packaging has started and developers might try the packaging code in VCS

Eprover
Theorem prover for first-order logic with equality
License: free
Git
Version: 1.0.004-2

E is a fully automatic theorem prover for full first-order logic with equality. It accepts a mathematical specification and, optionally, a hypothesis, and tries to prove the hypothesis and/or find a saturation representing a (counter-)model for the specification.

E is based on a purely equational problem representation and implements a variant of the superposition calculus. Proof search can be guided with a multitude of options or a powerful automatic configuration mode. The system can process input in a number of different formats, including the standard TPTP-2 and TPTP-3 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP format.

E is considered one of the most powerful and friendly automated theorem provers for first-order logic. It has consistently been among the top system in the major categories of the CASC system competition, and usually been the strongest free software system.

Remark of Debian Science team: Removed from Debian

This package was removed from Debian but some versions are available from http://snapshot.debian.org/

Reasons are given here: http://bugs.debian.org/651971

Isabelle
generic theorem proving environment
License: free
Debian package not available
Git
Version: 2008-4

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-Löf 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.

This package contains the isabelle toolchain.

Remark of Debian Science team: upstream prefers Isabelle not being packaged

There is an alternative software coq which is packaged in Debian (see above).

Sagemath
Mathematics software written in Python
License: free
Git
Version: 3.0.5dfsg-5.1

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.

Remark of Debian Science team: Removed from Debian

This package was removed from Debian for the reasons given here: http://bugs.debian.org/573538

We are working on including Sage in Debian once again and looking for help, see https://wiki.debian.org/DebianScience/Sage

Scilab-swt
Scilab Wavelet and signal processing toolbox
License: free
Debian package not available
Svn
Version: 0.1.0rc4-5

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

Unofficial packages built by somebody else

Octaviz
3D visualization system for Octave
License: unknown

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.

Remark of Debian Science team: Removed from Debian

This package was removed from Debian but some versions are available from http://snapshot.debian.org/

Reasons are given here: http://bugs.debian.org/535537

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