science-mathematics

dep: [science-config] (= 1.15)

Debian Science Project config package

dep: [science-tasks] (= 1.15)

Debian Science tasks for tasksel

rec: [4ti2]

mathematical tool suite for problems on linear spaces -- tools

rec: [agda]

dependently typed functional programming language

rec: [auto-07p]

software for continuation and bifurcation problems in ODE

rec: [axiom]

General purpose computer algebra system: main binary and modules

rec: [bliss]

tool to compute graph automorphisms and labelings -- bin

rec: [cohomcalg]

sheaf cohomology of line bundles on toric varieties

rec: [coinor-cbc]

Coin-or branch-and-cut mixed integer programming solver

rec: [coinor-csdp]

Software package for semidefinite programming (binaries)

rec: [coinor-libbonmin-dev]

COIN-OR mixed integer programming (developer files)

rec: [coinor-symphony]

COIN-OR solver for mixed-integer linear programs

rec: [coq]

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

rec: [cryptominisat]

SAT solver command line interface

rec: [eclib-tools]

Programs for modular symbols and elliptic curves over Q

rec: [eprover]

Equational theorem prover

rec: [fenics]

Automated Solution of Differential Equations

rec: [flintqs]

Program using quadratic sieve to factor integers

rec: [form]

Symbolic manipulation system

rec: [fplll-tools]

Tools to compute LLL-reduction of Euclidian lattices

rec: [freefem]

PDE oriented language using Finite Element Method

rec: [freefem++]

Provides the binaries of the FreeFem++ FE suite

rec: [frobby]

Computations with monomial ideals

rec: [gap]

computer algebra system for Groups, Algorithms and Programming

rec: [gap-character-tables]

GAP Library of character tables

rec: [gap-design]

block designs for GAP

rec: [gap-factint]

advanced methods for factoring integers for GAP

rec: [gap-float]

multi-precision floating-point computation for GAP

rec: [gap-grape]

GRaph Algorithms using PErmutation groups for GAP

rec: [gap-guava]

coding theory library for GAP

rec: [gap-laguna]

LAGUNA GAP package

rec: [gap-openmath]

OpenMath phrasebook for GAP

rec: [gap-sonata]

Systems Of Nearrings And Their Applications for GAP

rec: [gap-table-of-marks]

GAP TomLib - The GAP Library of Tables of Marks

rec: [gap-toric]

toric variety for GAP

rec: [geneagrapher]

Create tree from Mathematics Genealogy Project (executable)

rec: [geogebra]

Dynamic mathematics software for education

rec: [geomview]

interactive geometry viewing program

rec: [gerris]

Fluid Flow Solver

rec: [getdp]

general environment for the treatment of discrete problems

rec: [gfan]

program for computing with Groebner fans

rec: [ginac-tools]

GiNaC symbolic framework support tools

rec: [gmsh]

Three-dimensional finite element mesh generator

rec: [graphviz]

rich set of graph drawing tools

rec: [hol-light]

HOL Light theorem prover

rec: [lcalc]

program for calculating with L-functions

rec: [libjgrapht-java]

Java library of graph theory data structures and algorithms

rec: [libmatheval1]

GNU library for evaluating symbolic mathematical expressions (runtime)

rec: [lp-solve]

Solve (mixed integer) linear programming problems

rec: [lrcalc]

programs for calculating Littlewood-Richardson coefficients

rec: [lrslib]

package to enumerate vertices and extreme rays of a convex polyhedron

rec: [macaulay2]

Software system for algebraic geometry research

rec: [magnus]

Very simple screen magnifier

rec: [mathicgb]

Compute Groebner bases (command line tool)

rec: [mathomatic]

portable Computer Algebra System (CAS)

rec: [mathpiper]

Java Computer Algebra System

rec: [maxima-sage]

Computer algebra system -- base system

rec: [mcl]

Markov Cluster algorithm

rec: [minisat]

Fast and lightweight SAT solver

rec: [mumps-test]

Example/test binaries using MUMPS

rec: [nauty]

library for graph automorphisms -- interface and tools

rec: [netgen]

Automatic 3d tetrahedral mesh generator

rec: [normaliz]

math computing tools for affine monoids, rational polytopes and cones

rec: [octave]

GNU Octave language for numerical computations

rec: [palp]

Package for Analyzing Lattice Polytopes

rec: [pari-gp]

PARI/GP Computer Algebra System binaries

rec: [persalys]

GUI for uncertainty treatment and variabilities management

rec: [phcpack]

general-purpose solver for polynomial systems (command line)

rec: [planarity]

Program for planarity-related graph algorithms

rec: [polylib-utils]

Various tools using libpolylib

rec: [proofgeneral]

generic frontend for proof assistants

rec: [python3-deap]

Distributed Evolutionary Algorithms in Python3

rec: [python3-dolfin]

Base Python interface for DOLFIN (Python 3)

rec: [python3-ffc]

compiler for finite element variational forms (Python 3)

rec: [python3-minieigen]

Wrapper of parts of the Eigen library (Python 3)

rec: [python3-openturns]

Python3 front-end of OpenTURNS (aka TUI)

rec: [python3-persalys]

GUI for uncertainty treatment (Python bindings)

rec: [python3-ufl]

unified language for form-compilers (Python 3)

rec: [qepcad]

quantifier elimination tool

rec: [qhull-bin]

calculate convex hulls and related structures (utilities)

rec: [qsopt-ex]

Exact linear programming solver

rec: [rheolef]

efficient Finite Element environment

rec: [rubiks]

Small collection of Rubik's cube solvers

rec: [sagemath-database-conway-polynomials]

Database of Conway polynomials

rec: [sagemath-database-cremona-elliptic-curves]

Databases of elliptic curves over the rationals

rec: [sagemath-database-elliptic-curves]

Databases for elliptic curves

rec: [sagemath-database-graphs]

Databases of graphs

rec: [sagemath-database-mutually-combinatorial-designs]

Databases of combinatorial designs

rec: [sagemath-database-polytopes]

Databases of polytopes

rec: [science-statistics]

Debian Science Statistics packages

rec: [scilab]

Scientific software package for numerical computations

rec: [scotch]

programs and libraries for graph, mesh and hypergraph partitioning

rec: [singular]

Computer Algebra System for Polynomial Computations

rec: [surf-alggeo]

visualization of real algebraic geometry

rec: [sympow]

mathematical program for SYMmetric POWer elliptic curve L-functions -- program

rec: [tachyon]

Parallel/Multiprocessor Standalone Ray Tracer - metapackage

rec: [tetgen]

Quality Tetrahedral Mesh Generator

rec: [topcom]

Triangulations Of Point Configurations and Oriented Matroids

rec: [toulbar2]

Exact combinatorial optimization for Graphical Models

rec: [wxmaxima]

GUI for the computer algebra system Maxima

rec: [xcas]

Computer Algebra System - console and graphical calculator

rec: [xmaxima]

Computer algebra system -- x interface

rec: [xmds2]

eXtensible Multi-Dimensional Simulator

sug: [ann-tools]

Approximate Nearest Neighbor Searching library (tools)

sug: [cliquer]

clique searching program

sug: [evolver-ogl]

Surface Evolver - with OpenGL display

sug: [evolver-nox]

Surface Evolver - with no X support

sug: feel++-apps

Package not available

sug: freefem3d

Package not available

sug: freemat

Package not available

sug: [gap-gapdoc]

GAPDoc - A Meta Package for GAP Documentation

sug: [gap-io]

low level C library IO bindings for GAP

sug: [gap-online-help]

GAP computer algebra system, online help

sug: gap-prim-groups

Package not available

sug: [gap-scscp]

SCSCP protocol in GAP

sug: gap-small-groups

Package not available

sug: gap-small-groups-extra

Package not available

sug: gap-trans-groups

Package not available

sug: [gmp-ecm]

Factor integers using the Elliptic Curve Method

sug: isabelle

Package not available

sug: julia

Package not available

sug: [libspectra-dev]

library for large scale eigenvalue problems (development files)

sug: matita

Package not available

sug: [matlab-support]

distro integration for local MATLAB installations

sug: model-builder

Package not available

sug: [netgen-doc]

Automatic 3d tetrahedral mesh generator documentation

sug: octaviz

Package not available

sug: [primesieve]

fast prime number generator C/C++ library

sug: prover9

Package not available

sug: pyomo

Package not available

sug: python3-sagenb-export

Package not available

sug: [r-cran-evd]

GNU R Functions for extreme value distributions

sug: regina-normal

Package not available

sug: sagemath

Package not available

sug: sagetex

Package not available

sug: scilab-ann

Package not available

sug: snappea

Package not available

sug: xmds

Package not available