Tasks page
This is a list of the Tasks Debian Math is made of:
Table of contents
This metapackage contains dependencies for a collection of software
useful within topological data analysis in general and persistent
homology in particular.
Official Debian packages with high relevance
-
Gudhi-utils
-
Utilities from the GUDHI library
-
Hera-utils
-
Utilities built from the Hera library
-
Phat-utils
-
Utilities from the PHAT library
-
Python3-gudhi
-
Python 3 interface to the GUDHI library
-
Python3-phat
-
Python 3 interface for the PHAT library
-
Ripser
-
Fast computation of persistent homology of flag complexes
This metapackage contains development dependencies for a collection
of software useful within topological data analysis in general and
persistent homology in particular.
Official Debian packages with high relevance
-
Libgudhi-dev
-
Generic open source C++ library for topological data analysis
-
Libhera-dev
-
Library for efficient bottleneck and Wasserstein distances
-
Libphat-dev
-
C++ library for boundary matrix reductions over Z/2Z
-
Python3-gudhi
-
Python 3 interface to the GUDHI library
-
Python3-phat
-
Python 3 interface for the PHAT library
This metapackage contains development dependencies for a collection
of software useful within numerical optimization and variational techniques
Official Debian packages with high relevance
-
Liblbfgsb-dev
-
Limited-memory quasi-Newton bound-constrained optimization (static library)
This metapackage contains development dependencies for software addressing
stochastic control problems, namely looking for optimal strategies when facing
uncertainty.
Official Debian packages with high relevance
-
Libstopt-dev
-
library for stochastic optimization problems (development package)
-
Python3-stopt
-
library for stochastic optimization problems (Python 3 bindings)
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.
Official Debian packages with high relevance
-
4ti2
-
mathematical tool suite for problems on linear spaces -- tools
-
Agda
-
dependently typed functional programming language
-
Auto-07p
-
software for continuation and bifurcation problems in ODE
-
Axiom
-
General purpose computer algebra system: main binary and modules
-
Bliss
-
tool to compute graph automorphisms and labelings -- bin
-
Cohomcalg
-
sheaf cohomology of line bundles on toric varieties
-
Coinor-cbc
-
Coin-or branch-and-cut mixed integer programming solver
-
Coinor-csdp
-
Software package for semidefinite programming (binaries)
-
Coinor-symphony
-
COIN-OR solver for mixed-integer linear programs
-
Coq
-
proof assistant for higher-order logic (toplevel and compiler)
-
Cryptominisat
-
SAT solver command line interface
-
Eclib-tools
-
Programs for modular symbols and elliptic curves over Q
-
Eprover
-
Equational theorem prover
-
Feel++-apps
-
A library for the finite element method
-
Fenics
-
Automated Solution of Differential Equations
-
Flintqs
-
Program using quadratic sieve to factor integers
-
Form
-
Symbolic manipulation system
-
Fplll-tools
-
Tools to compute LLL-reduction of Euclidian lattices
-
Freefem
-
PDE oriented language using Finite Element Method
-
Freefem++
-
Provides the binaries of the FreeFem++ FE suite
-
Freefem3d
-
Language and solver for partial differential equations in 3D
-
Freemat
-
mathematics framework (mostly matlab compatible)
-
Frobby
-
Computations with monomial ideals
-
Gap
-
computer algebra system for Groups, Algorithms and Programming
-
Gap-character-tables
-
GAP Library of character tables
-
Gap-design
-
block designs for GAP
-
Gap-factint
-
advanced methods for factoring integers for GAP
-
Gap-float
-
multi-precision floating-point computation for GAP
-
Gap-grape
-
GRaph Algorithms using PErmutation groups for GAP
-
Gap-guava
-
coding theory library for GAP
-
Gap-laguna
-
LAGUNA GAP package
-
Gap-openmath
-
OpenMath phrasebook for GAP
-
Gap-prim-groups
-
Database of primitive groups for GAP
-
Gap-small-groups
-
Database of small groups for GAP
-
Gap-small-groups-extra
-
Large database of small groups for GAP
-
Gap-sonata
-
Systems Of Nearrings And Their Applications for GAP
-
Gap-table-of-marks
-
GAP TomLib - The GAP Library of Tables of Marks
-
Gap-toric
-
toric variety for GAP
-
Gap-trans-groups
-
Database of transitive groups for GAP
-
Geneagrapher
-
Create tree from Mathematics Genealogy Project (executable)
-
Geogebra
-
Dynamic mathematics software for education
-
Geomview
-
interactive geometry viewing program
-
Gerris
-
Fluid Flow Solver
-
Getdp
-
general environment for the treatment of discrete problems
-
Gfan
-
program for computing with Groebner fans
-
Ginac-tools
-
GiNaC symbolic framework support tools
-
Gmsh
-
Three-dimensional finite element mesh generator
-
Graphviz
-
rich set of graph drawing tools
-
Hol-light
-
HOL Light theorem prover
-
Julia
-
high-performance programming language for technical computing
-
Lcalc
-
program for calculating with L-functions
-
Libjgrapht-java
-
Java library of graph theory data structures and algorithms
-
Libmatheval1
-
GNU library for evaluating symbolic mathematical expressions (runtime)
-
Lp-solve
-
Solve (mixed integer) linear programming problems
-
Lrcalc
-
programs for calculating Littlewood-Richardson coefficients
-
Lrslib
-
package to enumerate vertices and extreme rays of a convex polyhedron
-
Macaulay2
-
Software system for algebraic geometry research
-
Magnus
-
Very simple screen magnifier
-
Mathicgb
-
Compute Groebner bases (command line tool)
-
Mathomatic
-
portable Computer Algebra System (CAS)
-
Matita
-
interactive theorem prover
-
Maxima-sage
-
Computer algebra system -- base system
-
Mcl
-
Markov Cluster algorithm
-
Minisat
-
Fast and lightweight SAT solver
-
Model-builder
-
graphical ODE simulator
-
Mumps-test
-
Example/test binaries using MUMPS
-
Nauty
-
library for graph automorphisms -- interface and tools
-
Netgen
-
Automatic 3d tetrahedral mesh generator
-
Normaliz
-
math computing tools for affine monoids, rational polytopes and cones
-
Octave
-
GNU Octave language for numerical computations
-
Palp
-
Package for Analyzing Lattice Polytopes
-
Pari-gp
-
PARI/GP Computer Algebra System binaries
-
Planarity
-
Program for planarity-related graph algorithms
-
Polylib-utils
-
Various tools using libpolylib
-
Proofgeneral
-
generic frontend for proof assistants
-
Prover9
-
theorem prover and countermodel generator
-
Pyomo
-
PYthon Optimization Modeling Objects
-
Python3-deap
-
Distributed Evolutionary Algorithms in Python3
-
Python3-dolfin
-
Base Python interface for DOLFIN (Python 3)
-
Python3-ffc
-
compiler for finite element variational forms (Python 3)
-
Python3-minieigen
-
Wrapper of parts of the Eigen library (Python 3)
-
Python3-openturns
-
Python3 front-end of OpenTURNS (aka TUI)
-
Python3-sagenb-export
-
Convert SageNB Notebooks (Python 3)
-
Python3-ufl
-
unified language for form-compilers (Python 3)
-
Qepcad
-
quantifier elimination tool
-
Qhull-bin
-
calculate convex hulls and related structures (utilities)
-
Qsopt-ex
-
Exact linear programming solver
-
Regina-normal
-
mathematical software for low-dimensional topology
-
Rheolef
-
efficient Finite Element environment
-
Rubiks
-
Small collection of Rubik's cube solvers
-
Sagemath
-
Open Source Mathematical Software
-
Sagemath-database-conway-polynomials
-
Database of Conway polynomials
-
Sagemath-database-elliptic-curves
-
Databases for elliptic curves
-
Sagemath-database-graphs
-
Databases of graphs
-
Sagemath-database-mutually-combinatorial-designs
-
Databases of combinatorial designs
-
Sagemath-database-polytopes
-
Databases of polytopes
-
Science-statistics
-
Debian Science Statistics packages
-
Scilab
-
Scientific software package for numerical computations
-
Scilab-ann
-
Scilab module for artificial neural networks
-
Scotch
-
programs and libraries for graph, mesh and hypergraph partitioning
-
Singular
-
Computer Algebra System for Polynomial Computations
-
Snappea
-
program for creating and studying hyperbolic 3-manifolds
-
Surf-alggeo
-
visualization of real algebraic geometry
-
Sympow
-
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
-
Tachyon
-
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
-
Tetgen
-
Quality Tetrahedral Mesh Generator
-
Topcom
-
Triangulations Of Point Configurations and Oriented Matroids
-
Toulbar2
-
Exact combinatorial optimization for Graphical Models
-
Wxmaxima
-
GUI for the computer algebra system Maxima
-
Xcas
-
Computer Algebra System - console and graphical calculator
-
Xmaxima
-
Computer algebra system -- x interface
-
Xmds
-
eXtensible Multi-Dimensional Simulator
-
Xmds2
-
eXtensible Multi-Dimensional Simulator
Official Debian packages with lower relevance
-
Ann-tools
-
Approximate Nearest Neighbor Searching library (tools)
-
Evolver-nox
-
Surface Evolver - with no X support
-
Evolver-ogl
-
Surface Evolver - with OpenGL display
-
Gap-gapdoc
-
GAPDoc - A Meta Package for GAP Documentation
-
Gap-io
-
low level C library IO bindings for GAP
-
Gap-online-help
-
GAP computer algebra system, online help
-
Gap-scscp
-
SCSCP protocol in GAP
-
Gmp-ecm
-
Factor integers using the Elliptic Curve Method
-
Netgen-doc
-
Automatic 3d tetrahedral mesh generator documentation
-
Primesieve
-
fast prime number generator C/C++ library
-
R-cran-evd
-
GNU R Functions for extreme value distributions
-
Sagetex
-
Embed Sage code and plots into LaTeX
Debian packages in contrib or non-free
-
Matlab-support
-
distro integration for local MATLAB installations
Packaging has started and developers might try the packaging code in VCS
-
Isabelle
-
generic theorem proving environment
Unofficial packages built by somebody else
-
Octaviz
-
3D visualization system for Octave
This metapackage will install Debian Science packages which might be
helpful for development of applications for Mathematics.
You might also be interested in the science-mathematics metapackage.
Official Debian packages with high relevance
-
Code-saturne-bin
-
General purpose Computational Fluid Dynamics (CFD) software - binaries
-
Code-saturne-include
-
General purpose Computational Fluid Dynamics (CFD) software - includes
-
Coinor-libcoinmp-dev
-
Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
Cppad
-
Automatic Differentiation of C++ algorithms, dummy package
-
Fenics
-
Automated Solution of Differential Equations
-
Fflas-ffpack
-
Finite field linear algebra subroutines/package
-
Fftw-dev
-
library for computing Fast Fourier Transforms
-
Gap-dev
-
GAP computer algebra system, compiler and development files
-
Jel-java
-
Library for evaluating algebraic expressions in Java
-
Libalglib-dev
-
Development files for the alglib library
-
Libann-dev
-
Approximate Nearest Neighbor Searching library (development files)
-
Libarmadillo-dev
-
streamlined C++ linear algebra library - Headers
-
Libarpack++2-dev
-
Object-oriented version of the ARPACK package (development)
-
Libarpack2-dev
-
Fortran77 subroutines to solve large scale eigenvalue problems (development)
-
Libatlas-base-dev
-
Automatically Tuned Linear Algebra Software, generic static
-
Libblas-dev
-
Basic Linear Algebra Subroutines 3, static library
-
Libblis-dev
-
BLAS-like Library Instantiation Software Framework (dev,32bit,meta)
-
Libblitz0-dev
-
C++ template class library for scientific computing - libdev
-
Libbraiding-dev
-
computations on braid groups (development files)
-
Libbrial-dev
-
polynomials over Boolean Rings, core development files
-
Libcdd-dev
-
Library for finding vertices of convex polytopes, development
-
Libcgal-dev
-
C++ library for computational geometry (development files)
-
Libcminpack-dev
-
Nonlinear equations and nonlinear least squares problems - development
-
Libcneartree-dev
-
Library and headers for solving the Nearest Neighbor Problem
-
Libcombblas-dev
-
an extensible parallel graph library for graph analytics
-
Libcqrlib-dev
-
Library and headers for quaternion arithmetic and rotation math
-
Libcvector-dev
-
ANSI C implementation of dynamic arrays (development files)
-
Libdeal.ii-dev
-
Differential Equations Analysis Library - development files
-
Libdogleg-dev
-
Powell's dog-leg nonlinear least squares solver for sparse matrices
-
Libdouble-conversion-dev
-
routines to convert IEEE floats to and from strings (development files)
-
Libdune-grid-dev
-
toolbox for solving PDEs -- grid interface (development files)
-
Libec-dev
-
Library for modular symbols and elliptic curves over Q (development)
-
Libecm-dev
-
dummy package
-
Libeigen3-dev
-
lightweight C++ template library for linear algebra
-
Libfeel++-dev
-
A library for the finite element method
-
Libfftw3-dev
-
Library for computing Fast Fourier Transforms - development
-
Libflann-dev
-
Fast Library for Approximate Nearest Neighbors - development
-
Libflint-arb-dev
-
??? missing short description for package libflint-arb-dev :-(
-
Libflint-dev
-
C library for number theory, development files
-
Libfplll-dev
-
Library for LLL-reduction of Euclidean lattices, development
-
Libfreefem++-dev
-
Provides the development files of the FreeFem++ FE suite
-
Libfreefem-dev
-
Development library, header files and manpages
-
Libfrobby-dev
-
Computations with monomial ideals (development tools)
-
Libgemmlowp-dev
-
small self-contained low-precision GEMM library
-
Libgf2x-dev
-
Routines for fast arithmetic in GF(2)[x] (development files)
-
Libgivaro-dev
-
arithmetic and algebraic computations - development files
-
Libglpk-dev
-
linear programming kit - development files
-
Libglpk-java
-
Java binding to the GNU Linear Programming Kit
-
Libgnuplot-iostream-dev
-
C++ programming interface for gnuplot. Headers
-
Libgsl0-dev
-
GNU Scientific Library (GSL) -- development package
-
Libhomfly-dev
-
compute the homfly polynomial of a link (development files)
-
Libhypre-dev
-
High Performance Matrix Preconditioners - Development Files
-
Libigraph0-dev
-
library for creating and manipulating graphs - development files
-
Libiml-dev
-
Integer Matrix Library, development files
-
Libitsol-dev
-
ITerative SOLvers - devel
-
Libjama-dev
-
C++ Linear Algebra Package
-
Libjgrapht0.6-java
-
mathematical graph theory library for Java
-
Libjgrapht0.8-java
-
mathematical graph theory library for Java
-
Liblapack-dev
-
Library of linear algebra routines 3 - static version
-
Liblbfgs-dev
-
L-BFGS solver for unconstrained nonlinear optimization problems
-
Liblfunction-dev
-
development files for liblfunction
-
Liblinbox-dev
-
Library for exact linear algebra - development files
-
Liblip-dev
-
reliable interpolation of multivariate scattered data
-
Liblrcalc-dev
-
library for calculating Littlewood-Richardson coefficients - development files
-
Libm4ri-dev
-
Method of the Four Russians Inversion library, development files
-
Libm4rie-dev
-
extended Method of the Four Russians Inversion library, development files
-
Libmadlib-dev
-
mesh adaptation library
-
Libmatheval-dev
-
GNU library for evaluating symbolic mathematical expressions (development)
-
Libmathic-dev
-
C++ library for Groebner basis computation (developer tools)
-
Libmathicgb-dev
-
Compute Groebner bases (developer tools)
-
Libmatio-dev
-
MATLAB MAT File I/O Library - development files
-
Libmpfi-dev
-
multiple precision floating-point interval computation library -- libdev
-
Libmpfrc++-dev
-
multi-precision floating point number class for C++
-
Libmps-dev
-
Multiprecision polynomial solver (development)
-
Libmuparser-dev
-
fast mathematical expressions parse library (development)
-
Libnauty2-dev
-
??? missing short description for package libnauty2-dev :-(
-
Libnewmat10-dev
-
matrix manipulations library (C++ headers files)
-
Libnfft3-dev
-
development files for the NFFT library
-
Libnglib-dev
-
Automatic 3d tetrahedral mesh generator development files
-
Libopenblas-dev
-
Optimized BLAS (linear algebra) library (dev, meta)
-
Libopenturns-dev
-
headers and development libraries for OpenTURNS
-
Libp4est-dev
-
Algorithms for Parallel Adaptive Mesh Refinement - development files
-
Libparsington-java
-
mathematical expression parser for Java
-
Libplb-dev
-
CFD solver based on the lattice Boltzmann method. Development files
-
Libpolybori-dev
-
polynomials over Boolean Rings, core development files
-
Libpolybori-groebner-dev
-
development files for libpolybori-groebner
-
Libprimesieve-dev
-
fast prime number generator C/C++ library -- libdev
-
Libpynac-dev
-
Engine for symbolic geometric calculus for Python (development files)
-
Libqcustomplot-dev
-
Qt C++ widget for plotting - header
-
Libqd-dev
-
Double-double and quad double types in C++ and F90
-
Libqhull-dev
-
calculate convex hulls and related structures (development files)
-
Libqsopt-ex-dev
-
Exact linear programming solver -- development files
-
Libquadrule-dev
-
Development files for quadrule
-
Libranlip-dev
-
generates random variates with multivariate Lipschitz density
-
Libratpoints-dev
-
development files for libratpoints
-
Librw-dev
-
Compute rank-width and rank-decompositions of graphs (development)
-
Libsaclib-dev
-
library of C programs for computer algebra (development)
-
Libscscp1-dev
-
IMCCE SCSCP C Library -- development package
-
Libscythestat-dev
-
header files for Scythe statistics library
-
Libsopt-dev
-
Development package for Sparse OPTimisation library
-
Libsparskit-dev
-
basic tool-kit for sparse matrix computations - devel
-
Libspooles-dev
-
SPOOLES SParse Object Oriented Linear Equations Solver development files
-
Libstxxl-dev
-
Development libraries for STXXL
-
Libsuitesparse-dev
-
libraries for sparse matrices computations (development files)
-
Libsuperlu-dev
-
Direct solution of large, sparse systems of linear equations
-
Libsymmetrica2-dev
-
transitional package
-
Libtachyon-dev
-
Parallel/Multiprocessor Ray Tracing Software, development files
-
Libtnt-dev
-
interface for scientific computing in C++
-
Libug-dev
-
software framework for finite element methods (development files)
-
Libviennacl-dev
-
Scientific computing library written in C++ based on OpenCL
-
Libxsmm-dev
-
Library for matrix operations and deep learning primitives
-
Libzn-poly-dev
-
development files for libzn-poly
-
Minpack-dev
-
nonlinear equations and nonlinear least squares static library
-
Petsc-dev
-
Virtual package depending on latest PETSc development package
-
Python3-asteval
-
minimalistic evaluator of Python 3 expression using ast module
-
Python3-brial
-
polynomials over Boolean Rings, Python 3 module
-
Python3-bumps
-
data fitting and Bayesian uncertainty modeling for inverse problems (Python 3)
-
Python3-cryptominisat
-
Python bindings for the CryptoMiniSat SAT solver (Python 3)
-
Python3-cvxopt
-
Python3 package for convex optimization
-
Python3-cypari2
-
Python interface to PARI -- Python 3
-
Python3-dolfin
-
Base Python interface for DOLFIN (Python 3)
-
Python3-dtcwt
-
Dual-Tree Complex Wavelet Transform library for Python 3
-
Python3-ffc
-
compiler for finite element variational forms (Python 3)
-
Python3-gimmik
-
generator of matrix multiplication kernels (Python 3)
-
Python3-gpyfft
-
Wrapper for the OpenCL FFT library clFFT (Python 3)
-
Python3-linop
-
Linear mathematical operators in Python (Python 3)
-
Python3-ltfatpy
-
Large Time-Frequency Toolbox (LTFAT) in Python
-
Python3-numexpr
-
Fast numerical array expression evaluator for Python 3 and NumPy
-
Python3-numpy
-
Fast array facility to the Python language (Python 3)
-
Python3-openturns
-
Python3 front-end of OpenTURNS (aka TUI)
-
Python3-optlang
-
sympy based mathematical programming language (Python 3)
-
Python3-petsc4py
-
Python 3 bindings for PETSc libraries
-
Python3-pynfft
-
Python bindings for the NFFT3 library - Python 3
-
Python3-pyviennacl
-
Python bindings for ViennaCL linear algebra library (for Python 3)
-
Python3-slepc4py
-
Python 3 bindings for SLEPc libraries
-
Python3-ufl
-
unified language for form-compilers (Python 3)
-
Sfftw-dev
-
library for computing Fast Fourier Transforms
-
Slepc-dev
-
Scalable Library for Eigenvalue Problem Computations
-
Trilinos-all-dev
-
object-oriented framework for large-scale problems - development files (ALL)
Official Debian packages with lower relevance
-
Cfortran
-
Header file permitting Fortran routines to be called in C/C++
-
Fflas-ffpack-dev-doc
-
FFLAS-FFPACK Developer Documentation
-
Fflas-ffpack-user-doc
-
FFLAS-FFPACK User Documentation
-
Givaro-dev-doc
-
Developer Documentation for Givaro (obsolete)
-
Givaro-user-doc
-
User Documentation for Givaro (obsolete)
-
Jsurf-alggeo
-
Java based visualization library for real algebraic geometry
-
Libdune-functions-dev
-
toolbox for solving PDEs -- interface for functions (development files)
-
Libdune-grid-glue-dev
-
toolbox for solving PDEs -- compute couplings between grids (development files)
-
Libdune-istl-dev
-
toolbox for solving PDEs -- iterative solvers (development files)
-
Libdune-localfunctions-dev
-
toolbox for solving PDEs -- local basis (development files)
-
Libdune-pdelab-dev
-
toolbox for solving PDEs -- discretization module (development files)
-
Libdune-typetree-dev
-
toolbox for solving PDEs -- typed tree template library (development files)
-
Libdune-uggrid-dev
-
software framework for finite element methods (development files)
-
Libitpp-dev
-
C++ library of signal processing and communication routines: Headers
-
Libjlapack-java
-
LAPACK numerical subroutines translated from their Fortran 77 source
-
Liblrs-dev
-
package to enumerate vertices and extreme rays (development file)
-
Libmtj-java
-
Java library for developing numerical applications
-
Libnetlib-java
-
collection of mission-critical software components for linear algebra systems
-
Libqrupdate-dev
-
Fast updates of QR and Cholesky decompositions -- static library
-
Libsollya-dev
-
library for safe floating-point code development -- libdev
-
Openturns-examples
-
examples of OpenTURNS functionalities
-
Python3-msgpack-numpy
-
serialize numpy arrays using msgpack
-
Python3-numpy-groupies
-
performs operations on/with subsets of n-dim arrays
-
Sollya
-
library for safe floating-point code development -- tool
Debian packages in contrib or non-free
-
Libmkl-full-dev
-
Intel® Math Kernel Library (Intel® MKL) (Full Version Dev)
-
Libparmetis-dev
-
Parallel Graph Partitioning and Sparse Matrix Ordering Libs: Devel
-
Libsuitesparse-metis-dev
-
collection of libraries for computations for sparse matrices
-
Libtestu01-0-dev
-
testing suite for uniform random number generators -- libdevel
Packaging has started and developers might try the packaging code in VCS
-
Libcblas-dev
-
Basic Linear Algebra Subroutines 3, static library
-
Libgismo-dev
-
Geometry plus simulatiom modules development files
-
Liblevmar-dev
-
Levenberg-Marquardt nonlinear least squares algorithm (devel)