Paquet : science-mathematics (1.14.7)

Liens pour science-mathematics

Ressources Debian :

Télécharger le paquet source debian-science :

Responsables :

Ressources externes :

Page d'accueil [wiki.debian.org]

Paquets similaires :

Paquets Debian pour les Sciences Mathématiques

Ce méta-paquet installera les « Paquets Debian pour les Sciences Mathématiques » liés aux mathématiques. Vous serez peut-être aussi intéressé par le debtag field::mathematics et, selon vos intérêts, par le méta-paquet education-mathematics.

Étiquettes: Domaine: Mathématiques, Rôle: Méta-paquet, Ensemble d'application: Debian

Autres paquets associés à science-mathematics

dépendances

recommandations

suggestions

enhances

dep: science-config (= 1.14.7)

paquet de configuration pour le projet Debian Science
dep: science-tasks (= 1.14.7)

tâches de Debian Science pour tasksel

rec: 4ti2

suite d'outils mathématiques pour les problèmes dans les espaces linéaires − outils
rec: agda

langage de programmation fonctionnel typé de façon dépendante
rec: auto-07p

logiciel pour les problèmes de continuation et de bifurcation en équations différentielles ordinaires
rec: axiom

système généraliste d'algèbre : programme principal et modules
rec: bliss

outil pour calculer les automorphismes et étiquetages de graphes — exécutable
rec: cohomcalg

sheaf cohomology of line bundles on toric varieties
rec: coinor-cbc

solveur de programmes en variables mixtes par branch-and-cut COIN-OR
rec: coinor-csdp

paquet logiciel de programmation semi-définie – binaires
rec: coinor-libbonmin-dev

COIN-OR mixed integer programming (developer files)
rec: coinor-symphony

solveur COIN-OR pour les programmes linéaires en nombres mixtes
rec: coq

outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
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

résolution automatique d’équations différentielles.
rec: flintqs

programme utilisant un crible quadratique pour la décomposition en facteurs premiers
rec: form

système de manipulation symbolique
rec: fplll-tools

outils pour calculer la réduction LLL de réseaux euclidiens
rec: freefem

langage orienté vers un environnement de développement, utilisant la méthode des éléments finis
rec: freefem

Provides the binaries of the FreeFem FE suite
rec: frobby

Computations with monomial ideals
rec: gap

système d’algèbre informatique Gap (Groups, Algorithms, Programming)
rec: gap-character-tables

bibliothèque de tables de caractères pour GAP
rec: gap-design

conception de bloc (bloc design) pour GAP
rec: gap-factint

méthodes modernes de factorisation d’entiers pour 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

recueil d’expressions OpenMath pour 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

création d’un arbre à partir du Mathematics Genealogy Project – exécutable
rec: geogebra

logiciel éducatif de géométrie dynamique
rec: geomview

visualisation interactive de formes géométriques
rec: gerris

solveur hydrodynamique Gerris
rec: getdp

environnement général pour le traitement de problèmes d’éléments finis
rec: gfan

program for computing with Groebner fans
rec: ginac-tools

outils de gestion de l'environnement symbolique GiNaC
rec: gmsh

Générateur de maillage tridimensionnel d'éléments finis
rec: graphviz

ensemble complet d'outils pour tracer des graphes
rec: hol-light

démonstrateur de théorème HOL Light
rec: lcalc

Programme pour le calcul des fonctions L
rec: libjgrapht-java

Java library of graph theory data structures and algorithms
un paquet virtuel est également fourni par libjgrapht0.8-java
rec: libmatheval1

GNU library for evaluating symbolic mathematical expressions (runtime)
rec: lp-solve

résolution de problèmes d'optimisation linéaire (en variables mixtes)
rec: lrcalc

programmes pour calculer les coffficients de Littlewood-Richardson
rec: lrslib

package to enumerate vertices and extreme rays of a convex polyhedron
rec: macaulay2

système logiciel pour la recherche en géométrie algébrique
rec: magnus

Very simple screen magnifier
rec: mathicgb

Compute Groebner bases (command line tool)
rec: mathomatic

système de calcul formel (CAS) portable
rec: maxima-sage

système de calcul formel – système de base
rec: mcl

algorithme de Markov pour les grappes
rec: minisat

solveur SAT rapide et léger
rec: mumps-test

Example/test binaries using MUMPS
rec: nauty

bibliothèque pour l’automorphisme de graphe – interface et outils
rec: netgen

Générateur automatique de maillage tétraédrique 3D
rec: normaliz

outil mathématique pour le calcul de monoïdes affines, de polytopes et de cônes rationnels
rec: octave

langage GNU Octave pour calculs numériques
rec: palp

Paquet par l’analyse des polytopes réticulés (lattice polytopes)
rec: pari-gp

système de calcul formel PARI/GP – exécutables
rec: persalys

interface graphique pour le traitement d’incertitudes et la gestion de dispersions
rec: phcpack

general-purpose solver for polynomial systems (command line)
rec: planarity

programme d’algorithmes de graphe relatif à la planarité
rec: polylib-utils

outils divers utilisant libpolylib
rec: proofgeneral

frontal générique d’assistants de preuve
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

enveloppe pour des parties de la bibliothèque Eigen – Python 3
rec: python3-openturns

Python3 front-end of OpenTURNS (aka TUI)
rec: python3-persalys

GUI for uncertainty treatment (Python bindings)
rec: python3-sagenb-export

Convert SageNB Notebooks (Python 3)
rec: python3-ufl

unified language for form-compilers (Python 3)
rec: qepcad

quantifier elimination tool
rec: qhull-bin

Calcul d'enveloppes convexes et d'autres objets mathématiques
rec: qsopt-ex

résolveur exact d’optimisation linéaire
rec: regina-normal

logiciel de mathématiques pour une topologie en basses dimensions
rec: rheolef

environnement efficace pour les calculs en éléments finis
rec: rubiks

Small collection of Rubik's cube solvers
rec: sagemath

logiciel de mathématiques au code source ouvert
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

paquets pour les statistiques de Debian Science
rec: scilab

paquet logiciel scientifique pour le calcul numérique
rec: scotch

programmes et bibliothèques pour le partitionnement de graphe, maillage et hypergraphe
rec: singular

Computer Algebra System for Polynomial Computations
rec: surf-alggeo

visualization of real algebraic geometry
rec: sympow

Programme mathématique pour les fonctions L de courbe elliptique de puissances symétriques
rec: tachyon

programme autonome de lancer de rayon, parallèle et multiprocesseur – métapaquet
rec: tetgen

générateur de qualité pour des maillages tétraédriques
rec: topcom

Triangulations Of Point Configurations and Oriented Matroids
rec: toulbar2

Exact combinatorial optimization for Graphical Models
rec: wxmaxima

interface graphique pour le système de calcul formel Maxima
rec: xcas

système de calcul formel – calculateur graphique et en console
rec: xmaxima

système de calcul formel – interface X
rec: xmds2

simulateur extensible multidimensionnel

sug: ann-tools

bibliothèque de recherche approchée des plus proches voisins - outils
sug: cliquer

programme de recherche de cliques
sug: evolver-ogl

Surface Evolver, modélisation de surfaces – avec affichage OpenGL

ou evolver-nox

Surface Evolver, modélisation de surfaces – sans gestion d’X
sug: feel -apps

Paquet indisponible
sug: freefem3d

Paquet indisponible
sug: freemat

Paquet indisponible
sug: gap-gapdoc

GAPDoc - A Meta Package for GAP Documentation
sug: gap-io

liaisons de bas niveau d’E/S pour la bibliothèque C pour GAP
sug: gap-online-help

système algébrique par informatique GAP – aide en ligne
sug: gap-prim-groups

Paquet indisponible
sug: gap-scscp

protocole SCSCP pour GAP
sug: gap-small-groups

Paquet indisponible
sug: gap-small-groups-extra

Paquet indisponible
sug: gap-trans-groups

Paquet indisponible
sug: gmp-ecm

factorisation d'entiers par courbe elliptique (méthode ECM)
sug: isabelle

Paquet indisponible
sug: julia

Paquet indisponible
sug: libspectra-dev

library for large scale eigenvalue problems (development files)
sug: matita

Paquet indisponible
sug: matlab-support

distro integration for local MATLAB installations
sug: model-builder

Paquet indisponible
sug: netgen-doc

Automatic 3d tetrahedral mesh generator documentation
sug: octaviz

Paquet indisponible
sug: primesieve

fast prime number generator C/C library
sug: prover9

Paquet indisponible
sug: pyomo

Paquet indisponible
sug: r-cran-evd

GNU R Functions for extreme value distributions
sug: sagetex

incorporation de code et de tracés Sage dans LaTeX
sug: scilab-ann

Paquet indisponible
sug: snappea

Paquet indisponible
sug: xmds

Paquet indisponible

Télécharger science-mathematics

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	10,8 ko	31,0 ko	[liste des fichiers]