Package: science-mathematics (1.0)

[ Source: debian-science  ]

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.

Tags: Field: Mathematics, Role: Metapackage, Application Suite: Debian

Other Packages Related to science-mathematics

• dep: science-config (= 1.0)

  Debian Science Project config package

• dep: science-tasks (= 1.0)

  Debian Science tasks for tasksel

• rec: agda

  dependently typed functional programming language

• rec: axiom

  General purpose computer algebra system: main binary and modules

• rec: bliss

  tool to compute graph automorphisms and labelings

• rec: coq

  proof assistant for higher-order logic (toplevel and compiler)

• rec: dolfin-bin

  Executable scripts for DOLFIN

• rec: fenics

  automation of computational mathematical modeling

• rec: freefem

  PDE oriented language using Finite Element Method

• rec: freefem++

  Provides the binaries of the FreeFem++ FE suite

• rec: freefem3d

  Language and solver for partial differential equations in 3D

• rec: freemat

  mathematics framework (mostly matlab compatible)

• rec: gap

  Groups, Algorithms and Programming computer algebra system

• rec: geogebra

  Dynamic mathematics software for education

• rec: geomview

  interactive geometry viewing program

• rec: ginac-tools

  GiNaC symbolic framework support tools

• rec: hol-light

  HOL Light theorem prover

• rec: libmatheval1

  GNU library for evaluating symbolic mathematical expressions (runtime)

• rec: lp-solve

  Solve (mixed integer) linear programming problems

• rec: lrslib

  package to enumerate vertices and extreme rays of a convex polyhedron

• rec: mathomatic

  portable Computer Algebra System (CAS)

• rec: matita

  interactive theorem prover

• rec: mcl

  Markov Cluster algorithm

• rec: minisat

  Fast and lightweight SAT solver

• rec: mumps-test

  Example/test binaries using MUMPS

• rec: octave

  GNU Octave language for numerical computations

• rec: pari-extra

  PARI/GP Computer Algebra System extra data files

• rec: pari-gp

  PARI/GP Computer Algebra System binaries

• rec: polylib-utils

  Various tools using libpolylib

• rec: proofgeneral

  generic frontend for proof assistants

• rec: prover9

  theorem prover and countermodel generator

• rec: python-deap

  Distributed Evolutionary Algorithms in Python

• rec: python-ffc

  compiler for finite element variational forms

• rec: python-openturns

  Python front-end of OpenTURNS (aka TUI)

• rec: qtoctave

  Qt front-end to Octave

• rec: regina-normal

  software for 3-manifold topology and normal surfaces

• rec: rheolef

  efficient Finite Element environment

• rec: science-statistics

  Debian Science Statistics packages

• rec: scilab

  Scientific software package for numerical computations

• rec: scilab-ann

  Scilab module for artificial neural networks

• rec: scotch

  programs and libraries for graph, mesh and hypergraph partitioning

• rec: snappea

  program for creating and studying hyperbolic 3-manifolds

• rec: wxmaxima

  GUI for the computer algebra system Maxima

• rec: xmaxima

  Computer algebra system -- x interface

• rec: xmds

  eXtensible Multi-Dimensional Simulator

• sug: eprover

  Package not available

• sug: gerris

  Package not available

• sug: getdp

  Package not available

• sug: gmsh

  Package not available

• sug: isabelle

  Package not available

• sug: kseg

  Package not available

• sug: libgivaro0

  Package not available

• sug: life-apps

  Package not available

• sug: magnus

  Package not available

• sug: nauty

  command line tools to compute graph automorphisms

• sug: netgen

  Package not available

• sug: netgen-doc

  Package not available

• sug: octaviz

  Package not available

• sug: polybori

  virtual package provided by python-polybori

• sug: polybori-gui

  Package not available

• sug: proofgeneral-coq

  Package not available

• sug: r-cran-evd

  GNU R Functions for extreme value distributions

• sug: sagemath

  Package not available

• sug: scilab-scimax

  Package not available

• sug: scilab-sivp

  Package not available

• sug: scilab-swt

  Package not available

• sug: singular

  Package not available

Download science-mathematics

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	7.6 kB	60.0 kB	[list of files]