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

Depends: axiom, ginac-tools, xmaxima, wxmaxima
Why: Symbolic computations

Depends: pari-gp, pari-extra

Depends: gap, magnus
Why: Group theory

Depends: gerris
Why: CFD

Depends: freefem, freefem3d

Depends: freefem++

Suggests: netgen-doc
Why: FEA

Depends: netgen
Why: FEA, mesh generator

Depends: gmsh
Why: FEA, mesh generator
Published-Title: Gmsh: a three-dimensional nite element mesh generator with built-in pre- and post-processing facilities
Published-Authors: Christophe Geuzaine and Jean-Francois Remacle
Published-In: INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING
Published-Year: 2009

Depends: getdp
Why: FEA

X-Begin-Category: proof assistants
X-Comment: According to Hendrik Tews <tews@os.inf.tu-dresden.de> these might end up
           in a separate metapackage "theorem-proving" or "formal-methods"
           see http://lists.debian.org/debian-science/2012/05/msg00077.html

Depends: coq, proofgeneral

Depends: matita, agda, prover9, hol-light, minisat

X-End-Category: proof assistants

Depends: science-statistics

Depends: geomview

Depends: octave

Depends: xmds

Depends: freemat

Depends: mathomatic

Depends: scilab, scilab-sivp, scilab-scimax, scilab-swt, scilab-ann,
 scilab-plotlib

Depends: regina-normal, snappea
Why: Requested by Ben Burton

Depends: lp-solve
Why: Requested by Aníbal Monsalve Salazar

Depends: libmatheval1

Depends: mumps-test

Depends: nauty

Depends: geogebra

Depends: lrslib

Suggests: r-cran-evd

Depends: python-ffc

Depends: kseg

Depends: polylib-utils

Depends: rheolef

Depends: scotch

Depends: singular

Depends: libgivaro0

Depends: isabelle
Remark: upstream prefers Isabelle not being packaged
 There is an alternative software coq which is packaged in
 Debian (see above).

Depends: bliss

Depends: life-apps
Why: Partial differential equation library, FEA, CFD

Depends: python-openturns
Why: Uncertainty quantification in numerical simulation

Depends: qtoctave

Depends: python-deap

Depends: mcl

Depends: polybori-gui, polybori

X-Removed: Packages removed from Debian

Depends: octaviz
Pkg-URL: http://snapshot.debian.org/package/octaviz/
Homepage: http://octaviz.sourceforge.net/
Pkg-Description: 3D visualization system for Octave
 Octaviz is a visualization system for Octave. It is a wrapper that
 makes all VTK classes accessible from within Octave using the same
 object-oriented syntax as in C++ or Python. Octaviz also provides
 high-level functions for 2D and 3D visualization. Using those
 functions, most common visualization tasks (3D surface plots, contour
 plots etc) can be accomplished without any knowledge about VTK.
Remark: Removed from Debian
 This package was removed from Debian but some versions are available
 from http://snapshot.debian.org/
 .
 Reasons are given here: http://bugs.debian.org/535537

Depends: sagemath
Pkg-URL: http://snapshot.debian.org/package/sagemath/
Homepage: http://sagemath.org/
Pkg-Description: Mathematics software written in Python
 Sage is a mathematical software package with support for a wide range
 of mathematics, including algebra, calculus, elementary to very
 advanced number theory, cryptography, numerical computation,
 commutative algebra, group theory, combinatorics, graph theory, and
 exact linear algebra.
 .
 Sage integrates several dozen mathematical software packages, making
 it possible to combine the best algorithms from several different
 packages together in a single Sage program.
 .
 Much of the Sage core and the Sage interfaces are implemented in
 Cython, helping Sage avoid the usual performance problems associated
 with Python.
 .
 Sage has a friendly command-line interface based on iPython and a
 web-based notebook interface which can run locally or connect to a
 remote Sage server over the network.
Remark: Removed from Debian
 This package was removed from Debian but some versions are available
 from http://snapshot.debian.org/
 .
 Reasons are given here: http://bugs.debian.org/573538

Depends: eprover
Pkg-URL: http://snapshot.debian.org/package/eprover/1.0.004-1/
Homepage: http://www.eprover.org/
Pkg-Description: Theorem prover for first-order logic with equality
 E is a fully automatic theorem prover for full first-order logic with
 equality. It accepts a mathematical specification and, optionally, a
 hypothesis, and tries to prove the hypothesis and/or find a
 saturation representing a (counter-)model for the specification.
 .
 E is based on a purely equational problem representation and
 implements a variant of the superposition calculus. Proof search can
 be guided with a multitude of options or a powerful automatic
 configuration mode. The system can process input in a number of
 different formats, including the standard TPTP-2 and TPTP-3
 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP
 format.
 .
 E is considered one of the most powerful and friendly automated
 theorem provers for first-order logic. It has consistently been among
 the top system in the major categories of the CASC system competition,
 and usually been the strongest free software system.
Remark: Removed from Debian
 This package was removed from Debian but some versions are available
 from http://snapshot.debian.org/
 .
 Reasons are given here: http://bugs.debian.org/651971
