Paquets logiciels dans « buster », Sous-section math

4ti2 (1.6.9+ds-1)
suite d'outils mathématiques pour les problèmes dans les espaces linéaires − outils
acl2 (8.0dfsg-1)
logique calculatoire pour Applicative Common Lisp - binaire principal
acl2-books (8.0dfsg-1)
logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées
acl2-books-certs (8.0dfsg-1)
logique calculatoire pour Applicative Common List - certificats de bibliothèques
acl2-books-source (8.0dfsg-1)
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
acl2-emacs (8.0dfsg-1)
logique algorithmique pour application Common Lisp - interface emacs
acl2-infix (8.0dfsg-1)
logique calculatoire pour Applicative Common Lisp - interface infixe
acl2-infix-source (8.0dfsg-1)
logique algorithmique pour application Common Lisp - source infixe
acl2-source (8.0dfsg-1)
logique calculatoire pour Applicative Common Lisp - fichiers sources
admesh (0.98.3-3)
outil pour calculer des maillages solides triangulés − exécutable
alt-ergo (2.0.0-3)
démonstrateur automatique dédié à la vérification de programme
ann-tools (1.1.2+doc-7)
bibliothèque de recherche approchée des plus proches voisins - outils
apcalc (2.12.7.2-2)
Calculatrice à précision arbitraire (nom original : calc)
apcalc-common (2.12.7.2-2)
calculateur à précision arbitraire - fichiers communs
apophenia-bin (1.0+ds-7+b13)
bibliothèque statistique C Apophenia − paquet binaire
aribas (1.64-6)
Interpréteur pour l'arithmétique
auto-07p (0.9.1+dfsg-7)
logiciel pour les problèmes de continuation et de bifurcation en équations différentielles ordinaires
autoclass (3.3.6.dfsg.1-1+b2)
Classification automatique ou mise en grappe
axiom (20170501-4)
système généraliste d'algèbre : programme principal et modules
axiom-databases (20170501-4)
système généraliste d'algèbre : bases de données texte générées
axiom-graphics (20170501-4)
système généraliste d'algèbre : sous-ensemble graphique
axiom-graphics-data (20170501-4)
système généraliste d'algèbre : sous-ensemble graphique
axiom-hypertex (20170501-4)
système informatisé d'algèbre à usage générique : sous-système hypertex
axiom-hypertex-data (20170501-4)
système informatisé d'algèbre à usage générique : sous-système hypertex
axiom-source (20170501-4)
système généraliste d'algèbre : fichiers source
axiom-test (20170501-4)
système généraliste d'algèbre : entrées de test de régression
axiom-tex (20170501-4)
système généraliste d'algèbre : feuilles de style pour TeX
bc (1.07.1-2+b1)
langage de calculateur de précision arbitraire bc GNU
bindechexascii (0.0+20140524.git7dcd86-4)
convertisseur ASCII, binaire, décimal et hexadécimal simple
bliss (0.73-2)
outil pour calculer les automorphismes et étiquetages de graphes — exécutable
braillegraph (0.3-1)
outil d'histogramme simple pour produire des graphes à partir de matrices de points en mode texte
bytes-circle (2.6-1)
affichage de statistiques d'octets en graphique circulaire ASCII
c-graph (2.0.1-3.1)
outil de visualisation interactive pour le théorème de convolution
cadabra (1.46-5)
système algébrique motivé par la théorie des champs
calligrasheets (1:3.1.0+dfsg-5)
feuille de calcul pour la suite Calligra
calligrasheets-data (1:3.1.0+dfsg-5)
fichiers de données pour le tableur Sheets
cantor (4:18.12.0-2)
interface pour applications mathématiques
cantor-backend-kalgebra (4:18.12.0-2)
dorsal KAlgebra pour Cantor
cantor-backend-lua (4:18.12.0-2)
dorsal Lua pour Cantor
cantor-backend-maxima (4:18.12.0-2)
moteur Maxima pour Cantor
cantor-backend-octave (4:18.12.0-2)
dorsal Octave pour Cantor
cantor-backend-python2 (4:18.12.0-2)
dorsal Python2 pour Cantor
cantor-backend-python3 (4:18.12.0-2)
dorsal Python3 pour Cantor
cantor-backend-qalculate (4:18.12.0-2)
dorsal Qalculate! pour Cantor
cantor-backend-r (4:18.12.0-2)
dorsal R pour Cantor
cantor-backend-sage (4:18.12.0-2)
dorsal Sage pour Cantor
cantor-backend-scilab (4:18.12.0-2)
dorsal Scilab pour Cantor
carmetal (3.5.2+dfsg-1.1)
logiciel de géométrie dynamique avec une interface hautement ergonomique
cimg-dev (2.4.5+dfsg-1+deb10u1)
bibliothèque puissante de calcul d'images
cliquer (1.21-2)
programme de recherche de cliques
cohomcalg (0.32+ds-2)
sheaf cohomology of line bundles on toric varieties
cohomcalg-common (0.32+ds-2)
cohomologies de faisceaux pour des fibrés en droites pour des variétés de tore – fichiers communs
concalc (0.9.2-2+b2)
Calculatrice pour la console
coq (8.9.0-1)
proof assistant for higher-order logic (toplevel and compiler)
coq-theories (8.9.0-1)
outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
cvc4 (1.6-2+b1)
automated theorem prover for SMT problems
dc (1.07.1-2+b1)
calculatrice GNU dc en précision arbitraire et notation polonaise inversée
deepin-calculator (1.0.10-1)
calculatrice pour DDE (Deepin Desktop Environment)
dicelab (0.7-5)
évaluation de la distribution statistique de lancers de dés
dolfin-bin (2018.1.0.post1-16)
scripts exécutables pour DOLFIN
dynare (4.5.7-1)
plateforme pour gérér une large catégorie de modèles économiques
dynare-matlab (4.5.7-1) [contrib]
MATLAB support for Dynare
eclib-tools (20180815-2)
Programs for modular symbols and elliptic curves over Q
eukleides (1.5.4-4.1)
langage de tracé en géométrie euclidienne
euler (1.61.0-11+b1)
environnement de programmation mathématique interactive
evolver (2.70+ds-4)
Surface Evolver, modélisation de surfaces
evolver
paquet virtuel fourni par evolver-nox, evolver-ogl
evolver-nox (2.70+ds-4)
Surface Evolver, modélisation de surfaces – sans gestion d’X
evolver-ogl (2.70+ds-4)
Surface Evolver, modélisation de surfaces – avec affichage OpenGL
fenics (1:2018.1.0.6)
résolution automatique d’équations différentielles.
fflas-ffpack (2.3.2-3)
paquet de sous-routines pour l’algèbre linéaire des corps finis
fflas-ffpack-common (2.3.2-3)
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-3)
programme utilisant un crible quadratique pour la décomposition en facteurs premiers
fplll-tools (5.2.1-2)
outils pour calculer la réduction LLL de réseaux euclidiens
freefem (3.5.8-7)
langage orienté vers un environnement de développement, utilisant la méthode des éléments finis
freefem++ (3.61.1+dfsg1-4)
Provides the binaries of the FreeFem++ FE suite
freefem-examples (3.5.8-7)
fichiers d’exemple pour FreeFEM
freemat (4.2+dfsg1-6+b3)
Environnement mathématique (globalement compatible Matlab)
freemat-data (4.2+dfsg1-6)
freemat data files
freemat-help (4.2+dfsg1-6)
fichiers d’aide pour freemat
frobby (0.9.0-5+b11)
Computations with monomial ideals
galculator (2.1.4-1+b1)
calculatrice scientifique
gap (4r10p0-7)
système d’algèbre informatique Gap (Groups, Algorithms, Programming)
gap-alnuth (3.1.0-3)
GAP Alnuth – théorie algébrique des nombres et une interface pour PARI/GP
gap-atlasrep (1.5.1-2)
GAP AtlasRep – interface de GAP pour « Atlas of Group Representations »
gap-autodoc (2018.09.20-1)
GAP AutoDoc - Generate documentation from GAP source code
gap-autpgrp (1.10-1)
GAP AutPGrp – calcul du groupe d’automorphismes de p-groupe
gap-character-tables (1r2p2.dfsg.0-3)
bibliothèque de tables de caractères pour GAP
gap-core (4r10p0-7)
système algébrique par informatique GAP – composants centraux
gap-design (1r6+ds-2)
conception de bloc (bloc design) pour GAP
gap-factint (1.6.2+ds-1)
méthodes modernes de factorisation d’entiers pour GAP
gap-float (0.9.1+ds-4)
multi-precision floating-point computation for GAP
gap-gapdoc (1.6.2-1)
GAPDoc - A Meta Package for GAP Documentation
gap-grape (4.8.1+ds-3)
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.14+ds-1)
coding theory library for GAP
gap-guava-bin (3.14+ds-1)
coding theory library for GAP (arch-dep files)
gap-io (4.5.4+ds-3)
liaisons de bas niveau d’E/S pour la bibliothèque C pour GAP
gap-laguna (3.9.1+ds-1)
LAGUNA GAP package
gap-libs (4r10p0-7)
GAP computer algebra system, essential GAP libraries
gap-online-help (4r10p0-7)
système algébrique par informatique GAP – aide en ligne
gap-openmath (11.4.2+ds-3)
recueil d’expressions OpenMath pour GAP
gap-polycyclic (2.14-1)
GAP Polycyclic – calcul des groupes polycycliques
gap-prim-groups (4r8p5-2)
Database of primitive groups for GAP
gap-primgrp (3.3.2-1)
GAP PrimGrp - GAP Primitive Permutation Groups Library
gap-radiroot (2.8-1)
GAP RadiRoot - Roots of a Polynomial as Radicals
gap-scscp (2.2.3+ds-2)
protocole SCSCP pour GAP
gap-small-groups (4r8p5-2)
Database of small groups for GAP
gap-small-groups-extra (4r8p5-2)
Large database of small groups for GAP
gap-smallgrp (1.3-1)
GAP SmallGrp – bibliothèque de GAP pour les petits groupes
gap-smallgrp-extra (1.3-1)
GAP SmallGrp - The GAP Small Groups Library
gap-sonata (2.9.1+ds-2)
Systems Of Nearrings And Their Applications for GAP
gap-table-of-marks (1.2.7-2)
GAP TomLib - The GAP Library of Tables of Marks
gap-toric (1.9.4+ds-1)
toric variety for GAP
gap-trans-groups (4r8p5-2)
Database of transitive groups for GAP
gap-transgrp (2.0.4-1)
GAP TransGrp - Transitive Groups Library
gbase (0.5-2.2+b2)
Petit convertisseur de base numérique
geg (2.0.9-3)
grapheur d'équations en GTK+
geneagrapher (1.0c2+git20180919-1)
Create tree from Mathematics Genealogy Project
geomview (1.9.5-2)
visualisation interactive de formes géométriques
geophar (18.08.2+dfsg1-2)
Swiss army knife for the math teacher
getdp (3.0.4+dfsg1-1)
general environment for the treatment of discrete problems
getdp-sparskit (3.0.4+dfsg1-1)
general environment for the treatment of discrete problems
gfan (0.6.2-2)
program for computing with Groebner fans
gfm (1.08-1)
programme de manipulation de fichier d’appareils portables de Texas Instruments pour X
ggobi (2.1.11-2)
système de visualisation de données de grande dimension
ginac-tools (1.7.5-1)
outils de gestion de l'environnement symbolique GiNaC
glpk-utils (4.65-2)
Ensemble de programmation linéaire — fichiers utilitaires
gmp-ecm (7.0.4+ds-5)
factorisation d'entiers par courbe elliptique (méthode ECM)
gmsh (4.1.5+really4.1.3+ds1-1)
Générateur de maillage tridimensionnel d'éléments finis
gnome-calculator (3.30.1-2)
calculatrice du bureau GNOME
gnumeric (1.12.44-1)
Tableur pour GNOME - programme principal
gnumeric-common (1.12.44-1)
Tableur pour GNOME - fichiers communs
gnumeric-plugins-extra (1.12.44-1)
application de tableur pour GNOME – greffons supplémentaires
gnuplot (5.2.6+dfsg1-1+deb10u1)
programme de tracé interactif en ligne de commande
gnuplot
paquet virtuel fourni par gnuplot-x11, gnuplot-qt, gnuplot-nox
gnuplot-mode (1:0.7.0-2014-12-31-1)
paquet de transition de gnuplot-mode à elpa-gnuplot-mode
gnuplot-mode
paquet virtuel fourni par elpa-gnuplot-mode
gnuplot-nox (5.2.6+dfsg1-1+deb10u1)
programme de tracé interactif en ligne de commande - paquet sans X11
gnuplot-nox
paquet virtuel fourni par gnuplot-qt, gnuplot-x11
gnuplot-qt (5.2.6+dfsg1-1+deb10u1)
programme de tracé interactif en ligne de commande – paquet pour Qt
gnuplot-x11 (5.2.6+dfsg1-1+deb10u1)
programme de tracé interactif en ligne de commande – paquet pour X11
gnuplot-x11
paquet virtuel fourni par gnuplot-qt
grace (1:5.1.25-6)
outil de tracé graphique en XY
graphmonkey (1.7-4)
calculatrice graphique basée sur GTK#
gretl (2019a-1)
bibliothèque GNU de régressions, d'économétrie et de séries temporelles
gretl-common (2019a-1)
GNU Regression, Econometric & Time-Series Library – paquet de scripts
gretl-data (2019a-1)
GNU Regression, Econometric & Time-Series Library – paquet de données
grpn (1.4.1-1)
calculateur en GTK+ selon la notation polonaise inverse
gsl-bin (2.5+dfsg-6+deb10u1) [security]
Bibliothèque scientifique GNU (GSL, GNU Scientific Library) : binaires
gudhi-utils (2.3.0+dfsg-2+b1)
Utilities from the GUDHI library
gudhui (2.3.0+dfsg-2+b1)
interface graphique pour quelques fonctions de la bibliothèque GUDHI
hol88 (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur), image système
hol88-contrib-help (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) –⋅fichiers d’aide en ligne contributions d'utilisateurs
hol88-contrib-source (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) – source contribution d'utilisateurs
hol88-help (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) – fichiers d’aide en ligne
hol88-library (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) –⋅modules exécutables de la bibliothèque
hol88-library-help (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) – fichiers d’aide en ligne de la bibliothèque
hol88-library-source (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) –⋅fichiers source de la bibliothèque
hol88-source (2.02.19940316-35)
Higher Order Logic (logique d'ordre supérieur) – fichiers source
jacal (1b9-7)
système de calcul symbolique interactif
jags (4.3.0-2)
un autre échantillonneur Gibbs pour les simulations bayésiennes MCMC —⋅exécutable
jfractionlab (0.92-1)
programme éducatif pour la pratique des fractions
jgraph (83-23+b1)
Programme de Jim Plank pour produire des graphes PostScript
jsurf-alggeo (0.4.1+ds-3)
Java based visualization library for real algebraic geometry
kalgebra (4:17.08.3-2)
Calculateur graphique algébrique
kalgebra-common (4:17.08.3-2)
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:17.08.3-2)
calculatrice graphique algébrique pour les interfaces basées sur de petites touches
kali (3.1-18)
tracé de pavements, de motifs de frises, etc.
kbruch (4:17.08.3-1)
outil d'apprentissage de calcul avec des fractions pour KDE
kcalc (4:18.04.1-1)
calculatrice simple et scientifique
kig (4:17.08.3-1+b1)
outil de géométrie interactive
kmplot (4:17.08.3-1)
traceur de fonctions mathématiques pour KDE
labplot (2.5.0-2+b2)
tracé et analyse interactifs de données scientifiques
labplot-data (2.5.0-2)
data files for labplot
ladr4-apps (0.0.200911a-2.1+b2)
bibliothèque de déduction LADR – diverses applications
lcalc (1.23+dfsg-11)
Programme pour le calcul des fonctions L
libcantor-pythonbackend (4:18.12.0-2)
dorsal Python de base pour Cantor
libcdd-tools (094j-2)
Programs using libcdd
libgts-bin (0.7.6+darcs121130-4)
binaires d’utilitaires pour libgts
liblrs0 (0.70-3)
package to enumerate vertices and extreme rays (shared libraries)
libreoffice-nlpsolver (0.9+LibO6.1.5-3+deb10u11) [security]
extension de solveur pour programmation non-linéaire pour LibreOffice
libsbml5-octave (5.17.2+dfsg-3)
System Biology Markup Language library - Octave bindings
lie (2.2.2+dfsg-3)
Paquet d'algèbre par ordinateur pour les calculs de groupe de Lie
lp-solve (5.5.0.15-4+b1)
résolution de problèmes d'optimisation linéaire (en variables mixtes)
lrcalc (1.2-2+b1)
programmes pour calculer les coffficients de Littlewood-Richardson
lrslib (0.70-3)
package to enumerate vertices and extreme rays of a convex polyhedron
mandelbulber2 (2.13.2-5)
rendu et animation de fractales en 3D
mandelbulber2-data (2.13.2-5)
rendu et animation de fractales en 3D – fichiers de données
maria (1.3.5-4.1+b1)
analyseur d'accessibilité pour les réseaux de systèmes algébriques
mate-calc (1.20.3-1)
calculatrice pour le bureau MATE
mate-calc-common (1.20.3-1)
MATE desktop calculator (common files)
mathomatic (16.0.5-1)
système de calcul formel (CAS) portable
mathomatic-primes (16.0.5-1)
outils de nombres premiers pour Mathomatic
mathpiper (0.81f+svn4469+dfsg3-3)
calcul formel en Java
matlab2tikz (1.1.0-6)
conversion de tracés d’Octave en figures de TikZ pour intégration dans LaTeX
maxima (5.42.1-1)
système de calcul formel - système de base
maxima-emacs (5.42.1-1)
système de calcul formel – interface Emacs
maxima-sage (5.41.0+ds-4)
système de calcul formel – système de base
maxima-sage-share (5.41.0+ds-4)
système de calcul formel – code supplémentaire
maxima-share (5.42.1-1)
système de calcul formel – code supplémentaire
maxima-src (5.42.1-1)
système de calcul formel – code source
maxima-test (5.42.1-1)
système de calcul formel – suite de tests
mcl (1:14-137+ds-3)
algorithme de Markov pour les grappes
mcrl2 (201409.0-1+b2)
boîte à outils pour le langage de spécification formel
metis (5.1.0.dfsg-5+b2)
Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
metis-edf (4.1-2-4+b1) [non-free]
Family of Multilevel Partitioning Algorithms
ministat (20150715-1+b1)
outil simple de comparaison statistique d’ensembles de données
minlog (4.0.99.20100221-6)
système de manipulation de preuve basé sur des calculs de déduction naturelle du premier ordre
mlucas (17.1-3)
programme pour réaliser des tests de Lucas-Lehmer sur un nombre de Mersenne
model-builder (0.4.1-6.2)
simulateur graphique d’équations différentielles (ODE)
mongoose (1:5.4.0+dfsg-1)
graph partitioning tool that can quickly compute edge cuts (executable)
mumps-test (5.1.2-4+b2)
Example/test binaries using MUMPS
nauty (2.6r10+ds-1)
bibliothèque pour l’automorphisme de graphe – interface et outils
netgen (6.2.1804+dfsg1-3)
Générateur automatique de maillage tétraédrique 3D
normaliz (3.6.3+ds-1)
outil mathématique pour le calcul de monoïdes affines, de polytopes et de cônes rationnels
normaliz-bin (3.6.3+ds-1)
outil mathématique pour le calcul de monoïdes affines, de polytopes et de cônes rationnels – exécutable
num-utils (0.5-12)
programmes pour traiter les nombres en ligne de commande
octave (4.4.1-5)
langage GNU Octave pour calculs numériques
octave-arduino (0.3.0-2)
Octave Arduino Toolkit
octave-bim (1.1.5-6)
PDE solver using a finite element/volume approach in Octave
octave-bsltl (1.1.1-2)
bibliothèque d’outils pour laser biospeckle
octave-cgi (0.1.2-2)
Common Gateway Interface for Octave
octave-common (4.4.1-5)
fichiers indépendants de l'architecture pour Octave
octave-communications (1.2.1-7)
paquet d’octave pour les transmissions
octave-communications-common (1.2.1-7)
communications package for Octave (arch-indep files)
octave-control (3.1.0-3)
computer-aided control system design (CACSD) for Octave
octave-data-smoothing (1.3.0-7)
functions to do data smoothing on noisy data
octave-dataframe (1.2.0-4)
manipulate data in Octave similar to R data.frame
octave-dicom (0.2.1-5)
manipulate DICOM files in Octave
octave-divand (1.1.2+dfsg-4)
n-dimensional interpolation for Octave
octave-doctest (0.6.1-2)
documentation tests for Octave
octave-econometrics (1:1.1.1-6)
fonctions économétriques pour Octave
octave-financial (0.5.3-2)
financial package for Octave
octave-fits (1.0.7-3)
manipulation of FITS files in Octave
octave-fpl (1.3.5-5)
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-fuzzy-logic-toolkit (0.4.5-2)
fuzzy logic toolkit for Octave
octave-ga (0.10.0-6)
code d'optimisation génétique pour Octave
octave-general (2.1.0-2)
fonctions générales supplémentaires pour Octave
octave-geometry (3.0.0-9)
geometric computing functions for Octave
octave-gsl (2.1.1-2)
Binding GSL pour Octave
octave-image (2.10.0-2)
manipulation d'images pour Octave
octave-image-acquisition (0.2.2-2)
image acquisition package for Octave
octave-instrument-control (0.3.1-2)
instrument control for Octave
octave-interval (3.2.0-4)
real-valued interval arithmetic for Octave
octave-io (2.4.12-2)
fonctions d’entrée et sortie de données pour Octave
octave-level-set (0.3.0-6)
level-set toolbox for Octave
octave-linear-algebra (2.2.2-7)
fonctions supplémentaires d’algèbre linéaire pour Octave
octave-lssa (0.1.3-2)
least squares spectral analysis for Octave
octave-ltfat (2.3.1+dfsg-2)
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.3.1+dfsg-2)
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.2.1-4)
geographical mapping functions for Octave
octave-miscellaneous (1.2.1-5)
outils divers pour Octave
octave-missing-functions (1.0.2-8)
finds functions that are in Matlab but not in Octave
octave-mpi (1.2.0-6)
boite à outils d’Octave pour le calcul en parallèle en utilisant MPI
octave-msh (1.0.10-7)
create and manage meshes for FE or FV solvers in Octave
octave-mvn (1.1.0-2)
multivariate normal distribution clustering for Octave
octave-nan (3.1.4-5)
prise en charge de données avec ou sans valeurs manquantes dans Octave
octave-ncarray (1.0.4-2)
access NetCDF files as a multi-dimensional array in Octave
octave-netcdf (1.0.12-2)
Matlab compatible NetCDF interface for Octave
octave-nlopt (2.4.2+dfsg-8+b1)
nonlinear optimization library -- GNU Octave package
octave-nurbs (1.3.13-5)
non-uniform rational B-splines for Octave
octave-octclip (1.0.8-5)
opérations booléennes sur les polygones avec Octave
octave-octproj (1.1.5-4)
liaisons de GNU Octave pour PROJ.4
octave-optics (0.1.3-2)
optics functions for Octave
octave-optim (1.5.3-2)
boîte à outils pour l’optimisation non linéaire sans contraintes pour Octave
octave-optiminterp (0.3.5-2)
paquet d’interpolation optimale pour Octave
octave-parallel (3.1.3-2)
exécution en parallèle d’Octave dans des grappes d’ordinateurs
octave-pfstools (2.1.0-3+b5)
liaisons d’octave pour pfstools
octave-plplot (5.14.0+dfsg-3)
prise en charge Octave pour PLplot, une bibliothèque de traçage
octave-quaternion (2.4.0-5)
quaternion package for Octave
octave-queueing (1.2.6-5)
Queueing Networks and Markov chains analysis for Octave
octave-secs1d (0.0.9-6)
semi conductor simulator in 1D for Octave
octave-secs2d (0.0.8-10)
semi conductor simulator in 2D for Octave
octave-secs3d (0.0.1-2)
simulateur de Drift-Diffusion pour les dispositifs à semi-conducteur en 3D d'Octave
octave-signal (1.4.0-3)
fonctions de traitement de signal pour Octave
octave-sockets (1.2.0-4)
communication through Internet sockets in Octave
octave-sparsersb (1.0.6-2)
RSB sparse matrix manipulation for Octave
octave-specfun (1.1.0-5)
fonctions mathématiques spéciales pour Octave
octave-splines (1.3.2-6)
cubic spline functions for Octave
octave-statistics (1.4.0-5)
additional statistical functions for Octave
octave-stk (2.5.1-2)
(not so) Small Toolbox for Kriging
octave-strings (1.2.0-4)
fonctions de manipulation supplémentaires de chaînes pour Octave
octave-struct (1.0.15-2)
additional structure manipulation functions for Octave
octave-symbolic (2.7.1-2)
paquet symbolique pour Octave
octave-tsa (4.4.5-4)
time series analysis in Octave
octave-vibes (0.2.0-3)
VIBes API to easily display results in Octave
octave-vrml (1.0.13-5)
fonctions VRML pour Octave
octave-zenity (0.5.7-9)
simple graphical user interfaces using zenity in Octave
octave-zeromq (1.3.0-4)
ZeroMQ binding for Octave
orpie (1.5.2-2+b1)
calculateur NPI (RPN) pour le terminal
palp (2.1-5)
Paquet par l’analyse des polytopes réticulés (lattice polytopes)
pari-elldata (0.20161017-1)
PARI/GP Computer Algebra System elliptic curves (elldata)
pari-galdata (0.20080411-2)
PARI/GP Computer Algebra System Galois resolvents (galdata)
pari-galpol (4.0-1)
PARI/GP Computer Algebra System Galois polynomial database
pari-gp (2.11.1-2)
système de calcul formel PARI/GP – exécutables
pari-gp2c (0.0.11pl1-1)
compilateur GP vers C de PARI/GP
pari-seadata (0.20090618-1)
PARI/GP Computer Algebra System modular polynomials (seadata)
parmetis-test (4.0.3-5+b1) [non-free]
Parallel Graph Partitioning and Sparse Matrix Ordering Tests
pdl (1:2.019-5+b1)
langage de données Perl : extensions de Perl pour le calcul numérique
pgplot5 (5.2.2-19.3+b2) [non-free]
large subroutine library for plotting scientific data
pi (1.3.4-4)
calcul de la constante d’Archimède Pi avec une précision arbitraire
planarity (3.0.0.5-3)
Program for planarity-related graph algorithms
plotdrop (0.5.4-1)
interface GNOME minimaliste pour Gnuplot
plotutils (2.6-10)
outils en ligne de commande plotutils de GNU basés sur libplot
plplot-tcl (5.14.0+dfsg-3)
prise en charge de Tcl/Tk pour PLplot, une bibliothèque de tracé
plplot-tcl-bin (5.14.0+dfsg-3)
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.14.0+dfsg-3)
Tcl/Tk development support for PLplot, a plotting library
polylib-utils (5.22.5-4+dfsg)
outils divers utilisant libpolylib
polymake (3.2r4-4)
Tool for algorithmic discrete geometry
polymake-common (3.2r4-4)
outil pour la géométrie discrète algorithmique – fichiers partagés
primesieve (7.3+ds-1)
fast prime number generator C/C++ library
primesieve-bin (7.3+ds-1)
fast prime number generator C/C++ library -- bin
prover9 (0.0.200911a-2.1+b2)
démonstrateur de théorème et générateur de contre-exemples
prover9-mace4 (0.5.dfsg-3)
interface graphique pour Prover9 et Mace4
psignifit (2.5.6-5)
ajuster et essayer des hypothèses sur les fonctions psychometriques
pspp (1.2.0-3)
outil d'analyse statistique
ptscotch (6.0.6-2)
programmes et bibliothèques MPI pour la segmentation de graphes, maillages et hypergraphes
pyecm (2.0.2-4)
décomposition en facteurs premiers avec la méthode ECM
pyxplot (0.9.2-8)
programme de traçage de données de qualité publiable
qalc (2.8.2-1)
calculatrice puissante et facile à utiliser en ligne de commande
qalculate-gtk (2.8.2-1)
calculatrice de bureau simple et puissante - version GTK+
qhull-bin (2015.2-4)
Calcul d'enveloppes convexes et d'autres objets mathématiques
qsopt-ex (2.5.10.3-2)
résolveur exact d’optimisation linéaire
qtiplot (0.9.8.9-18)
analyse de données et tracé scientifique
quickplot (1.0.1~rc-1+b2)
Traceur rapide en 2D et visualiseur
r-bioc-hilbertvis (1.40.0-1)
paquet de GNU R pour visualiser de grands vecteurs de données
regina-normal (5.1-6+b1)
mathematical software for low-dimensional topology
regina-normal-mpi (5.1-6+b1)
utilitaire MPI pour le logiciel de topologie Regina
relational (2.5-2)
Outil pédagogique pour l'algèbre relationnelle (interface utilisateur graphique)
relational-cli (2.5-2)
outil pédagogique pour l'algèbre relationnelle (interface en ligne de commande)
rheolef (7.0-2+b1)
environnement efficace pour les calculs en éléments finis
ries (2018.08.05-1)
recherche d’équations algébriques, leur solution étant fournie
rkward (0.7.0b-1.1)
frontal de KDE pour le langage de statistiques R
rkward-data (0.7.0b-1.1)
KDE frontend to the R statistics language - data files
rlplot (1.5-4)
Application d'interface utilisateur graphique pour la génération de graphiques de qualité digne de publication
rocs (4:17.08.3-1)
EDI pour la théorie des graphes
rubiks (20070912-3)
Small collection of Rubik's cube solvers
sagemath (8.6-6)
logiciel de mathématiques au code source ouvert
sagemath-common (8.6-6)
système logiciel au code source ouvert pour le calcul mathématique – fichiers indépendants de l’architecture
sagemath-database-conway-polynomials (0.5-4)
Database of Conway polynomials
sagemath-database-elliptic-curves (0.8-2)
Databases for elliptic curves
sagemath-database-graphs (20161026+dfsg-2)
Databases of graphs
sagemath-database-mutually-combinatorial-designs (20140630-3)
Databases of combinatorial designs
sagemath-database-polytopes (20170220-2)
Databases of polytopes
sagemath-doc-ca (8.6-6)
Open Source Mathematical Software - documentation (Catalan; Valencian)
sagemath-doc-de (8.6-6)
Open Source Mathematical Software - documentation (German)
sagemath-doc-en (8.6-6)
Open Source Mathematical Software - documentation (English)
sagemath-doc-es (8.6-6)
Open Source Mathematical Software - documentation (Spanish; Castilian)
sagemath-doc-fr (8.6-6)
système logiciel au code source ouvert pour le calcul mathématique – documentation française
sagemath-doc-hu (8.6-6)
Open Source Mathematical Software - documentation (Hungarian)
sagemath-doc-it (8.6-6)
Open Source Mathematical Software - documentation (Italian)
sagemath-doc-ja (8.6-6)
Open Source Mathematical Software - documentation (Japanese)
sagemath-doc-pt (8.6-6)
Open Source Mathematical Software - documentation (Portuguese)
sagemath-doc-ru (8.6-6)
Open Source Mathematical Software - documentation (Russian)
sagemath-doc-tr (8.6-6)
Open Source Mathematical Software - documentation (Turkish)
sagemath-jupyter (8.6-6)
Open Source Mathematical Software - Jupyter kernel
sc (7.16-4+b3)
Tableur en mode texte avec des commandes au clavier à la VI
scalapack-mpi-test (2.0.2-7+b2)
Scalable Linear Algebra Package - Test files for MPI
scilab (6.0.1-10+deb10u1)
paquet logiciel scientifique pour le calcul numérique
scilab-cli (6.0.1-10+deb10u1)
Logiciel de calcul numérique pour les applications scientifiques (interpréteur en ligne de commande)
scilab-data (6.0.1-10+deb10u1)
paquet logiciel scientifique pour le calcul numérique – fichiers de données
scilab-full-bin (6.0.1-10+deb10u1)
paquet logiciel scientifique pour le calcul numérique – ensemble des fichiers exécutables
scilab-include (6.0.1-10+deb10u1)
paquet logiciel scientifique pour le calcul numérique – fichiers include
scilab-minimal-bin (6.0.1-10+deb10u1)
Logiciel de calcul numérique pour les applications scientifiques (fichiers binaires minimaux)
scilab-test (6.0.1-10+deb10u1)
paquet logiciel scientifique pour le calcul numérique – fichiers de test
scotch (6.0.6-2)
programmes et bibliothèques pour le partitionnement de graphe, maillage et hypergraphe
sdpb (1.0-3+b4)
Semidefinite program solver
sgb (1:20090810-1) [non-free]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.1.1-p2+ds-3)
Computer Algebra System for Polynomial Computations
singular-data (1:4.1.1-p2+ds-3)
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.1.1-p2+ds-3)
système informatique pour les calculs sur les polynômes -- interface en console
singular-ui-emacs (1:4.1.1-p2+ds-3)
système de calcul formel pour le calcul polynomial – interface pour Emacs
singular-ui-xterm (1:4.1.1-p2+ds-3)
système informatique pour les calculs sur les polynômes – interface utilisateur xterm
snappea (3.0d3-24)
programme de création et d’étude de variétés 3D hyperboliques
socnetv (2.4-1)
étude des réseaux sociaux et application de visualisation
sollya (7.0+ds-3)
library for safe floating-point code development -- tool
speedcrunch (0.12.0-4)
calculatrice haute précision
spigot (0.2017-01-15.gdad1bbc6-1+b1)
Exact real calculator
spline (1.2-4)
Interpolation de spline d’Akima
stda (1.3.1-2)
simple tools for data analysis (stda)
surf-alggeo (1.0.6+ds-4)
visualization of real algebraic geometry
surf-alggeo-nox (1.0.6+ds-4)
visualisation de géométries algébriques réelles sans prise en charge de X
sympow (2.023.5-2)
Programme mathématique pour les fonctions L de courbe elliptique de puissances symétriques
sympow-data (2.023.5-2)
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6+dsx-9)
programme autonome de lancer de rayon, parallèle et multiprocesseur – métapaquet
tachyon-bin-nox (0.99~b6+dsx-9)
programme autonome de lancer de rayon, parallèle et multiprocesseur – sans gestion de X
tachyon-bin-ogl (0.99~b6+dsx-9)
programme autonome de lancer de rayon, parallèle et multiprocesseur – affichage OpenGL
tapecalc (20070214-2+b3)
Un éditeur de bande en plein écran qui laisse l'utilisateur modifier un calcul
testu01-bin (1.2.3+ds1-1) [non-free]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3+ds1-1) [non-free]
testing suite for uniform random number generators -- data
tetgen (1.5.0-5)
générateur de qualité pour des maillages tétraédriques
tiemu (3.04~git20110801-nogdb+dfsg1-2)
émulateur de calculatrice Texas Instruments (sans GDB)
tiemu-skinedit (1.27-3)
éditeur d'interface pour TiEmu
tilem (2.0-3)
émulateur en GTK+ de calculatrices TI Z80
tilem-data (2.0-3)
émulateur en GTK+ de calculatrices TI Z80 – fichiers de données
tilp2 (1.18-3)
programme de communication pour calculatices Texas Instruments <-> PC fonctionnant sous X
twinvoicerecalc (0.0.20170711-1)
calcul inverse de factures à Taïwan
vspline-dev (0.4.1-1)
header-only C++ template library for uniform b-spline processing
wcalc (2.5-3)
calculatrice scientifique en ligne de commande
why3 (1.2.0-1)
plateforme de vérification logicielle
why3-coq (1.2.0-1)
prise en charge de coq pour la plateforme de vérification why3
why3-doc-html (1.2.0-1)
documentation en HTML pour la plateforme de vérification why3
why3-doc-pdf (1.2.0-1)
documentation en PDF pour la plateforme de vérification why3
why3-examples (1.2.0-1)
exemples pour la plateforme de vérification why3
wxmaxima (19.01.2-1)
interface graphique pour le système de calcul formel Maxima
wzip (1.1.5)
Compression avec perte et filtrage de bruit
xmaxima (5.42.1-1)
système de calcul formel – interface X
yacas (1.3.6-2+b1)
système de calcul formel