Paquet : science-mathematics (1.14.7)

[ 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.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

  Paquet indisponible

• 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

  Paquet indisponible

• rec: eprover

  Equational theorem prover

• rec: fenics

  Paquet indisponible

• 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

  Paquet indisponible

• 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

  Paquet indisponible

• rec: rheolef

  Paquet indisponible

• rec: rubiks

  Small collection of Rubik's cube solvers

• rec: sagemath

  Paquet indisponible

• 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

  Paquet indisponible

• 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]