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 educationmathematics
metapackage.
Description
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
4ti2
mathematical tool suite for problems on linear spaces  tools

Versions of package 4ti2 
Release  Version  Architectures 
stretch  1.6.7+ds2  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.6.7+ds2  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
14 users (28 upd.) ^{*}

License: DFSG free

4ti2 is a mathematical software package for algebraic, geometric
and combinatorial problems on linear spaces.
This package provides the 4ti2 tool suite.


Agda
dependently typed functional programming language

Versions of package agda 
Release  Version  Architectures 
wheezy  2.3.0.12  all 
jessie  2.4.0.22  all 
stretch  2.5.1.13  all 
sid  2.5.1.13  all 
upstream  2.5.2 
Debtags of package agda: 
role  metapackage 

License: DFSG free

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
MartinLö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.


Auto07p
software for continuation and bifurcation problems in ODE

Versions of package auto07p 
Release  Version  Architectures 
jessie  0.9.1+dfsg1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.9.1+dfsg3  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.9.1+dfsg3  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

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

Versions of package axiom 
Release  Version  Architectures 
squeeze  201007011.1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,powerpc,s390,sparc 
wheezy  201205011  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  201408016  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
sid  2014080111  hurdi386,kfreebsdamd64,kfreebsdi386 
stretch  2014080112  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2014080112  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package axiom: 
devel  compiler, interpreter 
field  mathematics 
interface  textmode 
role  program 
scope  utility 
Popcon:
51 users (26 upd.) ^{*}

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 builtin 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


Bliss
tool to compute graph automorphisms and labelings  bin

Versions of package bliss 
Release  Version  Architectures 
wheezy  0.724  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.725  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.731  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.731  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package bliss: 
interface  commandline 
role  program 
Popcon:
26 users (18 upd.) ^{*}

License: DFSG free

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.


Coinorcbc
Coinor branchandcut mixed integer programming solver

Versions of package coinorcbc 
Release  Version  Architectures 
jessie  2.8.121  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2.8.121  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.8.121  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  2.9.8 

License: DFSG free

Cbc (Coinor branch and cut) is an opensource mixed integer programming
solver written in C++. It can be used as a callable library or as a
standalone executable.
This package contains cbc executable.


Coinorsymphony
COINOR solver for mixedinteger linear programs

Versions of package coinorsymphony 
Release  Version  Architectures 
jessie  5.6.11  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.6.11  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.6.11  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  5.6.16 
Popcon:
28 users (25 upd.) ^{*}

License: DFSG free

SYMPHONY is an opensource generic mixedinteger 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 multiobjective MILPs, the ability to warm start its solution procedure,
and the ability to perform basic sensitivity analyses.
SYMPHONY is part of the larger COINOR initiative (Computational Infrastructure
for Operations Research).
This package contains the symphony executable.


Coq
proof assistant for higherorder logic (toplevel and compiler)

Versions of package coq 
Release  Version  Architectures 
squeeze  8.2.pl2+dfsg1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  8.3.pl4+dfsg2  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  8.4pl4dfsg1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  8.64  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  8.64  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package coq: 
devel  compiler 
field  mathematics 
interface  commandline, textmode 
role  program 
scope  utility 
uitoolkit  ncurses 
Popcon:
151 users (50 upd.) ^{*}

License: DFSG free

Coq is a proof assistant for higherorder 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.


Eclibtools
Programs for modular symbols and elliptic curves over Q

Versions of package eclibtools 
Release  Version  Architectures 
jessie  201409211  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  201607202  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  201607202  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
experimental  201607203  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  20170122 
Popcon:
31 users (42 upd.) ^{*}

License: DFSG free

This package includes several programs to compute with elliptic curves
over Q ; most notably mwrank (for 2descent 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 
Release  Version  Architectures 
jessie  0.99.0final.11  amd64,i386,powerpc 
Popcon:
12 users (11 upd.) ^{*}

License: DFSG free

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 (GaussLobatto,
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 
Release  Version  Architectures 
wheezy  1.0.01  all 
jessie  1.4.0.1  all 
stretch  2016.2.0.1  all 
sid  2016.2.0.1  all 
Debtags of package fenics: 
field  mathematics 
role  metapackage 

License: DFSG free

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 problemsolving environment DOLFIN, the form compiler
FFC, the finite element tabulator FIAT, the justintime compiler
Instant, the code generation interface UFC, the form language UFL and
a range of additional components.


Flintqs
Program using quadratic sieve to factor integers

Versions of package flintqs 
Release  Version  Architectures 
stretch  1.01  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.01  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
12 users (63 upd.) ^{*}

License: DFSG free

This package includes William Hart's program to find prime factors of large
integers (at least forty digits).
It does so using highly optimized multipolynomial quadratic sieve.


Fpllltools
Tools to compute LLLreduction of Euclidian lattices

Versions of package fpllltools 
Release  Version  Architectures 
jessie  4.0.42  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.0.31  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.0.31  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

fpLLL is a library for computing reduced (nearly orthogonal) bases
for Euclidean lattices using the floatingpoint LLL algorithm.
fpLLL contains multiple different implementations of the
floatingpoint 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 
Release  Version  Architectures 
squeeze  3.5.84.2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  3.5.85  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  3.5.85.1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  3.5.85.1  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  3.5.85.1  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package freefem: 
devel  interpreter 
field  physics 
interface  commandline 
role  program 
scope  utility 
Popcon:
35 users (18 upd.) ^{*}

License: DFSG free

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


Freefem++
Provides the binaries of the FreeFem++ FE suite

Versions of package freefem++ 
Release  Version  Architectures 
wheezy  3.19.11  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  3.3121  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  3.47+dfsg11  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  3.47+dfsg11  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  3.51.3 
Popcon:
27 users (21 upd.) ^{*}

License: DFSG free

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
fluidstructure interactions require interpolations of data on
several meshes and their manipulation within one program. FreeFem++
includes a fast quadtreebased 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++.


Freefem3d
Language and solver for partial differential equations in 3D

Versions of package freefem3d 
Release  Version  Architectures 
squeeze  1.0pre102.1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.0pre103.1  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.0pre103.2  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,s390x 
stretch  1.0pre103.4  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.0pre103.4  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package freefem3d: 
devel  interpreter 
field  physics 
interface  commandline 
role  program 
scope  utility 
uitoolkit  qt 
workswith  3dmodel 
Popcon:
24 users (47 upd.) ^{*}

License: DFSG free

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
userfriendly language. It solves many kind of problems such as
elasticity, fluids (Stokes and NavierStokes) 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 POVRay 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 
Release  Version  Architectures 
squeeze  4.03  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  4.05  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
jessie  4.05  amd64,armel,armhf,i386,mips,mipsel,powerpc 
sid  4.2+dfsg11  hurdi386 
stretch  4.2+dfsg13  amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  4.2+dfsg13  amd64,arm64,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package freemat: 
field  mathematics 
interface  commandline, x11 
role  program 
scope  application 
uitoolkit  qt 
x11  application 
Popcon:
48 users (26 upd.) ^{*}

License: DFSG free

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.


Frobby
Computations with monomial ideals

Versions of package frobby 
Release  Version  Architectures 
stretch  0.9.02  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.9.02  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

Frobby is a software system and project for computations with monomial ideals.
Frobby is free software and it is intended as a vehicle for computational and
mathematical research on monomial ideals.


Gap
computer algebra system for Groups, Algorithms and Programming

Versions of package gap 
Release  Version  Architectures 
squeeze  4r4p122  all 
wheezy  4r4p122  all 
jessie  4r7p52  all 
stretch  4r8p62  all 
sid  4r8p62  all 
Debtags of package gap: 
field  mathematics 
role  metapackage 
Popcon:
11 users (55 upd.) ^{*}

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.


Gapcharactertables
GAP Library of character tables

Versions of package gapcharactertables 
Release  Version  Architectures 
squeeze  1r1p35  all 
wheezy  1r1p35  all 
jessie  1r2p2.dfsg.02  all 
stretch  1r2p2.dfsg.03  all 
sid  1r2p2.dfsg.03  all 
Debtags of package gapcharactertables: 
devel  library 
field  mathematics 
role  appdata 

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.


Gapfloat
multiprecision floatingpoint computation for GAP

Versions of package gapfloat 
Release  Version  Architectures 
jessie  0.6.3+ds1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.7.4+ds3  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.7.4+ds3  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  0.7.5 

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.
This GAP package brings to GAP floatingpoint numbers with arbitrary
precision; it is based on MPFR, MPFI, MPC, CXSC, and FPLLL.


Gapgrape
GRaph Algorithms using PErmutation groups for GAP

Versions of package gapgrape 
Release  Version  Architectures 
stretch  4r7+ds3  all 
sid  4r7+ds3  all 

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.
This package implements computing with graphs and groups for GAP.
GRAPE is primarily designed for constructing and analysing graphs
related to groups, finite geometries, and designs; special emphasis
is placed on the determination of regularity properties and subgraph
structure.


Gapguava
coding theory library for GAP

Versions of package gapguava 
Release  Version  Architectures 
squeeze  3.62  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  3.62  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  3.12+ds12  all 
stretch  3.13+ds2  all 
sid  3.13+ds2  all 

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.
This GAP package brings to GAP computing with errorcorrecting codes.


Gapopenmath
OpenMath phrasebook for GAP

Versions of package gapopenmath 
Release  Version  Architectures 
jessie  11.2.0+ds1  all 
stretch  11.3.1+ds2  all 
sid  11.3.1+ds2  all 

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.
This package allows GAP to import and export mathematical objects
encoded in OpenMath, for the purpose of exchanging them with other
applications that are OpenMath enabled.


Gapprimgroups
Database of primitive groups for GAP

Versions of package gapprimgroups 
Release  Version  Architectures 
squeeze  4r4p101  all 
wheezy  4r4p101  all 
jessie  4r7p31  all 
stretch  4r8p51  all 
sid  4r8p51  all 
Debtags of package gapprimgroups: 
devel  library 
field  mathematics 
role  appdata 

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 Pascallike
language.
This package contains the database of primitive groups.


Gapsmallgroups
Database of small groups for GAP

Versions of package gapsmallgroups 
Release  Version  Architectures 
squeeze  4r4p101  all 
wheezy  4r4p101  all 
jessie  4r7p31  all 
stretch  4r8p51  all 
sid  4r8p51  all 
Debtags of package gapsmallgroups: 
devel  library 
field  mathematics 
role  appdata 

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 Pascallike
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 gapsmallgroupsextra packages.


Gapsmallgroupsextra
Large database of small groups for GAP


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 Pascallike
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.


Gaptableofmarks
GAP TomLib  The GAP Library of Tables of Marks

Versions of package gaptableofmarks 
Release  Version  Architectures 
squeeze  1r1p41  all 
wheezy  1r1p41  all 
jessie  1r2p21  all 
stretch  1r2p52  all 
sid  1r2p52  all 
upstream  1r2p6 
Debtags of package gaptableofmarks: 
devel  library 
field  mathematics 
role  appdata 

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 GAP Library of Tables of Marks by L. Naughton and G.
Pfeiffer.


Gaptransgroups
Database of transitive groups for GAP

Versions of package gaptransgroups 
Release  Version  Architectures 
squeeze  4r4p101  all 
wheezy  4r4p101  all 
jessie  4r7p31  all 
stretch  4r8p51  all 
sid  4r8p51  all 
Debtags of package gaptransgroups: 
devel  library 
field  mathematics 
role  appdata 

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 Pascallike
language.
This package contains the database of transitive groups.


Geneagrapher
Create tree from Mathematics Genealogy Project

Versions of package geneagrapher 
Release  Version  Architectures 
stretch  1.0c2+git201207042  all 
sid  1.0c2+git201207042  all 

License: DFSG free

The Mathematics Genealogy Grapher (Geneagrapher) is a software tool to gather
the information for building math genealogy trees with data from the
Mathematics Genealogy Project. The information extracted is stored in dot file
format, which can then be passed to Graphviz to generate a graph.


Geogebra
Dynamic mathematics software for education

Versions of package geogebra 
Release  Version  Architectures 
squeeze  3.2.44.0+dfsg12  all 
wheezy  4.0.34.0+dfsg11  all 
jessie  4.0.34.0+dfsg13  all 
stretch  4.0.34.0+dfsg13  all 
sid  4.0.34.0+dfsg13  all 
Debtags of package geogebra: 
field  mathematics 
interface  x11 
role  program 
scope  application 
uitoolkit  xlib 
use  learning 
workswith  image, image:raster, image:vector 
workswithformat  png, svg 
x11  applet, application 
Popcon:
442 users (246 upd.) ^{*}

License: DFSG free

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 calculusbased tools (derivatives, osculating circle, ...).
GeoGebra files can be exported in many different formats, or as interactive
applets for web pages.


Geomview
interactive geometry viewing program

Versions of package geomview 
Release  Version  Architectures 
squeeze  1.9.42  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.9.43  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.9.44.1  amd64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.9.51  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.9.51  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package geomview: 
field  mathematics 
interface  3d, x11 
role  program 
scope  application 
uitoolkit  motif 
use  learning, viewing 
workswith  3dmodel 
x11  application 
Popcon:
102 users (79 upd.) ^{*}

License: DFSG free

Geomview is interactive geometry software which is
particularly appropriate for mathematics research and education.
In particular, geomview can display things in hyperbolic and
spherical space as well as Euclidean space.
Geomview allows multiple independently controllable objects and
cameras. It provides interactive control for motion, appearances
(including lighting, shading, and materials), picking on an
object, edge or vertex level, snapshots in SGI image file or
Renderman RIB format, and adding or deleting objects is provided
through direct mouse manipulation, control panels, and keyboard
shortcuts. External programs can drive desired aspects of the
viewer (such as continually loading changing geometry or
controlling the motion of certain objects) while allowing
interactive control of everything else.


Gerris

Versions of package gerris 
Release  Version  Architectures 
squeeze  20091109dfsg.11  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
jessie  20131206+dfsg5  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  20131206+dfsg13  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  20131206+dfsg13  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package gerris: 
field  mathematics, physics 
role  program 
Popcon:
34 users (23 upd.) ^{*}

License: DFSG free

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 timedependent incompressible variabledensity Euler,
Stokes or NavierStokes equations
 Adaptive mesh refinement: the resolution is adapted dynamically to
the features of the flow
 Entirely automatic mesh generation in complex geometries
 Secondorder 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
This package has MPI support built in.


Getdp
general environment for the treatment of discrete problems

Versions of package getdp 
Release  Version  Architectures 
stretch  2.9.2+dfsg11  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.9.2+dfsg11  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  2.11.0 

License: DFSG free

GetDP is a general finite element solver using mixed elements to
discretize de Rhamtype 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


Gfan
program for computing with Groebner fans

Versions of package gfan 
Release  Version  Architectures 
squeeze  0.3dfsg1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.3dfsg1.1  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.5+dfsg5  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.5+dfsg6  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.5+dfsg6  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  lib0.6 
Popcon:
14 users (60 upd.) ^{*}

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.


Ginactools
GiNaC symbolic framework support tools

Versions of package ginactools 
Release  Version  Architectures 
squeeze  1.5.81  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.6.21  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.6.21  amd64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.7.22  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.7.22  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package ginactools: 
devel  lang:c++ 
field  mathematics 
interface  shell, textmode 
role  program 
scope  utility 
uitoolkit  ncurses 
use  viewing 
Popcon:
38 users (48 upd.) ^{*}

License: DFSG free

GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a
library for doing symbolic (i.e. nonnumeric) 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
Threedimensional finite element mesh generator

Versions of package gmsh 
Release  Version  Architectures 
squeeze  2.4.2.dfsg5  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
jessie  2.8.5+dfsg1.1  amd64,armel,armhf,i386,powerpc,s390x 
stretch  2.15.0+dfsg13  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.15.0+dfsg13  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  2.16.0 
Debtags of package gmsh: 
interface  x11 
role  program 
scope  application 
use  editing 
workswith  3dmodel 
x11  application 
Popcon:
105 users (67 upd.) ^{*}

License: DFSG free

Gmsh is a 3D finite element grid generator with a buildin CAD engine
and postprocessor. Its design goal is to provide a fast, light and
userfriendly meshing tool with parametric input and advanced
visualization capabilities. Gmsh is built around four modules: geometry,
mesh, solver and postprocessing. 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 threedimensional finite element mesh generator with builtin pre and postprocessing facilities.
(eprint)
International Journal for Numerical Methods in Engineering
79(11):13091331
(2009)


Graphviz
rich set of graph drawing tools

Versions of package graphviz 
Release  Version  Architectures 
squeeze  2.26.35+squeeze2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
squeezesecurity  2.26.35+squeeze2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  2.26.314+deb7u2  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
wheezysecurity  2.26.314+deb7u2  amd64,armel,armhf,i386 
jessie  2.38.07  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
sid  2.38.014  kfreebsdamd64,kfreebsdi386 
stretch  2.38.017  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.38.017  amd64,arm64,armel,armhf,hurdi386,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  2.40.1 
Debtags of package graphviz: 
field  mathematics 
interface  commandline, x11 
role  program 
science  visualisation 
scope  utility 
uitoolkit  athena, tk 
use  viewing 
workswith  graphs, image, image:raster, image:vector 
x11  application 
Popcon:
2193 users (3020 upd.) ^{*}

License: DFSG free

Graph drawing addresses the problem of visualizing structural information
by constructing geometric representations of abstract graphs and networks.
Automatic generation of graph drawings has important applications in key
technologies such as database design, software engineering, VLSI and
network design and visual interfaces in other domains. Situations where
these tools might be particularly useful include:
 you would like to restructure a program and first need to understand
the relationships between its types, procedures, and source files
 you need to find the bottlenecks in an Internet backbone  not only
individual links, but their relationships
 you're debugging a protocol or microarchitecture represented as a
finite state machine and need to figure out how a certain
error state arises
 you would like to browse a database schema, knowledge base, or
distributed program represented graphically
 you would like to see an overview of a collection of linked documents
 you would like to discover patterns and communities of interest in a
database of telephone calls or email messages
This package contains the commandline tools.


Hollight

Versions of package hollight 
Release  Version  Architectures 
wheezy  201206021  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  201310261  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  201701091  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  201701091  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
26 users (40 upd.) ^{*}

License: DFSG free

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


Julia
highperformance programming language for technical computing

Versions of package julia 
Release  Version  Architectures 
jessie  0.3.22  amd64,i386 
stretch  0.4.76  amd64,arm64,armhf,i386,mips64el,ppc64el 
sid  0.4.76  amd64,arm64,armhf,i386,mips64el,ppc64el 
upstream  0.5.0 
Debtags of package julia: 
uitoolkit  ncurses 
Popcon:
112 users (181 upd.) ^{*}

License: DFSG free

Julia is a highlevel, highperformance 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,
bestofbreed 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 userdefined).
This package provides a complete Julia installation (JIT compiler, standard
library, textbased user interface).


Kseg
Sketchpad for planar Euclidean geometry

Versions of package kseg 
Release  Version  Architectures 
squeeze  0.4.0.33  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
Debtags of package kseg: 
field  mathematics 
interface  x11 
role  program 
uitoolkit  qt 
use  learning, viewing 
x11  application 

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 mousebutton 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.


Lcalc
program for calculating with Lfunctions

Versions of package lcalc 
Release  Version  Architectures 
squeeze  0.0.200802051  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.0.200802051.2  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.23+dfsg3  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
sid  1.23+dfsg5  kfreebsdamd64,kfreebsdi386 
stretch  1.23+dfsg6  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.23+dfsg6  amd64,arm64,armel,armhf,hurdi386,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package lcalc: 
role  program 
Popcon:
14 users (61 upd.) ^{*}

License: DFSG free

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


Libmatheval1
GNU library for evaluating symbolic mathematical expressions (runtime)

Versions of package libmatheval1 
Release  Version  Architectures 
squeeze  1.1.71+nmu1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.1.81  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.1.11+dfsg2  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.1.11+dfsg3  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.1.11+dfsg3  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package libmatheval1: 
devel  lang:c, library 
field  mathematics 
role  devellib, sharedlib 
suite  gnu 
Popcon:
42 users (34 upd.) ^{*}

License: DFSG free

GNU libmatheval is a library comprising of several procedures that make
it possible to create an inmemory 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 inmemory 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.


Lpsolve
Solve (mixed integer) linear programming problems

Versions of package lpsolve 
Release  Version  Architectures 
squeeze  5.5.0.137  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  5.5.0.137  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  5.5.0.137  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.5.0.154  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.5.0.154  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package lpsolve: 
field  mathematics 
role  program 
scope  application 
Popcon:
4155 users (18691 upd.) ^{*}

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.


Lrcalc
programs for calculating LittlewoodRichardson coefficients

Versions of package lrcalc 
Release  Version  Architectures 
jessie  1.21  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.22  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.22  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

The "LittlewoodRichardson Calculator" is a package of C programs for
computing LittlewoodRichardson 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 commandline programs.


Lrslib
package to enumerate vertices and extreme rays of a convex polyhedron

Versions of package lrslib 
Release  Version  Architectures 
squeeze  0.42c1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.42c1  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.431  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.512  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.512  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
experimental  0.621  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package lrslib: 
role  program 
Popcon:
25 users (21 upd.) ^{*}

License: DFSG free

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

Versions of package magnus 
Release  Version  Architectures 
squeeze  200603245.2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 

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 plugin package manager.


Mathicgb
Compute Groebner bases (command line tool)

Versions of package mathicgb 
Release  Version  Architectures 
stretch  1.0~git201701041  amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el 
sid  1.0~git201701041  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips64el,mipsel,ppc64el 

License: DFSG free

Mathicgb is a program for computing Groebner basis and signature Groebner
bases. Mathicgb is based on the fast data structures from mathic.
The paper "Practical Groebner Basis Computation" describes the algorithms in
Mathicgb from a high level. It was presented at ISSAC 2012 and is available at
http://arxiv.org/abs/1206.6940
This package contains the command line tool.


Mathomatic
portable Computer Algebra System (CAS)

Versions of package mathomatic 
Release  Version  Architectures 
squeeze  15.1.11  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  15.8.22  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  15.8.22  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  15.8.22  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  15.8.22  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
experimental  16.0.41  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package mathomatic: 
field  mathematics 
interface  textmode 
role  program 
scope  application 
uitoolkit  ncurses 
use  calculating, learning 
Popcon:
54 users (28 upd.) ^{*}

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 
Release  Version  Architectures 
squeeze  0.5.82  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.99.11  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.99.13  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.99.31  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.99.31  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package matita: 
field  mathematics 
interface  commandline, x11 
role  program 
uitoolkit  gtk 
use  checking 
x11  application 
Popcon:
26 users (20 upd.) ^{*}

License: DFSG free

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


Maximasage
Computer algebra system  base system

Versions of package maximasage 
Release  Version  Architectures 
stretch  5.35.12  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.35.12  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
upstream  5.39.0 
Popcon:
19 users (54 upd.) ^{*}

License: DFSG free

Maxima is a fully symbolic computation program. It is full featured
doing symbolic manipulation of polynomials, matrices, rational
functions, integration, Toddcoxeter 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.
The maximasage packages are meant to be used together with SageMath.
They contain the version of Maxima that works together with the
SageMath version in Debian and use ECL instead of GCL as Lisp compiler.
To use Maxima by itself, the more complete and uptodate maxima package
is recommended.
This package contains the main executables and base system files.


Mcl

Versions of package mcl 
Release  Version  Architectures 
squeeze  101481  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  120681  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  141371  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  141371  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  141371  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package mcl: 
field  mathematics 
role  program 
Popcon:
36 users (72 upd.) ^{*}

License: DFSG free

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
PeertoPeer networks), and linguistics (text analysis).
The package is enhanced by the following packages:
zoem


Minisat
Fast and lightweight SAT solver

Versions of package minisat 
Release  Version  Architectures 
wheezy  2.2.13  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  2.2.15  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2.2.15  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.2.15  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package minisat: 
field  mathematics 
role  program 
Popcon:
113 users (106 upd.) ^{*}

License: DFSG free

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, opensource 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.


Mumpstest
Example/test binaries using MUMPS

Versions of package mumpstest 
Release  Version  Architectures 
squeeze  4.9.2.dfsg4  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  4.10.0.dfsg3  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  4.10.0.dfsg3  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  4.10.0.dfsg4  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  4.10.0.dfsg4  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
12 users (22 upd.) ^{*}

License: DFSG free

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


Nauty
library for graph automorphisms  interface and tools

Versions of package nauty 
Release  Version  Architectures 
squeeze  2.42 (nonfree)  amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc 
wheezy  2.4r21 (nonfree)  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  2.5r9+ds1 (nonfree)  amd64,arm64,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2.6r7+ds1  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.6r7+ds1  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package nauty: 
interface  commandline 
role  program 
Popcon:
19 users (28 upd.) ^{*}

License: DFSG free

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 commandline interface, a collection of commandline tools,
and an Application Programming Interface (API).
This package provides the nauty interface named dreadnaut, and a
small collection of utilities called gtools.
The package is enhanced by the following packages:
nautydoc


Netgen
Automatic 3d tetrahedral mesh generator

Versions of package netgen 
Release  Version  Architectures 
squeeze  4.9.12.dfsg3  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
sid  4.9.13.dfsg8  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  5.3.1 
Debtags of package netgen: 
role  program 

License: DFSG free

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.


Normaliz
math computing tools for affine monoids, rational polytopes and cones

Versions of package normaliz 
Release  Version  Architectures 
stretch  3.1.1+ds1  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  3.1.1+ds1  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

Normaliz is a mathematical tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
This dummy package provides the standard installation.


Octave
GNU Octave language for numerical computations

Versions of package octave 
Release  Version  Architectures 
wheezy  3.6.25+deb7u1  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  3.8.24  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  4.0.33  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  4.0.33  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
experimental  4.2.02  hurdi386 
experimental  4.2.11  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  4.2.1 
Debtags of package octave: 
field  mathematics 
role  program 
suite  gnu 
Popcon:
996 users (509 upd.) ^{*}

License: DFSG free

Octave is a (mostly Matlab (R) compatible) highlevel language, primarily
intended for numerical computations. It provides a convenient commandline
interface for solving linear and nonlinear problems numerically.
Octave can be dynamically extended with usersupplied C++ files.
The package is enhanced by the following packages:
texmacs


Palp
Package for Analyzing Lattice Polytopes

Versions of package palp 
Release  Version  Architectures 
squeeze  1.11  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.11.2  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  2.12  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2.13  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.13  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package palp: 
role  program 
use  analysing 
Popcon:
13 users (61 upd.) ^{*}

License: DFSG free

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 nefpartitions


Pariextra
PARI/GP Computer Algebra System extra data files


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 coworkers (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
parigaldata: the Galois resolvants for the polgalois function.
parielldata: the elliptic curves database for the ellsearch function.
pariseadata: the modular polynomials for the ellap function.
It can be safely removed after the upgrade.


Parigp
PARI/GP Computer Algebra System binaries

Versions of package parigp 
Release  Version  Architectures 
squeeze  2.3.51  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  2.5.12  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  2.7.21  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2.9.11  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.9.11  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package parigp: 
field  mathematics 
role  documentation 
uitoolkit  ncurses 
Popcon:
95 users (90 upd.) ^{*}

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 coworkers (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


Planarity
Program for planarityrelated graph algorithms

Versions of package planarity 
Release  Version  Architectures 
stretch  3.0.0.51  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  3.0.0.51  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

This package contains a commandline reference implementation of the
Edge Addition Planarity Algorithm, which is the best lineartime
method to embed a planar graph and isolate planarity obstructions.


Polylibutils
Various tools using libpolylib

Versions of package polylibutils 
Release  Version  Architectures 
squeeze  5.22.51+dfsg  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  5.22.53+dfsg  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  5.22.53+dfsg  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.22.53+dfsg  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.22.53+dfsg  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package polylibutils: 
role  program 
Popcon:
24 users (15 upd.) ^{*}

License: DFSG free

Polylib is a free C library for doing computations on polyhedra.
The library is operating on objects like vectors, matrices, lattices,
polyhedra, Zpolyhedra, 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

Versions of package proofgeneral 
Release  Version  Architectures 
squeeze  3.74  all 
wheezy  4.2~pre1206052  all 
jessie  4.3~pre1310110.2  all 
stretch  4.4.1~pre1701141  all 
sid  4.4.1~pre1701141  all 
Debtags of package proofgeneral: 
field  mathematics 
interface  textmode, x11 
role  plugin 
suite  emacs 
use  editing 
Popcon:
66 users (55 upd.) ^{*}

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.)


Proofgeneralcoq
generic interface for proof assistants  coq support

Versions of package proofgeneralcoq 
Release  Version  Architectures 
squeeze  3.74  all 
Debtags of package proofgeneralcoq: 
field  mathematics 
interface  commandline 
role  plugin 
suite  emacs 
use  checking 

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 
Release  Version  Architectures 
squeeze  0.0.200902a2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.0.200902a2.1  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.0.200911a2.1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.0.200911a2.1  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.0.200911a2.1  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
45 users (55 upd.) ^{*}

License: DFSG free

This package provides the Prover9 resolution/paramodulation theorem
prover and the Mace4 countermodel generator.
Prover9 is an automated theorem prover for firstorder 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 firstorder
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.


Pythondeap
Distributed Evolutionary Algorithms in Python

Versions of package pythondeap 
Release  Version  Architectures 
wheezy  0.7.11  all 
jessie  1.0.13+deb8u1  all 
stretch  1.0.2.post22  all 
sid  1.0.2.post22  all 
Popcon:
70 users (26 upd.) ^{*}

License: DFSG free

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.


Pythondolfin
Python interface for DOLFIN

Versions of package pythondolfin 
Release  Version  Architectures 
squeeze  0.9.83  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.0.07  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.4.0+dfsg4  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
sid  2016.1.01  kfreebsdamd64,kfreebsdi386 
sid  2016.1.02  hurdi386 
stretch  2016.2.02  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2016.2.02  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package pythondolfin: 
devel  lang:python, library 
field  mathematics 
role  devellib 
Popcon:
25 users (43 upd.) ^{*}

License: DFSG free

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 objectoriented 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 the Python interface for DOLFIN.


Pythonffc
compiler for finite element variational forms

Versions of package pythonffc 
Release  Version  Architectures 
squeeze  0.9.31  all 
wheezy  1.0.01  all 
jessie  1.4.01  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2016.2.01  all 
sid  2016.2.01  all 
Debtags of package pythonffc: 
devel  lang:python, library 
field  mathematics 
role  devellib, program 
Popcon:
48 users (51 upd.) ^{*}

License: DFSG free

The FEniCS Form Compiler FFC provides stateoftheart 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 handoptimized code.


Pythonminieigen
Wrapper of parts of the Eigen library (Python 2)

Versions of package pythonminieigen 
Release  Version  Architectures 
jessie  0.41~dfsg~bzr512  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  0.50.3+dfsg15  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  0.50.3+dfsg15  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
61 users (47 upd.) ^{*}

License: DFSG free

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 dynamicsized with
integer and floatingpoint values), Matrices (3x3, 6x6 and dynamicsized
with floatingpoint values) and Quaternions. Numerous methods are wrapped
and the original API of Eigen is followed.
This is the Python 2 version of the package.


Pythonopenturns
Python frontend of OpenTURNS (aka TUI)

Versions of package pythonopenturns 
Release  Version  Architectures 
squeeze  0.13.28  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.04  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.33  amd64,arm64,armel,armhf,i386,powerpc,ppc64el,s390x 
stretch  1.73  amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x 
sid  1.73  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips64el,powerpc,ppc64el,s390x 
Popcon:
13 users (61 upd.) ^{*}

License: DFSG free

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.


Pythonsagenb

Versions of package pythonsagenb 
Release  Version  Architectures 
stretch  0.13+ds12  all 
sid  0.13+ds12  all 
Popcon:
22 users (80 upd.) ^{*}

License: DFSG free

The Sage Notebook is a webbased graphical user interface for
mathematical software.
Sage is a different approach to mathematics software. It makes it easy for you
to use most mathematics software together. Sage includes GAP, GP/PARI, Maxima,
and Singular, and dozens of other open source math packages. It aims to be a
viable open source alternative to Magma, Maple, Mathematica, and MATLAB.
With the Sage Notebook anyone can create, collaborate on, and publish
interactive worksheets. In a worksheet, one can write code using Sage, Python,
and other software included in Sage. You can write programs that combine
serious mathematics with anything else.
Most of the notebook does not depend on having Sage installed. Only
a few miscellaneous functions are imported from Sage.


Pythonsagenbexport
Convert SageNB Notebooks (Python 2)

Versions of package pythonsagenbexport 
Release  Version  Architectures 
stretch  2.02  all 
sid  2.02  all 
upstream  3.0 
Popcon:
10 users (56 upd.) ^{*}

License: DFSG free

This is a tool to convert SageNB notebooks to other formats,
in particular IPython/Jupyter notebooks.
This package installs the library for Python 2.


Pythonufl
unified language for formcompilers (Python 2)

Versions of package pythonufl 
Release  Version  Architectures 
squeeze  0.5.31  all 
wheezy  1.0.01  all 
jessie  1.4.01  all 
stretch  2016.2.02  all 
sid  2016.2.02  all 
Debtags of package pythonufl: 
devel  lang:python, library 
field  mathematics 
role  devellib 
Popcon:
54 users (82 upd.) ^{*}

License: DFSG free

UFL (Unified Form Language) is a unified language for definition of
variational forms intended for finite element discretization. More
precisely, it defines a fixed interface for choosing finite element
spaces and defining expressions for weak forms in a notation close to
mathematical notation. The form compilers FFC and SyFi use UFL as
their enduser interface, producing UFC implementations as their
output.
This package installs the library for Python 2.


Python3sagenbexport
Convert SageNB Notebooks (Python 3)

Versions of package python3sagenbexport 
Release  Version  Architectures 
stretch  2.02  all 
sid  2.02  all 
upstream  3.0 

License: DFSG free

This is a tool to convert SageNB notebooks to other formats,
in particular IPython/Jupyter notebooks.
This package installs the library for Python 3.


Qhullbin
calculate convex hulls and related structures (utilities)

Versions of package qhullbin 
Release  Version  Architectures 
squeeze  2009.11  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  2009.13  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  2012.15  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2015.22  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2015.22  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package qhullbin: 
field  mathematics 
role  program 
scope  utility 
Popcon:
297 users (722 upd.) ^{*}

License: DFSG free

Qhull computes convex hulls, Delaunay triangulations, halfspace
intersections about a point, Voronoi diagrams, furthestsite
Delaunay triangulations, and furthestsite Voronoi diagrams. It
runs in 2d, 3d, 4d, 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).


Qsoptex
Exact linear programming solver

Versions of package qsoptex 
Release  Version  Architectures 
stretch  2.5.10.31  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.5.10.31  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

QSoptex is an implementation of a simplexbased algorithm that returns exact
rational solutions, taking advantage of the speed of floatingpoint
calculations and attempting to minimize the operations performed in
rational arithmetic.
This package contains the commandline utilities.


Qtoctave

Versions of package qtoctave 
Release  Version  Architectures 
squeeze  0.9.2+svn2551  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.10.13  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.10.14  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
Debtags of package qtoctave: 
field  mathematics 
interface  x11 
role  program 
uitoolkit  qt 
x11  application 
Popcon:
82 users (46 upd.) ^{*}

License: DFSG free

Besides offering an attractive frontend 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 octavehtmldoc
or octaveinfo.


Reginanormal
mathematical software for lowdimensional topology

Versions of package reginanormal 
Release  Version  Architectures 
squeeze  4.61.1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  4.931  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  4.962  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.11  amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.11  amd64,arm64,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package reginanormal: 
field  mathematics 
interface  commandline, x11 
role  program 
scope  utility 
suite  kde 
uitoolkit  qt 
x11  application 
Popcon:
26 users (22 upd.) ^{*}

License: DFSG free

Regina is a software package for 3manifold and 4manifold topologists,
with a focus on triangulations, normal surfaces and angle structures.
For 3manifolds, it includes highlevel tasks such as 3sphere recognition,
connected sum decomposition and Hakenness testing, comes with a rich
database of census manifolds, and incorporates the SnapPea kernel for
working with hyperbolic manifolds. For 4manifolds, it offers a range of
combinatorial and algebraic tools, plus support for normal hypersurfaces.
Regina comes with a full graphical user interface, as well as Python bindings
and a lowlevel C++ programming interface.
This package includes the graphical user interface and the commandline
Python interface. The users' handbook and the API documentation are in
the separate package reginanormaldoc, and the MPIenabled utilities for
highperformance clusters are in the separate package reginanormalmpi.


Rheolef
efficient Finite Element environment

Versions of package rheolef 
Release  Version  Architectures 
wheezy  6.12.1  amd64,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  6.51  amd64,arm64,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  6.71  amd64,i386,mips,mipsel,ppc64el 
sid  6.71  amd64,i386,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,ppc64el 
Debtags of package rheolef: 
field  mathematics 
role  program 
Popcon:
21 users (19 upd.) ^{*}

License: DFSG free

Rheolef is a computer environment that serves as a convenient
laboratory for computations in applied mathematics involving finite
elementlike 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 P2P1 or P1 bubbleP1 elements;
 characteristic method for convectiondiffusion, timedependent
problems and NavierStokes equations;
 nonlinear problems with either fixedpoint algorithms or a provided generic
damped Newton solver;
 autoadaptive mesh approaches;
 axisymmetric problems;
 multiregions and variable coefficient problems.
This package provides the rheolef commands. These support input and
output in various file formats for meshgenerators and numerical data
visualization systems such as MayaVi, Paraview, and gnuplot.


Rubiks
Small collection of Rubik's cube solvers

Versions of package rubiks 
Release  Version  Architectures 
stretch  200709122  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  200709122  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Popcon:
10 users (62 upd.) ^{*}

License: DFSG free

This package contains several different Rubik's cube solvers,
either useful directly on the commandline or through sagemath.
Michael Reid's "optimal" uses precomputed tables to find an optimal solution
to the 3x3x3 Rubik's cube.
Dik T.Winter's "dikcube" uses Kociemba's algorithm to iteratively
find a short solution to the 3x3x3 cube.
Eric Dietz' "cubex" has fast nonoptimal solver for the 3x3x3 cube.


Sagemath
Open Source Mathematical Software

Versions of package sagemath 
Release  Version  Architectures 
stretch  7.49  amd64,i386 
sid  7.49  amd64,i386 
upstream  7.5.1 
Popcon:
13 users (91 upd.) ^{*}

License: DFSG free

SageMath is a free opensource mathematics software system licensed under the
GPL. It builds on top of many existing opensource packages: NumPy, SciPy,
matplotlib, Sympy, Maxima, GAP, FLINT, R and many more. Access their combined
power through a common, Pythonbased language or directly via interfaces or
wrappers.
Mission: Creating a viable free open source alternative to Magma, Maple,
Mathematica and Matlab.
This package contains the main SageMath installation.


Sagemathdatabaseconwaypolynomials
Database of Conway polynomials

Versions of package sagemathdatabaseconwaypolynomials 
Release  Version  Architectures 
jessie  0.4.p0+dfsg1  all 
stretch  0.4.p0+dfsg2  all 
sid  0.4.p0+dfsg2  all 

License: DFSG free

This package contains a small database of Conway polynomials.
It is part of the sagemath software suite.


Sagemathdatabaseellipticcurves
Databases for elliptic curves

Versions of package sagemathdatabaseellipticcurves 
Release  Version  Architectures 
jessie  0.7+dfsg1  all 
stretch  0.81  all 
sid  0.81  all 

License: DFSG free

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.


Sagemathdatabasegraphs

Versions of package sagemathdatabasegraphs 
Release  Version  Architectures 
jessie  20120404.p4+dfsg1  all 
stretch  20161026+dfsg1  all 
sid  20161026+dfsg1  all 

License: DFSG free

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.


Sagemathdatabasemutuallycombinatorialdesigns
Databases of combinatorial designs

Versions of package sagemathdatabasemutuallycombinatorialdesigns 
Release  Version  Architectures 
jessie  201406301  all 
stretch  201406302  all 
sid  201406302  all 

License: DFSG free

This package contains a database of mutually orthogonal latin squares,
as found in the Handbook of Combinatorial Designs, 2ed.
It is part of the sagemath software suite.


Sagemathdatabasepolytopes

Versions of package sagemathdatabasepolytopes 
Release  Version  Architectures 
jessie  20120220+dfsg1  all 
stretch  20120220+dfsg2  all 
sid  20120220+dfsg2  all 

License: DFSG free

This package contains a database of 2dimension and of 3dimensional
reflexive polytopes.
It is part of the sagemath software suite.


Sciencestatistics
Debian Science Statistics packages

Versions of package sciencestatistics 
Release  Version  Architectures 
squeeze  0.12  all 
wheezy  1.0  all 
jessie  1.4  all 
stretch  1.6  all 
sid  1.6  all 
Debtags of package sciencestatistics: 
role  metapackage 
suite  debian 
Popcon:
30 users (63 upd.) ^{*}

License: DFSG free

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 
Release  Version  Architectures 
squeeze  5.2.29  all 
wheezy  5.3.310  all 
jessie  5.5.17  all 
stretch  5.5.24  all 
sid  5.5.24  all 
Debtags of package scilab: 
field  electronics, mathematics, physics, statistics 
interface  x11 
role  program 
scope  utility 
uitoolkit  tk 
use  analysing, learning 
workswith  image 
x11  application 
Popcon:
232 users (120 upd.) ^{*}

License: DFSG free

Scilab is a matrixbased scientific software package.
Scilab contains hundreds of builtin 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 "scilabcli".


Scilabann
Scilab module for artificial neural networks

Versions of package scilabann 
Release  Version  Architectures 
squeeze  0.4.2.33  all 
wheezy  0.4.2.41  all 
jessie  0.4.2.41  all 
stretch  0.4.2.41  all 
sid  0.4.2.41  all 
Debtags of package scilabann: 
devel  library 
role  devellib, sharedlib 
Popcon:
16 users (29 upd.) ^{*}

License: DFSG free

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, online or batch
 momentum with or without bias, online or batch
 SuperSAB with or without bias, online or batch
 Conjugate gradients
 Jacobian computation
 Computation of result of multiplication between "vector" and Hessian
 Some helper functions provided


Scilabplotlib
"Matlablike" Plotting library for Scilab

Versions of package scilabplotlib 
Release  Version  Architectures 
squeeze  0.412  all 
wheezy  0.421  all 
jessie  0.421  all 
stretch  0.421  all 
sid  0.421  all 
Popcon:
10 users (53 upd.) ^{*}

License: DFSG free

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.


Scilabscimax
Symbolic computations for Scilab based on Maxima

Versions of package scilabscimax 
Release  Version  Architectures 
squeeze  2.1.11  amd64,armel,i386,ia64,mipsel,powerpc,s390,sparc 

License: DFSG free

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, Toddcoxeter methods for finite group
analysis, graphing, multiple precision floating point computation.


Scotch
programs and libraries for graph, mesh and hypergraph partitioning

Versions of package scotch 
Release  Version  Architectures 
squeeze  5.1.8a.dfsg2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  5.1.12b.dfsg1.2  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  5.1.12b.dfsg2  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.1.12b.dfsg2  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.1.12b.dfsg2  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  6.0.4 
Debtags of package scotch: 
role  program 
Popcon:
27 users (20 upd.) ^{*}

License: DFSG free

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 biochemistry.
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 standalone 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 nodeelement 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 runtime.

It uses system memory efficiently, to process large graphs and
meshes without incurring outofmemory faults;

It is highly modular and documented. Since it has been released
under the CeCILLC 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
commandline 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. PTSCOTCH uses the MPI interface, and optionally the
POSIX threads.


Singular
Computer Algebra System for Polynomial Computations

Versions of package singular 
Release  Version  Architectures 
squeeze  3043.dfsg3.1  amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc 
stretch  4.0.3p3+ds5  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  4.0.3p3+ds5  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
experimental  4.1.0p2+ds1  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  4.1.0p2 
Debtags of package singular: 
field  mathematics 
role  program 
uitoolkit  ncurses 

License: DFSG free

SINGULAR is a Computer Algebra System (CAS) for polynomial computations with
emphasis on the special needs of commutative algebra, algebraic geometry,
and singularity theory.
This dummy package provides the standard installation.


Snappea
program for creating and studying hyperbolic 3manifolds

Versions of package snappea 
Release  Version  Architectures 
squeeze  3.0d320.1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  3.0d322  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  3.0d323  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  3.0d324  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  3.0d324  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package snappea: 
devel  lang:python 
field  mathematics 
interface  x11 
uitoolkit  tk 
x11  application 
Popcon:
26 users (67 upd.) ^{*}

License: DFSG free

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


Surfalggeo
visualization of real algebraic geometry

Versions of package surfalggeo 
Release  Version  Architectures 
stretch  1.0.6+ds4  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.0.6+ds4  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

Surf is a script driven tool to visualize some real algebraic geometry:
plane algebraic curves, algebraic surfaces and hyperplane sections of
surfaces.
The algorithms should be stable enough not to be confused by curve/surface
singularities in codimension greater than one and the degree of the surface
or curve. This has been achieved quite a bit. Curves of degree up to 30 and
surfaces of degree up to 20 have been drawn successfully. However, there are
examples of curves/surfaces of lower degree where surf fails to produce
perfect images. This happens especially if the equation of the curve/surface
is not reduced. Best results are achieved using reduced equations. On the other
hand, surf displays the Fermatcurves accurately for degree up to 98.
Surf is free software distributed under the GNU General Public License (GPL).
This dummy package is meant to allow multivariant support for surf.


Sympow
mathematical program for SYMmetric POWer elliptic curve Lfunctions  program

Versions of package sympow 
Release  Version  Architectures 
squeeze  1.0194  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.0194  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.0194  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.0238  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.0238  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package sympow: 
role  program 
Popcon:
14 users (60 upd.) ^{*}

License: DFSG free

SYMPOW is a mathematical program to compute special values of symmetric
power elliptic curve Lfunctions; it can compute up to about 64 digits
of precision.
This package provides the SYMPOW program itself.


Tachyon
Parallel/Multiprocessor Standalone Ray Tracer  metapackage

Versions of package tachyon 
Release  Version  Architectures 
squeeze  0.98~beta.dfsg1  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  0.99~b2+dfsg0.4  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  0.99~b2+dfsg0.4  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
sid  0.99~b6+dsx5  all 
stretch  0.99~b6+dsx7  all 
sid  0.99~b6+dsx8  all 
Debtags of package tachyon: 
role  program 
workswith  3dmodel 

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 within applications.
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 fullfeatured programs
like POVRay, Rayshade, and others. Tachyon supports enough features
to be an excellent alternative to slower programs for demanding
animation and scientific visualization tasks.
This metapackage allows multivariant support for tools built upon tachyon.


Tetgen
Quality Tetrahedral Mesh Generator

Versions of package tetgen 
Release  Version  Architectures 
squeeze  1.4.23 (nonfree)  i386 
wheezy  1.4.31 (nonfree)  amd64,i386 
jessie  1.5.03  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.5.04  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.5.04  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package tetgen: 
role  program 
Popcon:
23 users (41 upd.) ^{*}

License: DFSG free

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


Toulbar2
Exact combinatorial optimization for Graphical Models

Versions of package toulbar2 
Release  Version  Architectures 
sid  0.9.81  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

Toulbar2 is an exact discrete optimization tool for Graphical Models
such as Cost Function Networks, Markov Random Fields, Weighted Constraint
Satisfaction Problems and Bayesian Nets.


Wxmaxima
GUI for the computer algebra system Maxima

Versions of package wxmaxima 
Release  Version  Architectures 
squeeze  0.8.52  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  12.04.01  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  13.04.24+deb8u1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  16.04.21  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  16.12.21  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package wxmaxima: 
field  mathematics 
interface  x11 
role  program 
scope  application 
uitoolkit  wxwidgets 
x11  application 
Popcon:
269 users (122 upd.) ^{*}

License: DFSG free

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

Versions of package xmaxima 
Release  Version  Architectures 
squeeze  5.21.12squeeze  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  5.27.03  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
sid  5.31.34  hurdi386 
jessie  5.34.12  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  5.38.18  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.38.18  amd64,arm64,armel,armhf,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  5.39.0 
Debtags of package xmaxima: 
field  mathematics 
interface  x11 
role  program 
scope  application 
uitoolkit  tk 
x11  application 
Popcon:
97 users (43 upd.) ^{*}

License: DFSG free

Maxima is a fully symbolic computation program. It is full featured
doing symbolic manipulation of polynomials, matrices, rational
functions, integration, Toddcoxeter 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.


Xmds
eXtensible MultiDimensional Simulator

Versions of package xmds 
Release  Version  Architectures 
squeeze  1.6.64  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.6.67  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.6.67  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
Debtags of package xmds: 
role  program 
Popcon:
27 users (12 upd.) ^{*}

License: DFSG free

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.


Xmds2
eXtensible MultiDimensional Simulator

Versions of package xmds2 
Release  Version  Architectures 
jessie  2.2.2+dfsg1  all 
stretch  2.2.2+dfsg3  all 
sid  2.2.3+dfsg1  all 
Popcon:
20 users (37 upd.) ^{*}

License: DFSG free

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
Anntools
Approximate Nearest Neighbor Searching library (tools)

Versions of package anntools 
Release  Version  Architectures 
squeeze  1.1.1+doc2.2  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  1.1.2+doc3  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.1.2+doc5  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.1.2+doc6  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.1.2+doc6  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package anntools: 
role  program 

License: DFSG free

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

Versions of package cliquer 
Release  Version  Architectures 
wheezy  1.211  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  1.211  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  1.211  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  1.211  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package cliquer: 
role  program 
use  searching 

License: DFSG free

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


Evolvernox
Surface Evolver  with no X support

Versions of package evolvernox 
Release  Version  Architectures 
stretch  2.70+ds2  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x 
sid  2.70+ds3  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,ppc64el,s390x 

License: DFSG free

The Surface Evolver is an interactive program for the modelling of liquid
surfaces shaped by various forces and constraints.
This package provides evolver variants built with different floating point
formats (double, long double, quadruple) but with no X support.
The package is enhanced by the following packages:
evolverdoc


Evolverogl
Surface Evolver  with OpenGL display

Versions of package evolverogl 
Release  Version  Architectures 
stretch  2.70+ds2  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x 
sid  2.70+ds3  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,ppc64el,s390x 

License: DFSG free

The Surface Evolver is an interactive program for the modelling of liquid
surfaces shaped by various forces and constraints.
This package provides evolver variants built with different floating point
formats (double, long double, quadruple) and with an OpenGL/GLUT display.
The package is enhanced by the following packages:
evolverdoc


Gapgapdoc
GAPDoc  A Meta Package for GAP Documentation

Versions of package gapgapdoc 
Release  Version  Architectures 
jessie  1.5.11  all 
stretch  1.5.13  all 
sid  1.5.13  all 
Popcon:
51 users (50 upd.) ^{*}

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 GAPDoc, "A Meta Package for GAP Documentation", by
Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation.


Gapio
low level C library IO bindings for GAP

Versions of package gapio 
Release  Version  Architectures 
jessie  4.4.2+ds1  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  4.4.6+ds2  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  4.4.6+ds2  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

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.
This package allows GAP to access UNIX I/O Clibrary functions.


Gaponlinehelp
GAP computer algebra system, online help

Versions of package gaponlinehelp 
Release  Version  Architectures 
squeeze  4r4p122  all 
wheezy  4r4p122  all 
jessie  4r7p52  all 
stretch  4r8p62  all 
sid  4r8p62  all 
Debtags of package gaponlinehelp: 
field  mathematics 
madeof  tex 
role  documentation 

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.


Gapscscp

Versions of package gapscscp 
Release  Version  Architectures 
jessie  2.1.4+ds1  all 
stretch  2.1.4+ds3  all 
sid  2.1.4+ds3  all 

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.
This package implements the Symbolic Computation Software
Composability Protocol (SCSCP) for GAP.


Gmpecm
Factor integers using the Elliptic Curve Method

Versions of package gmpecm 
Release  Version  Architectures 
squeeze  6.34  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  6.4.21  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  6.4.42  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  7.0.4+ds1  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  7.0.4+ds1  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
Debtags of package gmpecm: 
field  mathematics 
interface  commandline 
role  program 
scope  utility 
Popcon:
19 users (62 upd.) ^{*}

License: DFSG free

gmpecm is a free implementation of the Elliptic Curve Method (ECM)
for integer factorization.
The original purpose of the ECMNET project was to make Richard Brent's
prediction true, i.e. to find a factor of 50 digits or more by
ECM. This goal was attained on September 14, 1998, when Conrad Curry
found a 53digit factor of 2^6771 c150 using George Woltman's mprime
program. The new goal of ECMNET is now to find other large factors by
ecm, mainly by contributing to the Cunningham project, most likely the
longest, ongoing computational project in history according to Bob
Silverman. A new record was set by Nik Lygeros and Michel Mizony, who
found in December 1999 a prime factor of 54 digits using GMPECM.
See http://www.loria.fr/~zimmerma/records/ecmnet.html for more
information about ecmnet.
This package provides the command line utility.


Netgendoc
Automatic 3d tetrahedral mesh generator documentation

Versions of package netgendoc 
Release  Version  Architectures 
squeeze  4.9.12.dfsg3  all 
sid  4.9.13.dfsg8  all 
upstream  5.3.1 
Debtags of package netgendoc: 
role  documentation 

License: DFSG free

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.


Primesieve
fast prime number generator C/C++ library

Versions of package primesieve 
Release  Version  Architectures 
stretch  5.7.2+ds1  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  5.7.2+ds1  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 
upstream  5.7.3 

License: DFSG free

primesieve is a free software program and C/C++ library that generates
primes using a highly optimized sieve of Eratosthenes implementation.
primesieve can generate primes and prime ktuplets up to nearly 2^64.
See http://primesieve.org/ for more information.
This dummy package provides the standard installation.


Rcranevd
GNU R Functions for extreme value distributions

Versions of package rcranevd 
Release  Version  Architectures 
squeeze  2.241  amd64,armel,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,sparc 
wheezy  2.242  amd64,armel,armhf,i386,ia64,kfreebsdamd64,kfreebsdi386,mips,mipsel,powerpc,s390,s390x,sparc 
jessie  2.301  amd64,arm64,armel,armhf,i386,mips,mipsel,powerpc,ppc64el,s390x 
stretch  2.321  amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x 
sid  2.321  amd64,arm64,armel,armhf,hurdi386,i386,kfreebsdamd64,kfreebsdi386,mips,mips64el,mipsel,powerpc,ppc64el,s390x 

License: DFSG free

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.


Sagetex
Embed Sage code and plots into LaTeX

Versions of package sagetex 
Release  Version  Architectures 
stretch  3.0+ds4  all 
sid  3.0+ds4  all 

License: DFSG free

The SageTeX LaTeX package allows you to embed code, results of computations,
and plots from the SageMath mathematics software suite into LaTeX documents.
SageMath is an opensource Computer Algebra System (CAS).
This package provides the LaTeX package.
The package is enhanced by the following packages:
sagetexdoc


Debian packages in contrib or nonfree
Matlabsupport
distro integration for local MATLAB installations

Versions of package matlabsupport 
Release  Version  Architectures 
wheezy  0.0.18 (contrib)  all 
jessie  0.0.19+nmu1 (contrib)  all 
stretch  0.0.21 (contrib)  all 
sid  0.0.21 (contrib)  all 
Popcon:
10 users (25 upd.) ^{*}

License: DFSG free, but needs nonfree components

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.

Packaging has started and developers might try the packaging code in VCS
Eprover
Theorem prover for firstorder logic with equality

Versions of package eprover 
Release  Version  Architectures 
VCS  1.0.0042  all 

License: free
Version: 1.0.0042

E is a fully automatic theorem prover for full firstorder 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 TPTP2 and TPTP3
formats. It can generate proof objects in PCL2 or TPTP3/TSTP
format.
E is considered one of the most powerful and friendly automated
theorem provers for firstorder 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.

Isabelle
generic theorem proving environment

Versions of package isabelle 
Release  Version  Architectures 
VCS  20084  all 

License: free
Debian package not available
Version: 20084

Features a choice of several readytouse logics (Higher Order Logic,
Higher Order Logic augmented with Scott's Logic for Computable
Functions, First Order Logic, ZermelloFrankel, an extensional
version of MartinLö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 XSymbols notational support.
This package contains the isabelle toolchain.

Scilabsivp
Scilab Image and Video Processing toolbox

Versions of package scilabsivp 
Release  Version  Architectures 
VCS  0.5.3+svn2872  all 

License: free
Debian package not available
Version: 0.5.3+svn2872

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.

Scilabswt
Scilab Wavelet and signal processing toolbox

Versions of package scilabswt 
Release  Version  Architectures 
VCS  0.1.0rc45  all 

License: free
Debian package not available
Version: 0.1.0rc45

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 2D results.
What Scilab Wavelet Toolbox supposed to do:
 Discrete Fast Wavelet Transform, daubechies wavelets
 1D single level signal decomposition and reconstruction
 1D multilevel signal decomposition and reconstruction
 2D single level image decomposition and reconstruction
 2D multilevel 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
objectoriented syntax as in C++ or Python. Octaviz also provides
highlevel 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.

