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
Suggests: netgen-doc
Why: FEA

Depends: netgen, gmsh
Why: FEA, mesh generator


Depends: coq, proofgeneral, proofgeneral-coq
Why: Proof assistant

Depends: science-statistics

Depends: geomview

Depends: octave | octave3.0

Depends: octaviz

Depends: freemat

Suggests: scilab, sivp
Why: In non-free

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

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

Depends: libmatheval1

Depends: sagemath

Depends: geogebra
Homepage: http://www.geogebra.org/
WNPP: 447584
License: GPL (sources) and Creative Commons (documentation)
Responsible: none
Pkg-Description: dynamic mathematics software for schools
 GeoGebra is a dynamic geometry system. You can do constructions with points,
 vectors, segments, lines, conic sections as well as functions and change
 them dynamically afterwards. On the other hand, equations and coordinates
 can be entered directly.

Depends: isabelle
Homepage: http://isabelle.in.tum.de/
WNPP: 494491
License: BSD-like and non-free documentation
Responsible: Lionel Elie Mamane <lionel@mamane.lu>, brucker@member.fsf.org
Pkg-Description: Generic theorem proving environment
 Features a choice of several ready-to-use logics (Higher Order Logic,
 Higher Order Logic augmented with Scott's Logic for Computable
 Functions, First Order Logic, Zermello-Frankel, an extensional
 version of Martin-Lof Type Theory, Barendregt's Lambda Cube, a few
 sequent calculi (including modal and linear logics), ...) or
 defining your own logic / deductive system, a procedural and a
 declarative proof style, rich automation for classical reasoning,
 equational logic and algebra, LaTeX and X-Symbols notational support.
 .
 Isabelle can also be used as a generic framework for rapid
 prototyping of deductive systems.
