Paquet : science-mathematics (1.10)

[ Paquet source : debian-science  ]

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

• dep: science-config (= 1.10)

  paquet de configuration pour le projet Debian Science

• dep: science-tasks (= 1.10)

  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-symphony

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

• rec: coq

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

• rec: eclib-tools

  Programs for modular symbols and elliptic curves over Q

• 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: freemat

  Environnement mathématique (globalement compatible Matlab)

• 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-prim-groups

  Database of primitive groups for GAP

• rec: gap-small-groups

  Database of small groups for GAP

• rec: gap-small-groups-extra

  Large database of small groups 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: gap-trans-groups

  Database of transitive groups for GAP

• rec: geneagrapher

  Create tree from Mathematics Genealogy Project

• 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: julia

  langage de programmation haute-performance pour le calcul technique

• rec: lcalc

  Programme pour le calcul des fonctions L

• 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: 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: planarity

  programme d’algorithmes de graphe relatif à la planarité

• rec: polylib-utils

  outils divers utilisant libpolylib

• rec: prover9

  démonstrateur de théorème et générateur de contre-exemples

• rec: python-deap

  Distributed Evolutionary Algorithms in Python

• rec: python-dolfin

  Python interface for DOLFIN

• rec: python-ffc

  compilateur pour des formes variationnelles d’éléments finis

• rec: python-minieigen

  Wrapper of parts of the Eigen library (Python 2)

• rec: python-sagenb

  Standalone Sage Notebook

• rec: python-sagenb-export

  Convert SageNB Notebooks (Python 2)

  ou python3-sagenb-export

  Convert SageNB Notebooks (Python 3)

• rec: python-ufl

  unified language for form-compilers

• 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

  mathematical software for low-dimensional topology

• 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-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: snappea

  programme de création et d’étude de variétés 3D hyperboliques

• 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: 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: cryptominisat

  Paquet indisponible

• sug: eprover

  Paquet indisponible

• 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: 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-scscp

  protocole SCSCP pour GAP

• sug: gmp-ecm

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

• sug: hol-light

  Paquet indisponible

• sug: isabelle

  Paquet indisponible

• sug: kseg

  Paquet indisponible

• sug: magnus

  Paquet indisponible

• sug: mathicgb

  Paquet indisponible

• sug: matita

  Paquet indisponible

• sug: matlab-support

  distro integration for local MATLAB installations

• sug: netgen-doc

  Automatic 3d tetrahedral mesh generator documentation

• sug: octaviz

  Paquet indisponible

• sug: pari-extra

  Paquet indisponible

• sug: primesieve

  fast prime number generator C/C++ library

• sug: proofgeneral

  Paquet indisponible

• sug: proofgeneral-coq

  Paquet indisponible

• sug: pyomo

  Paquet indisponible

• sug: python-openturns

  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: scilab-scimax

  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	18,5 ko	38,0 ko	[liste des fichiers]