Paquets logiciels dans « sid », Sous-section math

4ti2 (1.6.10+ds-1.1)
suite d'outils mathématiques pour les problèmes dans les espaces linéaires − outils
acl2 (8.5dfsg-5+b2 [mips64el, riscv64], 8.5dfsg-5+b1 [amd64, arm64, armel, armhf, i386, ppc64, ppc64el, s390x, sparc64], 8.5dfsg-5 [hppa], 8.5dfsg-2 [m68k], 8.5dfsg-1 [x32], 8.4dfsg-2 [alpha, sh4])
logique calculatoire pour Applicative Common Lisp - binaire principal
acl2-books (8.5dfsg-5+b2 [mips64el, riscv64], 8.5dfsg-5+b1 [amd64, arm64, armel, armhf, i386, ppc64, ppc64el, s390x, sparc64], 8.5dfsg-5 [hppa], 8.5dfsg-2 [m68k], 8.5dfsg-1 [x32], 8.4dfsg-2 [alpha, sh4])
logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées
acl2-books-certs (8.5dfsg-5)
logique calculatoire pour Applicative Common List - certificats de bibliothèques
acl2-books-source (8.5dfsg-5)
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
acl2-infix (8.5dfsg-5+b2 [mips64el, riscv64], 8.5dfsg-5+b1 [amd64, arm64, armel, armhf, i386, ppc64, ppc64el, s390x, sparc64], 8.5dfsg-5 [hppa], 8.5dfsg-2 [m68k], 8.5dfsg-1 [x32], 8.4dfsg-2 [alpha, sh4])
logique calculatoire pour Applicative Common Lisp - interface infixe
acl2-infix-source (8.5dfsg-5)
logique algorithmique pour application Common Lisp - source infixe
acl2-source (8.5dfsg-5)
logique calculatoire pour Applicative Common Lisp - fichiers sources
admesh (0.98.5-1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 0.98.5-1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
outil pour calculer des maillages solides triangulés − exécutable
ann-tools (1.1.2+doc-9+b1)
bibliothèque de recherche approchée des plus proches voisins - outils
apophenia-bin (1.0+ds-8.1)
bibliothèque statistique C Apophenia − paquet binaire
aribas (1.65-1+b1 [riscv64], 1.65-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Interpréteur pour l'arithmétique
auto-07p (0.9.2+dfsg-3+b3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 0.9.2+dfsg-3+b2 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
logiciel pour les problèmes de continuation et de bifurcation en équations différentielles ordinaires
autoclass (3.3.6.dfsg.2-1+b1 [riscv64], 3.3.6.dfsg.2-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Classification automatique ou mise en grappe
axiom (20170501-12+b2 [mips64el], 20170501-12+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32])
système généraliste d'algèbre : programme principal et modules
axiom-databases (20170501-12)
système généraliste d'algèbre : bases de données texte générées
axiom-graphics (20170501-12+b2 [mips64el], 20170501-12+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32])
système généraliste d'algèbre : sous-ensemble graphique
axiom-graphics-data (20170501-12)
système généraliste d'algèbre : sous-ensemble graphique
axiom-hypertex (20170501-12+b2 [mips64el], 20170501-12+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32])
système informatisé d'algèbre à usage générique : sous-système hypertex
axiom-hypertex-data (20170501-12)
système informatisé d'algèbre à usage générique : sous-système hypertex
axiom-source (20170501-12)
système généraliste d'algèbre : fichiers source
axiom-test (20170501-12)
système généraliste d'algèbre : entrées de test de régression
axiom-tex (20170501-12)
système généraliste d'algèbre : feuilles de style pour TeX
bc (1.07.1-4)
langage de calculateur de précision arbitraire bc GNU
bergman (1.001+dfsg-2)
Gröbner bases in commutative and non-commutative algebras
bindechexascii (0.0+20140524.git7dcd86-4+b2 [riscv64], 0.0+20140524.git7dcd86-4+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x], 0.0+20140524.git7dcd86-4 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
convertisseur ASCII, binaire, décimal et hexadécimal simple
bliss (0.77-3+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 0.77-3 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
outil pour calculer les automorphismes et étiquetages de graphes — exécutable
braillegraph (0.3-2)
outil d'histogramme simple pour produire des graphes à partir de matrices de points en mode texte
bytes-circle (3.1-1+b2 [riscv64], 3.1-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
affichage de statistiques d'octets en graphique circulaire ASCII
cadabra2 (2.4.3.2-1.1+b1 [riscv64], 2.4.3.2-1.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64])
système algébrique motivé par la théorie des champs
cadical (1.7.4-1)
Simplified Satisfiability Solver
calc (2.15.0.4-1+b1)
calculateur de précision arbitraire
calc-common (2.15.0.4-1)
calculateur à précision arbitraire – fichiers communs
calligrasheets (1:3.2.1+dfsg-8+b3 [armhf, riscv64], 1:3.2.1+dfsg-8+b2 [amd64, arm64, armel, i386, ppc64, ppc64el, s390x], 1:3.2.1+dfsg-8+b1 [alpha, hppa, mips64el, sh4], 1:3.2.1+dfsg-7 [m68k], 1:3.2.1+dfsg-5+b1 [x32], 1:2.9.11+dfsg1-1+b1 [sparc64])
feuille de calcul pour la suite Calligra
calligrasheets-data (1:3.2.1+dfsg-8)
fichiers de données pour le tableur Sheets
cantor (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
interface pour applications mathématiques
cantor-backend-kalgebra (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
dorsal KAlgebra pour Cantor
cantor-backend-lua (4:22.12.3-1.1+b1)
dorsal Lua pour Cantor
cantor-backend-maxima (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
moteur Maxima pour Cantor
cantor-backend-octave (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
dorsal Octave pour Cantor
cantor-backend-python2 (4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64]) [debports]
dorsal Python2 pour Cantor
cantor-backend-python3 (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
dorsal Python3 pour Cantor
cantor-backend-qalculate (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
dorsal Qalculate! pour Cantor
cantor-backend-r (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
dorsal R pour Cantor
cantor-backend-sage (4:22.12.3-1.1+b2 [armhf], 4:22.12.3-1.1+b1 [amd64, arm64, i386, mips64el], 4:20.12.1-5 [alpha, m68k, ppc64, riscv64, x32], 4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64])
dorsal Sage pour Cantor
cantor-backend-scilab (4:22.12.3-1.1+b1)
dorsal Scilab pour Cantor
carmetal (4.3-2)
logiciel de géométrie dynamique avec une interface hautement ergonomique
cimg-dev (3.2.1+dfsg-1)
bibliothèque puissante de calcul d'images
clblast-tests (1.6.2-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32], 1.6.1-1 [m68k])
Tests for CLBlast
clblast-utils (1.6.2-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32], 1.6.1-1 [m68k])
utilitaires pour CLBlast
cliquer (1.21-3+b1)
programme de recherche de cliques
cohomcalg (0.32+ds-6+b2 [riscv64], 0.32+ds-6+b1 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64el, s390x, sh4], 0.32+ds-6 [alpha, ia64, ppc64, sparc64, x32])
sheaf cohomology of line bundles on toric varieties
cohomcalg-common (0.32+ds-6)
cohomologies de faisceaux pour des fibrés en droites pour des variétés de tore – fichiers communs
concalc (0.9.2-2.1+b1 [riscv64], 0.9.2-2.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Calculatrice pour la console
coq (8.18.0+dfsg-1+b1 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 8.17.0+dfsg-1+b2 [ppc64], 8.12.0-3+b3 [alpha, hppa, ia64, sh4, sparc64, x32], 8.1.pl3+dfsg-1+b2 [m68k])
outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
coq-theories (8.12.0-3+b3) [debports]
outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
coqide (8.18.0+dfsg-1+b1 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 8.17.0+dfsg-1+b2 [ppc64], 8.12.0-3+b3 [alpha, hppa, ia64, sh4, sparc64, x32], 8.1.pl3+dfsg-1+b2 [m68k])
outil d'aide à la preuve pour la logique d'ordre supérieur (interface en GTK)
cryptominisat (5.11.15+dfsg1-1.1)
SAT solver command line interface
cvc4 (1.8-3+b3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 1.8-3+b2 [alpha, ia64, m68k, ppc64, sparc64, x32], 1.5-1 [hppa])
automated theorem prover for SMT problems
cvc5 (1.1.2-2)
automated theorem prover for SMT problems
dc (1.07.1-4)
calculatrice GNU dc en précision arbitraire et notation polonaise inversée
deepin-calculator (5.7.21-2+b2 [riscv64], 5.7.21-2+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x], 5.7.21-2 [alpha, hppa, sh4], 5.7.21-1 [m68k, x32])
calculatrice pour DDE (Deepin Desktop Environment)
dicelab (0.7-7+b1 [riscv64], 0.7-7 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
outil de calcul de la distribution statistique de lancers de dés
dolfin-bin (2019.2.0~legacy20240219.1c52e83-1)
scripts exécutables pour DOLFIN
dynare (6.0-1 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 5.4-3+b2 [hppa], 5.4-3+b1 [m68k], 5.1-2+b1 [x32])
plateforme pour gérér une large catégorie de modèles économiques
dynare-matlab (6.0-1) [contrib]
MATLAB support for Dynare
eclib-tools (20240408-1 [alpha, amd64, arm64, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 20231212-1.1+b1 [armel, armhf], 20231212-1.1 [hppa, x32])
Programs for modular symbols and elliptic curves over Q
elan (3.1.0-1+b1 [amd64, arm64, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 1.4.2-3 [x32])
tool for managing installations of the Lean theorem prover
elpa-fricas (1.3.10-2)
General purpose computer algebra system: emacs support
eprover (3.0.03+ds-1+b1 [riscv64], 3.0.03+ds-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Equational theorem prover
eukleides (1.5.4-5+b2 [riscv64], 1.5.4-5+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
langage de tracé en géométrie euclidienne
euler (1.61.0-12+b2 [riscv64], 1.61.0-12+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
environnement de programmation mathématique interactive
evolver (2.70+ds-8 [all], 2.30c.dfsg-3+b1 [ppc64])
Surface Evolver, modélisation de surfaces
evolver
paquet virtuel fourni par evolver-nox, evolver-ogl
evolver-nox (2.70+ds-8+b2)
Surface Evolver, modélisation de surfaces – sans gestion d’X
evolver-ogl (2.70+ds-8+b2)
Surface Evolver, modélisation de surfaces – avec affichage OpenGL
fenics (2:0.7.0.1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2:0.7.0.1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
résolution automatique d’équations différentielles.
fenicsx (2:0.7.0.1)
Automated Solution of Differential Equations
fflas-ffpack (2.5.0-3+b1 [riscv64], 2.5.0-3 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
paquet de sous-routines pour l’algèbre linéaire des corps finis
fflas-ffpack-common (2.5.0-3)
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-4+b1 [riscv64], 1:1.0-4 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
programme utilisant un crible quadratique pour la décomposition en facteurs premiers
fplll-tools (5.4.5-1.1)
outils pour calculer la réduction LLL de réseaux euclidiens
freefem (3.5.8-7+b1 [riscv64], 3.5.8-7 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
langage orienté vers un environnement de développement, utilisant la méthode des éléments finis
freefem++ (4.14+dfsg-1 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x], 4.13+dfsg-1+b3 [m68k], 4.13+dfsg-1+b1 [hppa], 3.61.1+dfsg1-6 [x32], 3.61.1+dfsg1-5.1 [sparc64], 3.25-1 [sh4])
Provides the binaries of the FreeFem++ FE suite
freefem-examples (3.5.8-7)
fichiers d’exemple pour FreeFEM
fricas (1.3.10-2 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 1.3.10-1 [alpha], 1.3.8-8 [x32])
système généraliste d'algèbre : programme principal et modules
fricas-databases (1.3.10-2)
système généraliste d'algèbre : bases de données texte générées
fricas-graphics (1.3.10-2 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 1.3.10-1 [alpha], 1.3.8-8 [x32])
General purpose computer algebra system: graphics subsystem
fricas-graphics-data (1.3.10-2)
système généraliste d'algèbre : données pour graphiques
fricas-hypertex (1.3.10-2 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 1.3.10-1 [alpha], 1.3.8-8 [x32])
General purpose computer algebra system: hypertex subsystem
fricas-hypertex-data (1.3.10-2)
General purpose computer algebra system: hypertex data
fricas-source (1.3.10-2)
système généraliste d'algèbre – fichiers source
fricas-test (1.3.10-2)
General purpose computer algebra system: regression test inputs
frobby (0.9.5-4+b1)
Computations with monomial ideals
galculator (2.1.4-1.2+b2 [riscv64], 2.1.4-1.2+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
calculatrice scientifique
gap (4.13.0-1)
système d’algèbre informatique Gap (Groups, Algorithms, Programming)
gap-aclib (1.3.2-4)
GAP AClib - Almost Crystallographic Groups - A Library and Algorithms
gap-alnuth (3.2.1-1)
GAP Alnuth – théorie algébrique des nombres et une interface pour PARI/GP
gap-atlasrep (2.1.8-1)
GAP AtlasRep – interface de GAP pour « Atlas of Group Representations »
gap-autodoc (2023.06.19-1)
GAP AutoDoc - Generate documentation from GAP source code
gap-autpgrp (1.11-1)
GAP AutPGrp – calcul du groupe d’automorphismes de p-groupe
gap-browse (1.8.21-3+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 1.8.21-3 [alpha, hppa, m68k, ppc64, sh4])
Browse de GAP – interface en ncurses de navigation dans des applications
gap-character-tables (1.3.9-1)
bibliothèque de tables de caractères pour GAP
gap-congruence (1.2.6-1)
GAP Congruence - Congruence subgroups of SL(2,Integers)
gap-core (4.13.0-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 4r10p2-2 [ia64, sparc64], 4r4p12-2 [x32])
système algébrique par informatique GAP – composants centraux
gap-cryst (4.1.27-1)
GAP Cryst - Computing with crystallographic groups
gap-crystcat (1.1.10-2)
GAP CrystCat – catalogue de groupes cristallographiques
gap-design (1.8+ds-1)
conception de bloc (bloc design) pour GAP
gap-factint (1.6.3+ds-2)
méthodes modernes de factorisation d’entiers pour GAP
gap-fga (1.5.0-1)
GAP FGA - Free Group Algorithms
gap-float (1.0.4+ds-2 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.0.4+ds-1+b1 [alpha], 0.9.1+ds-1 [ia64, sparc64])
multi-precision floating-point computation for GAP
gap-gapdoc (1.6.7-1)
GAPDoc - A Meta Package for GAP Documentation
gap-grape (4.9.0+ds-1)
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.19+ds-1)
coding theory library for GAP
gap-guava-bin (3.19+ds-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 3.13+ds-2 [ia64, sparc64])
coding theory library for GAP (arch-dep files)
gap-hap (1.62+ds-1)
GAP HAP - Homological Algebra Programming
gap-hapcryst (0.1.15-3)
GAP HAPcryst - A HAP extension for crystallographic groups
gap-io (4.8.2+ds-2 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 4.8.2+ds-1 [alpha], 4.5.1+ds-1 [ia64, sparc64])
liaisons de bas niveau d’E/S pour la bibliothèque C pour GAP
gap-laguna (3.9.6+ds-1)
LAGUNA GAP package
gap-libs (4.13.0-1)
GAP computer algebra system, essential GAP libraries
gap-nq (2.5.11-1)
GAP nq - Nilpotent Quotients of Finitely Presented Groups
gap-online-help (4.13.0-1)
système algébrique par informatique GAP – aide en ligne
gap-openmath (11.5.3+ds-1)
recueil d’expressions OpenMath pour GAP
gap-polycyclic (2.16-2)
GAP Polycyclic – calcul des groupes polycycliques
gap-polymaking (0.8.7-3)
GAP polymaking - Interfacing the geometry software polymake
gap-primgrp (3.4.4-1)
GAP PrimGrp - GAP Primitive Permutation Groups Library
gap-radiroot (2.9-1)
GAP RadiRoot - Roots of a Polynomial as Radicals
gap-scscp (2.4.2+ds-1)
protocole SCSCP pour GAP
gap-smallgrp (1.5.3-1)
GAP SmallGrp – bibliothèque de GAP pour les petits groupes
gap-smallgrp-extra (1.5.3-1)
GAP SmallGrp - The GAP Small Groups Library
gap-sonata (2.9.6+ds-1)
Systems Of Nearrings And Their Applications for GAP
gap-table-of-marks (1.2.11-1)
GAP TomLib - The GAP Library of Tables of Marks
gap-toric (1.9.5+ds-2)
toric variety for GAP
gap-transgrp (3.6.5-1)
GAP TransGrp - Transitive Groups Library
gap-utils (0.85-1)
GAP utils - Utility functions in GAP
gappa (1.4.1-1+b1 [riscv64], 1.4.1-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Automatic generation of proofs of arithmetic properties
geg (2.0.9-4+b2 [riscv64], 2.0.9-4+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
grapheur d'équations en GTK+
geneagrapher (2.0.0-1)
création d’un arbre à partir du Mathematics Genealogy Project – exécutable
geomview (1.9.5-4.1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64, x32], 1.9.5-4.1 [sh4])
visualisation interactive de formes géométriques
geophar (18.10+dfsg1-3)
couteau suisse pour l’enseignant de mathématiques
getdp (3.5.0+dfsg1-2 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x], 3.2.0+dfsg1-1.1+b9 [ia64], 3.2.0+dfsg1-1.1+b8 [hppa, m68k], 3.2.0+dfsg1-1.1+b7 [sh4, x32], 3.2.0+dfsg1-1.1+b2 [sparc64])
general environment for the treatment of discrete problems
getdp-sparskit (3.5.0+dfsg1-2 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x], 3.2.0+dfsg1-1.1+b9 [ia64], 3.2.0+dfsg1-1.1+b8 [hppa, m68k], 3.2.0+dfsg1-1.1+b7 [sh4, x32], 3.2.0+dfsg1-1.1+b2 [sparc64])
general environment for the treatment of discrete problems
gfan (0.6.2-7)
program for computing with Groebner fans
gfm (1.09~git20220826.71eaa92-1+b2 [riscv64], 1.09~git20220826.71eaa92-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
programme de manipulation de fichier d’appareils portables de Texas Instruments pour X
ggobi (2.1.11-2+b3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x], 2.1.11-2+b2 [alpha, hppa, ia64, m68k, riscv64, sh4, sparc64, x32])
système de visualisation de données de grande dimension
ginac-tools (1.8.7-1+b2 [riscv64], 1.8.7-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
outils de gestion de l'environnement symbolique GiNaC
glpk-utils (5.0-1+b2 [sparc64], 5.0-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, x32])
Ensemble de programmation linéaire — fichiers utilitaires
gmp-ecm (7.0.5+ds-1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 7.0.5+ds-1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
factorisation d'entiers par courbe elliptique (méthode ECM)
gmsh (4.12.2+ds1-1 [amd64, arm64, armel, armhf, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x], 4.12.1+ds1-1.1+b1 [alpha], 4.12.1+ds1-1 [sh4], 4.8.4+ds2-3 [ia64, x32], 4.8.4+ds2-2+b1 [sparc64], 2.5.0.dfsg-3 [hppa])
Générateur de maillage tridimensionnel d'éléments finis
gnome-calculator (1:46.0-1 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x], 1:46~beta-1 [sh4], 1:45.0-2 [ia64, sparc64, x32], 1:41.1-1 [alpha])
calculatrice du bureau GNOME
gnumeric (1.12.56-2+b2 [alpha, amd64, arm64, armel, armhf, i386, ia64, mips64el, ppc64el, riscv64, s390x, sparc64], 1.12.56-2+b1 [hppa, m68k, sh4], 1.12.41-1 [ppc64], 1.12.32-1+b1 [x32])
Tableur pour GNOME - programme principal
gnumeric-common (1.12.56-2)
Tableur pour GNOME - fichiers communs
gnumeric-plugins-extra (1.12.56-2+b2 [alpha, amd64, arm64, armel, armhf, i386, ia64, mips64el, ppc64el, riscv64, s390x, sparc64], 1.12.56-2+b1 [hppa, m68k, sh4], 1.12.41-1 [ppc64], 1.12.32-1+b1 [x32])
application de tableur pour GNOME – greffons supplémentaires
gnuplot (6.0.0+dfsg1-3)
programme de tracé interactif en ligne de commande
gnuplot
paquet virtuel fourni par gnuplot-x11, gnuplot-nox, gnuplot-qt
gnuplot-mode (1:0.8.1+git20230727.1.4c6b18f-1)
paquet de transition de gnuplot-mode à elpa-gnuplot-mode
gnuplot-mode
paquet virtuel fourni par elpa-gnuplot-mode
gnuplot-nox (6.0.0+dfsg1-3+b1 [mips64el], 6.0.0+dfsg1-3 [amd64, arm64, armel, armhf, i386, m68k, ppc64el, riscv64, s390x], 6.0.0+dfsg1-2+b2 [ppc64], 6.0.0+dfsg1-2 [sparc64], 6.0.0+dfsg1-1 [alpha], 5.4.4+dfsg1-2+b3 [hppa], 5.4.4+dfsg1-2+b2 [sh4], 5.4.4+dfsg1-2 [ia64], 5.4.2+dfsg2-2 [x32])
programme de tracé interactif en ligne de commande - paquet sans X11
gnuplot-nox
paquet virtuel fourni par gnuplot-qt, gnuplot-x11
gnuplot-qt (6.0.0+dfsg1-3+b1 [mips64el], 6.0.0+dfsg1-3 [amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x], 6.0.0+dfsg1-2+b2 [ppc64], 6.0.0+dfsg1-2 [sparc64], 6.0.0+dfsg1-1 [alpha], 5.4.4+dfsg1-2+b3 [hppa], 5.4.4+dfsg1-2+b2 [sh4], 5.4.4+dfsg1-2 [ia64], 5.4.2+dfsg2-2 [x32])
programme de tracé interactif en ligne de commande – paquet pour Qt
gnuplot-x11 (6.0.0+dfsg1-3+b1 [mips64el], 6.0.0+dfsg1-3 [amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x], 6.0.0+dfsg1-2+b2 [ppc64], 6.0.0+dfsg1-2 [sparc64], 6.0.0+dfsg1-1 [alpha], 5.4.4+dfsg1-2+b3 [hppa], 5.4.4+dfsg1-2+b2 [sh4], 5.4.4+dfsg1-2 [ia64], 5.4.2+dfsg2-2 [x32])
programme de tracé interactif en ligne de commande – paquet pour X11
gnuplot-x11
paquet virtuel fourni par gnuplot-qt
grace (1:5.1.25-14 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64, x32], 1:5.1.25-13 [sh4])
outil de tracé graphique en XY
gretl (2024a-1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2023c-3+b1 [ppc64, sparc64], 2023c-2.1 [alpha], 2023c-2 [hppa, ia64, m68k, sh4], 2022b-1 [x32])
bibliothèque GNU de régressions, d'économétrie et de séries temporelles
gretl-common (2024a-1)
GNU Regression, Econometric & Time-Series Library – paquet de scripts
gretl-data (2024a-1)
GNU Regression, Econometric & Time-Series Library – paquet de données
grpn (1.4.1-1.1+b3 [riscv64], 1.4.1-1.1+b2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
calculateur en GTK+ selon la notation polonaise inverse
gsl-bin (2.7.1+dfsg-6+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2.7.1+dfsg-6 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
Bibliothèque scientifique GNU (GSL, GNU Scientific Library) : binaires
gudhi-utils (3.9.0+dfsg-1+b1 [amd64, arm64, i386, mips64el, ppc64el, riscv64, s390x], 3.9.0+dfsg-1 [ppc64], 3.0.0+dfsg-3 [x32], 2.3.0+dfsg-2+b1 [hppa, m68k])
utilitaires issus de la bibliothèque GUDHI
gudhui (3.9.0+dfsg-1+b1 [amd64, arm64, i386, mips64el, ppc64el, riscv64, s390x], 3.9.0+dfsg-1 [ppc64], 3.0.0+dfsg-3 [x32], 2.3.0+dfsg-2+b1 [hppa, m68k])
interface graphique pour quelques fonctions de la bibliothèque GUDHI
hera-utils (2.0.0+git20221115.8bfdd4b+dfsg-1)
Utilities built from the Hera library
hol-light (20231021-1+b3 [riscv64], 20231021-1+b2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64el, s390x, sh4, sparc64], 20230128-2 [ppc64], 20190729-4+b4 [x32])
démonstrateur de théorème HOL Light
hol88 (2.02.19940316dfsg-5+b1)
Higher Order Logic (logique d'ordre supérieur), image système
hol88-contrib-help (2.02.19940316dfsg-5)
Higher Order Logic (logique d'ordre supérieur) –⋅fichiers d’aide en ligne contributions d'utilisateurs
hol88-contrib-source (2.02.19940316dfsg-5)
Higher Order Logic (logique d'ordre supérieur) – source contribution d'utilisateurs
hol88-help (2.02.19940316dfsg-5)
Higher Order Logic (logique d'ordre supérieur) – fichiers d’aide en ligne
hol88-library (2.02.19940316dfsg-5+b1)
Higher Order Logic (logique d'ordre supérieur) –⋅modules exécutables de la bibliothèque
hol88-library-help (2.02.19940316dfsg-5)
Higher Order Logic (logique d'ordre supérieur) – fichiers d’aide en ligne de la bibliothèque
hol88-library-source (2.02.19940316dfsg-5)
Higher Order Logic (logique d'ordre supérieur) –⋅fichiers source de la bibliothèque
hol88-source (2.02.19940316dfsg-5)
Higher Order Logic (logique d'ordre supérieur) – fichiers source
jacal (1c8-1)
système de calcul symbolique interactif
jags (4.3.2-1+b1 [riscv64], 4.3.2-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
un autre échantillonneur Gibbs pour les simulations bayésiennes MCMC —⋅exécutable
jfractionlab (0.92-3)
programme éducatif pour la pratique des fractions
jgraph (83-24+b1 [riscv64], 83-24 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Programme de Jim Plank pour produire des graphes PostScript
jsurf-alggeo (0.4.1+ds-4)
Java based visualization library for real algebraic geometry
kalgebra (4:22.12.3-2+b3 [amd64, arm64, armhf, i386], 4:16.08.3-1 [sparc64])
Calculateur graphique algébrique
kalgebra-common (4:22.12.3-2+b3 [amd64, arm64, armhf, i386], 4:16.08.3-1 [sparc64])
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:22.12.3-2+b3 [amd64, arm64, armhf, i386, riscv64], 4:22.12.3-2+b2 [alpha, armel, mips64el, ppc64, ppc64el, s390x], 4:22.12.3-2 [hppa, sh4], 4:22.12.3-1 [m68k], 4:21.12.3-1 [x32], 4:16.08.3-1 [sparc64])
calculatrice graphique algébrique pour les interfaces basées sur de petites touches
kali (3.1+dfsg-2+b1 [m68k], 3.1+dfsg-2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32])
tracé de pavements, de motifs de frises, etc.
kbruch (4:22.12.3-1+b2 [riscv64], 4:22.12.3-1+b1 [amd64, arm64, armel, armhf, hppa, i386, mips64el, ppc64, ppc64el, s390x, sh4, sparc64], 4:22.12.3-1 [alpha, m68k], 4:22.12.0-2 [ia64, x32])
outil d'apprentissage de calcul avec des fractions pour KDE
kcalc (4:23.08.2-1+b2 [riscv64], 4:23.08.2-1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sparc64], 4:23.08.2-1 [alpha, hppa, sh4], 4:22.12.3-1 [m68k], 4:22.12.0-2 [x32], 4:22.04.1-1 [ia64])
calculatrice simple et scientifique
kig (4:22.12.3-1+b3 [riscv64], 4:22.12.3-1+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x], 4:22.12.3-1+b1 [alpha, hppa, sh4, sparc64], 4:22.12.3-1 [m68k], 4:22.12.0-2 [x32], 4:17.08.3-1+b1 [ia64])
outil de géométrie interactive
kissfft-tools (131.1.0-3+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 131.1.0-3+b1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
Mixed-radix Fast Fourier Transform library (CLI tools)
kmplot (4:22.12.3-1+b2 [riscv64], 4:22.12.3-1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sparc64], 4:22.12.3-1 [alpha, hppa, m68k, sh4], 4:22.12.0-2 [x32], 4:21.12.3-1 [ia64])
traceur de fonctions mathématiques pour KDE
labplot (2.10.1-2+b3 [armhf, riscv64], 2.10.1-2+b2 [amd64, arm64, armel, i386, mips64el, ppc64, ppc64el, s390x], 2.10.1-2 [alpha, hppa, sh4], 2.10.0-2 [m68k], 2.9.0-1+b1 [x32], 2.6.0-1 [sparc64])
tracé et analyse interactifs de données scientifiques
labplot-data (2.10.1-2)
data files for labplot
latte-int (1.7.6+ds-3+b2 [riscv64], 1.7.6+ds-3+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Lattice point Enumeration
lcalc (2.0.5-1.1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2.0.5-1.1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
Programme pour le calcul des fonctions L
libcantor-pythonbackend (4:19.08.1-1 [hppa], 4:18.12.0-1 [sh4], 4:16.08.3-1 [sparc64]) [debports]
dorsal Python de base pour Cantor
libcantorlibs28 (4:20.12.1-5) [debports]
interface for mathematical applications - shared library
libcdd-tools (094m-1.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 094m-1 [x32])
Programs using libcdd
libcoq-aac-tactics (8.18.0-1+b1 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 8.17.0-3 [ppc64])
tactiques Coq pour raisonner modulo AC — théories
libcoq-gappa (1.5.4-1+b1 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.5.3-1+b1 [ppc64])
Coq tactic to use Gappa for floating-point goals
libcoq-mathcomp (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (all)
libcoq-mathcomp-algebra (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (algebra)
libcoq-mathcomp-character (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (character)
libcoq-mathcomp-field (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (field)
libcoq-mathcomp-fingroup (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (finite groups)
libcoq-mathcomp-solvable (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (finite groups II)
libcoq-mathcomp-ssreflect (2.1.0-1+b2 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 1.17.0-1+b1 [ppc64])
Mathematical Components library for Coq (small scale reflection)
libcoq-stdlib (8.18.0+dfsg-1+b1 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x], 8.17.0+dfsg-1+b2 [ppc64])
outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
libfp16-dev (0.0~git20200514.4dfe081-4+b1 [riscv64], 0.0~git20200514.4dfe081-4 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sparc64, x32])
Conversion to/from half-precision floating point formats
libfxdiv-dev (0.0~git20200417.b408327-4+b1 [riscv64], 0.0~git20200417.b408327-4 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sparc64, x32])
division via fixed-point multiplication by inverse
libgts-bin (0.7.6+darcs121130-5.2)
binaires d’utilitaires pour libgts
liblrs1 (0.71b-2) [debports]
package to enumerate vertices and extreme rays (shared libraries)
liblrs1t64 (0.71b-2.1+b1 [amd64, arm64, i386, m68k, mips64el, ppc64el, riscv64, s390x], 0.71b-2.1 [alpha, armel, armhf, hppa, ia64, ppc64, sh4, sparc64, x32])
package to enumerate vertices and extreme rays (shared libraries)
libmagma-doc (2.7.2+ds-1) [contrib]
Matrix Algebra on GPU and Multicore Architectures (doc)
libmagma-test (2.7.2+ds-1) [contrib]
Matrix Algebra on GPU and Multicore Architectures (tests)
libmsolve-dev (0.6.5-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 0.6.5-1 [sh4])
computer algebra algorithms for solving polynomial systems (development)
libojalgo-java (53.3.0+ds-1)
Java library to do mathematics, linear algebra and optimisation
libreoffice-nlpsolver (4:0.9+LibO24.2.3~rc1-3)
extension de solveur pour programmation non-linéaire pour LibreOffice
libsbml5-octave (5.20.2+dfsg-3)
System Biology Markup Language library - Octave bindings
libxnnpack-dev (0.0~git20221221.51a9875-1+b1 [riscv64], 0.0~git20221221.51a9875-1 [amd64, arm64, armhf, i386, x32])
High-efficiency floating-point neural network inference operators (dev)
libxnnpack0 (0.0~git20221221.51a9875-1+b1 [riscv64], 0.0~git20221221.51a9875-1 [amd64, arm64, armhf, i386, x32])
High-efficiency floating-point neural network inference operators (libs)
lie (2.2.2+dfsg-3+b2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32], 2.2.2+dfsg-3+b1 [riscv64])
Paquet d'algèbre par ordinateur pour les calculs de groupe de Lie
lp-solve (5.5.2.5-2+b3 [sparc64], 5.5.2.5-2+b2 [alpha, hppa, ia64, m68k, ppc64, sh4, x32], 5.5.2.5-2+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
résolution de problèmes d'optimisation linéaire (en variables mixtes)
lrcalc (1.2-2.1)
programmes pour calculer les coffficients de Littlewood-Richardson
lrslib (0.71b-2.1+b1 [amd64, arm64, i386, m68k, mips64el, ppc64el, riscv64, s390x], 0.71b-2.1 [alpha, armel, armhf, hppa, ia64, ppc64, sh4, sparc64, x32])
package to enumerate vertices and extreme rays of a convex polyhedron
lybniz (3.0.4-6)
traceur de graphique pour fonction mathématique
macaulay2 (1.23+ds-2 [amd64, arm64, armel, armhf, hppa, i386, mips64el, ppc64el, riscv64, s390x], 1.22+ds-6+b2 [ppc64])
système logiciel pour la recherche en géométrie algébrique
macaulay2-common (1.23+ds-2)
système logiciel pour la recherche en géométrie algébrique – fichiers communs
macaulay2-jupyter-kernel (0.6.7~beta-3)
noyau Jupyter pour Macaulay2
mandelbulber2 (2.20-2+b2 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 2.20-2+b1 [hppa, ia64, m68k, x32])
rendu et animation de fractales en 3D
mandelbulber2-data (2.20-2)
rendu et animation de fractales en 3D – fichiers de données
maria (1.3.5-4.2+b1)
analyseur d'accessibilité pour les réseaux de systèmes algébriques
mate-calc (1.26.0-1+b2 [riscv64], 1.26.0-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
calculatrice pour le bureau MATE
mate-calc-common (1.26.0-1)
MATE desktop calculator (common files)
mathicgb (1.0~git20240206-1.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, x32], 1.0~git20150904-2 [sparc64])
Compute Groebner bases (command line tool)
mathomatic (16.0.5-5+b1 [riscv64], 16.0.5-5 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sparc64, x32], 15.8.2-2+b1 [sh4])
système de calcul formel (CAS) portable
mathomatic-primes (16.0.5-5+b1 [riscv64], 16.0.5-5 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sparc64, x32], 15.8.2-2+b1 [sh4])
outils de nombres premiers pour Mathomatic
mathpiper (0.81f+svn4469+dfsg3-3.1)
calcul formel en Java
matio-tools (1.5.26-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64, x32], 1.5.26-1 [sh4])
MATLAB MAT File I/O Library - command-line tools
matlab2tikz (1.1.0-8)
conversion de tracés d’Octave en figures de TikZ pour intégration dans LaTeX
maxima (5.46.0-11+b1)
système de calcul formel - système de base
maxima-emacs (5.46.0-11)
système de calcul formel – interface Emacs
maxima-sage (5.45.1-2+b2 [riscv64], 5.45.1-2+b1 [amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, s390x, sparc64], 5.45.1-2 [sh4], 5.42.2-2 [alpha], 5.41.0+ds-2 [x32])
système de calcul formel – système de base
maxima-sage-share (5.45.1-2)
système de calcul formel – code supplémentaire
maxima-share (5.46.0-11)
système de calcul formel – code supplémentaire
maxima-src (5.46.0-11)
système de calcul formel – code source
maxima-test (5.46.0-11)
système de calcul formel – suite de tests
mcl (1:22-282+ds-2+b1 [riscv64], 1:22-282+ds-2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
algorithme de Markov pour les grappes
metamath (0.195-1+b1 [riscv64], 0.195-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Language for mathematical proofs
metamath-databases (0.0.0~20210101.git55fe226-2)
Sample databases for Metamath
metis (5.1.0.dfsg-7+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 5.1.0.dfsg-7 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
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 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x], 20150715-1 [alpha, hppa, ia64, m68k, sh4, sparc64, x32])
outil simple de comparaison statistique d’ensembles de données
minlog (4.0.99.20100221-7)
système de manipulation de preuve basé sur des calculs de déduction naturelle du premier ordre
mlucas (20.1.1-1 [amd64], 17.1-3 [arm64, armel, armhf, i386])
programme pour réaliser des tests de Lucas-Lehmer sur un nombre de Mersenne
mongoose (1:7.7.0+dfsg-2 [all], 1:7.1.0+dfsg-2 [riscv64])
transitional dummy package for suitesparse-mongoose
mplrs (0.71b-2.1+b1 [amd64, arm64, i386, m68k, mips64el, ppc64el, riscv64, s390x], 0.71b-2.1 [alpha, armel, armhf, hppa, ia64, ppc64, sh4, sparc64, x32])
package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)
msolve (0.6.5-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 0.6.5-1 [sh4])
computer algebra algorithms for solving polynomial systems
mumps-test (5.6.2-2.1+b1 [alpha, amd64, arm64, armel, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 5.6.2-2.1 [armhf, sh4], 5.5.1-1 [hppa, ia64, x32])
Example/test binaries using MUMPS
nauty (2.8.8+ds-5 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32], 2.7r1+ds-2 [ia64])
bibliothèque pour l’automorphisme de graphe – interface et outils
netgen (6.2.2401+dfsg1-1.1+b1 [alpha, amd64, arm64, armel, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 6.2.2401+dfsg1-1.1 [armhf, m68k], 6.2.2401+dfsg1-1 [sh4], 6.2.2006+really6.2.1905+dfsg-11 [ia64], 6.2.2006+really6.2.1905+dfsg-5.1+b1 [x32], 4.9.13.dfsg-8+b1 [hppa])
Générateur automatique de maillage tétraédrique 3D
normaliz (3.10.2+ds-2)
outil mathématique pour le calcul de monoïdes affines, de polytopes et de cônes rationnels
normaliz-bin (3.10.2+ds-2 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 3.9.3+ds-1 [sh4], 3.8.9+ds-1 [alpha], 3.8.5+ds-1+b2 [x32])
outil mathématique pour le calcul de monoïdes affines, de polytopes et de cônes rationnels – exécutable
num-utils (0.5-15)
programmes pour traiter les nombres en ligne de commande
octave (8.4.0-1+b4 [armel, armhf, riscv64], 8.4.0-1+b3 [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x], 8.4.0-1+b2 [sparc64], 8.4.0-1+b1 [alpha, sh4], 8.2.0-5 [hppa], 8.2.0-3 [m68k], 7.1.0-2 [x32])
langage GNU Octave pour calculs numériques
octave-arduino (0.12.1-2)
Octave Arduino Toolkit
octave-audio (2.0.8-2 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 2.0.7-2 [hppa], 2.0.5-2+b1 [m68k], 2.0.4-2 [x32])
fonctions MIDI pour Octave
octave-bim (1.1.6-1)
PDE solver using a finite element/volume approach in Octave
octave-bsltl (1.3.1-4)
bibliothèque d’outils pour laser biospeckle
octave-cgi (0.1.2-4)
Common Gateway Interface for Octave
octave-common (8.4.0-1)
fichiers indépendants de l'architecture pour Octave
octave-communications (1.2.6-2+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.2.6-2 [sparc64], 1.2.4-3 [x32])
paquet d’octave pour les transmissions
octave-communications-common (1.2.6-2)
communications package for Octave (arch-indep files)
octave-control (4.0.1-1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 4.0.0-2 [alpha, sh4], 3.6.1-1 [hppa, m68k], 3.4.0-2 [x32])
computer-aided control system design (CACSD) for Octave
octave-data-smoothing (1.3.0-9)
functions to do data smoothing on noisy data
octave-database (2.4.4-8+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 2.4.4-8 [sparc64], 2.4.4-6 [x32])
interface d’accès aux bases de données pour Octave
octave-dataframe (1.2.0-6)
manipulate data in Octave similar to R data.frame
octave-dicom (0.6.0-3+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 0.2.2-5 [x32], 0.2.2-2+b1 [alpha])
manipulate DICOM files in Octave
octave-divand (1.1.2+dfsg-6)
n-dimensional interpolation for Octave
octave-doctest (0.8.0-1)
tests de documentation pour Octave
octave-econometrics (1:1.1.2-4+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1:1.1.2-4 [sparc64], 1:1.1.2-3+b2 [x32])
fonctions économétriques pour Octave
octave-financial (0.5.3-4)
financial package for Octave
octave-fits (1.0.7-7+b4 [armel, armhf], 1.0.7-7+b3 [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x], 1.0.7-7+b2 [hppa, riscv64], 1.0.7-7+b1 [alpha, m68k, sh4, sparc64], 1.0.7-6+b2 [x32])
manipulation of FITS files in Octave
octave-fpl (1.3.5-7)
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-fuzzy-logic-toolkit (0.4.6-4)
fuzzy logic toolkit for Octave
octave-ga (0.10.3-2)
code d'optimisation génétique pour Octave
octave-general (2.1.3-1+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2.1.3-1+b1 [ppc64, sparc64], 2.1.3-1 [alpha, sh4], 2.1.2-3+b1 [hppa, m68k], 2.1.2-2 [x32])
fonctions générales supplémentaires pour Octave
octave-geometry (4.1.0-1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 4.0.0-6+b1 [alpha, hppa, m68k, sh4], 4.0.0-5+b1 [x32])
extension of MatGeom functionality in Octave
octave-gsl (2.1.1-7+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 2.1.1-7 [sparc64], 2.1.1-6 [x32])
Binding GSL pour Octave
octave-image (2.14.0-5+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2.14.0-5 [alpha, ppc64, sh4, sparc64], 2.14.0-4+b1 [hppa, m68k], 2.14.0-3 [x32])
manipulation d'images pour Octave
octave-image-acquisition (0.2.2-7+b3 [armel, armhf], 0.2.2-7+b2 [amd64, arm64, i386, mips64el, ppc64, ppc64el, riscv64, s390x], 0.2.2-7+b1 [alpha, hppa, m68k, sh4, sparc64])
image acquisition package for Octave
octave-instrument-control (0.9.3-1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 0.9.2-1 [alpha, ppc64, sh4, sparc64], 0.9.1-1+b1 [hppa, m68k], 0.7.1-2 [x32])
instrument control for Octave
octave-interval (3.2.1-6+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 3.2.1-6 [alpha, ppc64, sparc64], 3.2.1-5+b1 [hppa, m68k], 3.2.1-4 [x32])
real-valued interval arithmetic for Octave
octave-io (2.6.4-3+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 2.6.4-3 [sparc64], 2.6.4-1+b2 [x32])
fonctions d’entrée et sortie de données pour Octave
octave-level-set (0.3.1~git.2019.04.13-7 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sh4, sparc64], 0.3.1~git.2019.04.13-6+b1 [m68k], 0.3.1~git.2019.04.13-5 [hppa, x32])
level-set toolbox for Octave
octave-linear-algebra (2.2.3-4)
fonctions supplémentaires d’algèbre linéaire pour Octave
octave-lssa (0.1.4-2+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 0.1.4-2 [sparc64], 0.1.4-1+b2 [x32])
least squares spectral analysis for Octave
octave-ltfat (2.6.0+dfsg-6+b1 [riscv64], 2.6.0+dfsg-6 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sh4], 2.5.0+dfsg-2+b1 [m68k], 2.3.1+dfsg-10+b1 [x32], 2.2.0+dfsg-4 [hppa, sparc64])
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.6.0+dfsg-6)
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.4.2-3+b5 [armel, armhf], 1.4.2-3+b4 [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x], 1.4.2-3+b3 [alpha, riscv64], 1.4.2-3+b2 [hppa, m68k], 1.4.2-3+b1 [sh4, sparc64], 1.4.2-2 [x32])
geographical mapping functions for Octave
octave-matgeom (1.2.4-1)
computational geometry for Octave
octave-miscellaneous (1.3.0-5+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.3.0-5 [sparc64], 1.3.0-4 [x32])
outils divers pour Octave
octave-mpi (3.1.0-1+b2 [alpha, amd64, arm64, armel, armhf, hppa, i386, mips64el, ppc64, ppc64el, riscv64, s390x], 3.1.0-1+b1 [m68k, sh4, x32], 1.2.0-2+b4 [sparc64])
boite à outils d’Octave pour le calcul en parallèle en utilisant MPI
octave-msh (1.0.12-1)
create and manage meshes for FE or FV solvers in Octave
octave-mvn (1.1.0-4)
multivariate normal distribution clustering for Octave
octave-nan (3.7.0-4+b1 [riscv64], 3.7.0-4 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sh4, sparc64], 3.7.0-3+b1 [hppa, m68k], 3.7.0-2 [x32])
prise en charge de données avec ou sans valeurs manquantes dans Octave
octave-ncarray (1.0.5-3)
access NetCDF files as a multi-dimensional array in Octave
octave-netcdf (1.0.17-2+b2 [armel, armhf], 1.0.17-2+b1 [amd64, arm64, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 1.0.17-2 [alpha, sh4], 1.0.16-2+b1 [hppa, m68k], 1.0.14-2 [x32])
Matlab compatible NetCDF interface for Octave
octave-nlopt (2.7.1-5+b2 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 2.7.1-5+b1 [hppa, m68k], 2.7.1-4+b1 [x32])
nonlinear optimization library -- GNU Octave package
octave-nurbs (1.4.3-3+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.4.3-3 [sparc64], 1.4.3-2+b2 [x32])
non-uniform rational B-splines for Octave
octave-octclip (2.0.3-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 2.0.3-1 [sparc64], 2.0.1-2+b2 [x32])
opérations booléennes sur les polygones avec Octave
octave-octproj (3.0.2-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 3.0.2-1 [sparc64], 2.0.1-5+b3 [x32])
liaisons de GNU Octave pour PROJ.4
octave-optics (0.1.4-4)
optics functions for Octave
octave-optim (1.6.2-3+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.6.2-3 [sparc64], 1.6.2-2 [x32])
boîte à outils pour l’optimisation non linéaire sans contraintes pour Octave
octave-optiminterp (0.3.7-3+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 0.3.7-3 [sparc64], 0.3.7-2 [x32])
paquet d’interpolation optimale pour Octave
octave-parallel (4.0.2-1+b1 [riscv64], 4.0.2-1 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sh4, sparc64], 4.0.1-7 [hppa, m68k], 4.0.1-5 [x32])
exécution en parallèle d’Octave dans des grappes d’ordinateurs
octave-pfstools (2.2.0-7+b3 [armel, armhf, riscv64], 2.2.0-7+b2 [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x], 2.2.0-7+b1 [alpha, sh4, sparc64], 2.2.0-5+b1 [hppa], 2.2.0-5 [m68k], 2.2.0-2 [x32])
liaisons d’octave pour pfstools
octave-phclab (2.4.90+dfsg-1)
general-purpose solver for polynomial systems (Octave)
octave-plplot (5.15.0+dfsg2-9+b4 [mips64el], 5.15.0+dfsg2-9+b3 [amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x], 5.15.0+dfsg2-9+b2 [ppc64], 5.15.0+dfsg2-9 [sparc64], 5.15.0+dfsg2-7+deb13u1 [alpha], 5.15.0+dfsg2-6+b2 [sh4], 5.15.0+dfsg2-6+b1 [m68k], 5.13.0+dfsg-7 [hppa])
prise en charge Octave pour PLplot, une bibliothèque de traçage
octave-quaternion (2.4.0-10+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 2.4.0-10 [sparc64], 2.4.0-9+b2 [x32])
quaternion package for Octave
octave-queueing (1.2.7-5)
Queueing Networks and Markov chains analysis for Octave
octave-secs1d (0.0.9-8)
semi conductor simulator in 1D for Octave
octave-secs2d (0.0.8-16+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 0.0.8-16 [sparc64], 0.0.8-15+b2 [x32])
semi conductor simulator in 2D for Octave
octave-secs3d (0.0.1-4)
simulateur de Drift-Diffusion pour les dispositifs à semi-conducteur en 3D d'Octave
octave-signal (1.4.5-2 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 1.4.5-1 [hppa], 1.4.4-4+b1 [m68k], 1.4.2-1 [x32])
fonctions de traitement de signal pour Octave
octave-sockets (1.4.1-4 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 1.4.1-2 [hppa], 1.4.0-4+b1 [m68k], 1.3.0-1+b1 [x32])
communication through Internet sockets in Octave
octave-sparsersb (1.0.9-7+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 1.0.9-7 [ppc64, sh4, sparc64], 1.0.9-6 [alpha], 1.0.9-5+b1 [hppa, m68k], 1.0.9-4 [x32])
RSB sparse matrix manipulation for Octave
octave-splines (1.3.5-2)
cubic spline functions for Octave
octave-statistics (1.6.5-3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 1.6.5-2 [alpha], 1.6.3-1 [sh4], 1.6.0-1+b1 [hppa, m68k])
additional statistical functions for Octave
octave-statistics-common (1.6.5-3)
additional statistical functions for Octave (arch-indep files)
octave-stk (2.8.1-1+b1 [riscv64], 2.8.1-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, s390x, sh4], 2.7.0-2+b1 [x32], 2.4.2-1 [sparc64])
(not so) Small Toolbox for Kriging
octave-strings (1.3.1-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.3.1-1 [sparc64], 1.3.0-2 [x32])
fonctions de manipulation supplémentaires de chaînes pour Octave
octave-struct (1.0.18-3+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 1.0.18-3 [sparc64], 1.0.18-2 [x32])
additional structure manipulation functions for Octave
octave-symbolic (3.1.1-2)
paquet de calcul symbolique pour Octave
octave-tisean (0.2.3.hg.2021.11.29-1 [amd64, hppa, m68k, mips64el, sh4], 0.2.3.hg.2019.08.26-1+b2 [armel], 0.2.3.hg.2019.08.26-1 [alpha, s390x], 0.2.3-3+b1 [ppc64])
nonlinear time series analysis for Octave
octave-tsa (4.6.3-3)
time series analysis in Octave
octave-vibes (0.2.0-9+b1 [amd64], 0.2.0-9 [alpha, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64])
VIBes API to easily display results in Octave
octave-video (2.1.1-3+b1 [amd64, arm64, armel, armhf, hppa, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4], 2.1.1-3 [alpha, sparc64], 2.0.2-1+b2 [m68k, x32])
video file reader/writer for Octave
octave-vrml (1.0.13-9)
fonctions VRML pour Octave
octave-zeromq (1.5.6-4 [alpha, amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64], 1.5.5-1+b1 [hppa, m68k], 1.5.4-2 [x32])
ZeroMQ binding for Octave
orpie (1.6.1-2+b1 [riscv64], 1.6.1-2 [alpha, amd64, arm64, i386, ia64, m68k, mips64el, ppc64el, s390x, sparc64], 1.6.1-1+b1 [ppc64], 1.6.1-1 [sh4])
calculateur NPI (RPN) pour le terminal
palp (2.20-2+b1 [riscv64], 2.20-2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Paquet par l’analyse des polytopes réticulés (lattice polytopes)
pari-elldata (0.20210301-1)
PARI/GP Computer Algebra System elliptic curves (elldata)
pari-galdata (0.20080411-4)
PARI/GP Computer Algebra System Galois resolvents (galdata)
pari-galpol (4.0-2)
PARI/GP Computer Algebra System Galois polynomial database
pari-gp (2.15.5-1 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32], 2.13.4-1 [alpha])
système de calcul formel PARI/GP – exécutables
pari-gp2c (0.0.13-1+b1 [riscv64], 0.0.13-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
compilateur GP vers C de PARI/GP
pari-nflistdata (0.20220729-2)
PARI/GP Computer Algebra System Galois polynomial database
pari-seadata (0.20090618-3)
PARI/GP Computer Algebra System modular polynomials (seadata)
parmetis-test (4.0.3-7+b2 [riscv64], 4.0.3-7+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x]) [non-free]
Parallel Graph Partitioning and Sparse Matrix Ordering Tests
pdl (1:2.087-1 [amd64, arm64, armel, armhf, i386, ia64, m68k, mips64el, ppc64el, riscv64, s390x, sparc64, x32], 1:2.086-1 [ppc64], 1:2.085-1 [sh4], 1:2.084-1 [hppa], 1:2.054-1 [alpha])
langage de données Perl : extensions de Perl pour le calcul numérique
pgplot5 (5.2.2-19.5+b2 [riscv64], 5.2.2-19.5+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x]) [non-free]
large subroutine library for plotting scientific data
phat-utils (1.6-2+b5 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32], 1.6-2+b4 [riscv64])
Utilities from the PHAT library
phcpack (2.4.90+dfsg-1 [amd64, arm64, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 2.4.89+dfsg-1 [alpha, armel, armhf, hppa, sh4], 2.4.85+dfsg-5 [ia64])
general-purpose solver for polynomial systems (command line)
pi (1.3.7-1)
calcul de la constante d’Archimède Pi avec une précision arbitraire
planarity (3.0.2.0-2.1)
Program for planarity-related graph algorithms
plfit (0.9.6+ds-1)
fitting power-law distributions to empirical data -- interfaces
plotutils (2.6-14+b2 [amd64, arm64, armel, armhf, i386, m68k, mips64el, ppc64el, riscv64, s390x], 2.6-14+b1 [alpha, hppa, ia64, ppc64, sh4, sparc64, x32])
outils en ligne de commande plotutils de GNU basés sur libplot
plplot-tcl (5.15.0+dfsg2-9+b4 [mips64el], 5.15.0+dfsg2-9+b3 [amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x], 5.15.0+dfsg2-9+b2 [ppc64], 5.15.0+dfsg2-9 [sparc64], 5.15.0+dfsg2-7+deb13u1 [alpha], 5.15.0+dfsg2-6+b2 [sh4], 5.15.0+dfsg2-6+b1 [m68k], 5.15.0+dfsg-29 [x32], 5.13.0+dfsg-7 [hppa])
prise en charge de Tcl/Tk pour PLplot, une bibliothèque de tracé
plplot-tcl-bin (5.15.0+dfsg2-9+b4 [mips64el], 5.15.0+dfsg2-9+b3 [amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x], 5.15.0+dfsg2-9+b2 [ppc64], 5.15.0+dfsg2-9 [sparc64], 5.15.0+dfsg2-7+deb13u1 [alpha], 5.15.0+dfsg2-6+b2 [sh4], 5.15.0+dfsg2-6+b1 [m68k], 5.15.0+dfsg-29 [x32], 5.13.0+dfsg-7 [hppa])
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.15.0+dfsg2-9+b4 [mips64el], 5.15.0+dfsg2-9+b3 [amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x], 5.15.0+dfsg2-9+b2 [ppc64], 5.15.0+dfsg2-9 [sparc64], 5.15.0+dfsg2-7+deb13u1 [alpha], 5.15.0+dfsg2-6+b2 [sh4], 5.15.0+dfsg2-6+b1 [m68k], 5.15.0+dfsg-29 [x32], 5.13.0+dfsg-7 [hppa])
Tcl/Tk development support for PLplot, a plotting library
polylib-utils (5.22.5-4.2+dfsg)
outils divers utilisant libpolylib
polymake (4.11-2+b6 [amd64, armel, armhf], 4.11-2+b4 [arm64, i386, mips64el, ppc64el, riscv64, s390x], 4.11-2+b3 [ppc64], 3.0r2-2+b1 [alpha, hppa, m68k, sparc64], 3.0r2-2 [sh4])
Tool for algorithmic discrete geometry
polymake-common (4.11-2)
outil pour la géométrie discrète algorithmique – fichiers partagés
primecount (7.12+ds-1)
fast prime number counter C/C++ library
primecount-bin (7.12+ds-1)
fast prime number counter C/C++ library -- bin
primesieve (12.1+ds-1)
fast prime number generator C/C++ library
primesieve-bin (12.1+ds-1)
fast prime number generator C/C++ library -- bin
psignifit (2.5.6-8+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2.5.6-8 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
ajuster et essayer des hypothèses sur les fonctions psychométriques
pspp (2.0.0-3+b2 [alpha, amd64, arm64, armel, armhf, i386, ia64, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64, x32], 2.0.0-3 [hppa, m68k, sh4])
outil d'analyse statistique
ptscotch (7.0.4-1+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 7.0.4-1+b1 [alpha, hppa, ia64, m68k, ppc64, sparc64, x32], 7.0.4-1 [sh4])
programmes et bibliothèques MPI pour la segmentation de graphes, maillages et hypergraphes
pyecm (2.0.5-2)
décomposition en facteurs premiers avec la méthode ECM
python3-cvc5 (1.1.2-2)
automated theorem prover for SMT problems (Python bindings)
python3-ngspetsc (0.0~git20240318.f83b50a-1)
a PETSc interface for NGSolve (Python 3)
pyxplot (0.9.2-14+b1)
programme de traçage de données de qualité professionnelle
qalc (4.9.0-1.1+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 4.9.0-1.1 [alpha, m68k], 4.9.0-1 [hppa, ia64, sh4], 4.2.0-1 [x32])
calculatrice puissante et facile à utiliser en ligne de commande
qalculate-gtk (4.9.0-1+b2 [riscv64], 4.9.0-1+b1 [alpha, amd64, arm64, armel, armhf, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sparc64], 4.9.0-1 [hppa, sh4], 4.2.0-1 [x32])
calculatrice de bureau simple et puissante - version GTK+
qepcad (1.74+ds-4+b2 [riscv64], 1.74+ds-4+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sparc64, x32])
quantifier elimination tool
qhull-bin (2020.2-6+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 2020.2-6 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
Calcul d'enveloppes convexes et d'autres objets mathématiques
qsopt-ex (2.5.10.3-2.1)
résolveur exact d’optimisation linéaire
quickplot (1.0.1~rc-1+b5 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x], 1.0.1~rc-1+b4 [alpha, hppa, m68k, sh4, sparc64, x32], 1.0.1~rc-1+b3 [ia64, riscv64])
Traceur rapide en 2D et visualiseur
r-bioc-hilbertvis (1.60.0-1+b1 [riscv64], 1.60.0-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
paquet de GNU R pour visualiser de grands vecteurs de données
regina-normal (7.3-2 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 7.1-1 [sh4], 7.0-2+b1 [x32])
logiciel de mathématiques pour une topologie en basses dimensions
relational (3.1-1)
Outil pédagogique pour l'algèbre relationnelle (interface utilisateur graphique)
relational-cli (3.1-1)
outil pédagogique pour l'algèbre relationnelle (interface en ligne de commande)
rheolef (7.2-3+b4 [sparc64], 7.2-3+b3 [amd64, arm64, i386, m68k, mips64el, ppc64, ppc64el, s390x], 7.2-3+b2 [alpha, riscv64], 7.2-2+b2 [hppa], 7.2-2 [x32], 6.4-1 [sh4])
environnement efficace pour les calculs en éléments finis
ries (2018.08.05-1+b1 [riscv64], 2018.08.05-1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
recherche d’équations algébriques, leur solution étant fournie
ripser (1.2.1-3+b1 [riscv64], 1.2.1-3 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Fast computation of persistent homology of flag complexes
rkward (0.7.5-2+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x], 0.7.5-2 [sh4], 0.7.5-1 [alpha, hppa, m68k, x32], 0.7.4-1 [riscv64], 0.6.5-1+b1 [ia64], 0.6.5-1 [sparc64])
frontal de KDE pour le langage de statistiques R
rkward-data (0.7.5-2)
KDE frontend to the R statistics language - data files
rocs (4:22.12.3-1+b2 [riscv64], 4:22.12.3-1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, s390x, sparc64], 4:22.12.3-1 [alpha, hppa, m68k, sh4], 4:22.12.0-2 [x32])
EDI pour la théorie des graphes
rubiks (20070912-6+b1 [riscv64], 20070912-6 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Small collection of Rubik's cube solvers
sagemath (9.5-6 [all], 9.0-4+b1 [ppc64])
logiciel de mathématiques au code source ouvert
sagemath-database-conway-polynomials (0.9-1)
Database of Conway polynomials
sagemath-database-cremona-elliptic-curves (20221013-1)
Databases of elliptic curves over the rationals
sagemath-database-elliptic-curves (0.8.1-6)
Databases for elliptic curves
sagemath-database-graphs (20210214+dfsg-2)
Databases of graphs
sagemath-database-mutually-combinatorial-designs (20140630-7)
Databases of combinatorial designs
sagemath-database-polytopes (20170220-6)
Databases of polytopes
sagemath-doc (9.5-6)
Open Source Mathematical Software - documentation
sagemath-jupyter (9.5-6)
Open Source Mathematical Software - Jupyter kernel
sc (7.16-4.1+b1 [riscv64], 7.16-4.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Tableur en mode texte avec des commandes au clavier à la VI
sc-im (0.8.3+ds-3+b2 [riscv64], 0.8.3+ds-3+b1 [amd64, arm64, armel, armhf, i386, m68k, mips64el, ppc64, ppc64el, s390x, sparc64], 0.8.3+ds-3 [alpha, hppa, ia64, sh4], 0.8.2+ds-1 [x32])
tableur en mode texte avec des raccourcis clavier de type vi
scalapack-mpi-test (2.2.1-3.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64, x32], 2.2.1-3 [sh4])
Scalable Linear Algebra Package - Test files for MPI
scilab (2024.0.0+dfsg-6)
paquet logiciel scientifique pour le calcul numérique
scilab-cli (2024.0.0+dfsg-6)
Logiciel de calcul numérique pour les applications scientifiques (interpréteur en ligne de commande)
scilab-data (2024.0.0+dfsg-6)
paquet logiciel scientifique pour le calcul numérique – fichiers de données
scilab-full-bin (2024.0.0+dfsg-6 [amd64, arm64, ppc64, ppc64el, s390x], 5.5.0~beta-1~git~20131216-1627-1 [alpha], 5.3.3-8 [sh4])
paquet logiciel scientifique pour le calcul numérique – ensemble des fichiers exécutables
scilab-include (2024.0.0+dfsg-6 [amd64, arm64, ppc64, ppc64el, s390x], 5.5.0~beta-1~git~20131216-1627-1 [alpha], 5.3.3-8 [sh4])
paquet logiciel scientifique pour le calcul numérique – fichiers include
scilab-minimal-bin (2024.0.0+dfsg-6 [amd64, arm64, ppc64, ppc64el, s390x], 5.5.0~beta-1~git~20131216-1627-1 [alpha], 5.3.3-8 [sh4])
Logiciel de calcul numérique pour les applications scientifiques (fichiers binaires minimaux)
scilab-test (2024.0.0+dfsg-6)
paquet logiciel scientifique pour le calcul numérique – fichiers de test
scotch (7.0.4-1+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 7.0.4-1+b1 [alpha, hppa, ia64, m68k, ppc64, sparc64, x32], 7.0.4-1 [sh4])
programmes et bibliothèques pour le partitionnement de graphe, maillage et hypergraphe
sdpa (7.3.16+dfsg-1+b4 [amd64, arm64, i386, mips64el, ppc64el, riscv64, s390x], 7.3.16+dfsg-1+b3 [armhf], 7.3.16+dfsg-1+b2 [ppc64], 7.3.16+dfsg-1+b1 [sparc64], 7.3.9+dfsg-1.1 [alpha, hppa], 7.3.9+dfsg-1 [sh4])
High-performance package for SemiDefinite Programs
sdpam (7.3.16+dfsg-1+b4 [amd64, arm64, i386, mips64el, ppc64el, riscv64, s390x], 7.3.16+dfsg-1+b3 [armhf], 7.3.16+dfsg-1+b2 [ppc64], 7.3.16+dfsg-1+b1 [sparc64], 7.3.9+dfsg-1.1 [alpha, hppa], 7.3.9+dfsg-1 [sh4])
interface pour Matlab/Octave de SDPA
sdpb (1.0-4+b4 [alpha], 1.0-4+b3 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32], 1.0-4+b2 [riscv64])
Semidefinite program solver
sgb (1:20210202-2+b1 [riscv64], 1:20210202-2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x]) [non-free]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.3.2-p16+ds-1 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64el, riscv64, s390x, sparc64], 1:4.3.2-p10+ds-1.1+b1 [ppc64], 1:4.3.2-p10+ds-1 [sh4], 1:4.1.1-p2+ds-4 [alpha])
Computer Algebra System for Polynomial Computations
singular-data (1:4.3.2-p16+ds-1)
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.3.2-p16+ds-1 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64el, riscv64, s390x, sparc64], 1:4.3.2-p10+ds-1.1+b1 [ppc64], 1:4.3.2-p10+ds-1 [sh4], 1:4.1.1-p2+ds-4 [alpha])
système informatique pour les calculs sur les polynômes -- interface en console
singular-ui-emacs (1:4.3.2-p16+ds-1 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64el, riscv64, s390x, sparc64], 1:4.3.2-p10+ds-1.1+b1 [ppc64], 1:4.3.2-p10+ds-1 [sh4], 1:4.1.1-p2+ds-4 [alpha])
système de calcul formel pour le calcul polynomial – interface pour Emacs
singular-ui-xterm (1:4.3.2-p16+ds-1 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64el, riscv64, s390x, sparc64], 1:4.3.2-p10+ds-1.1+b1 [ppc64], 1:4.3.2-p10+ds-1 [sh4], 1:4.1.1-p2+ds-4 [alpha])
système informatique pour les calculs sur les polynômes – interface utilisateur xterm
socnetv (2.8-1+b2 [i386, riscv64], 2.8-1+b1 [amd64, arm64, armel, armhf, hppa, ia64, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32], 2.8-1 [alpha, m68k])
logiciel d’analyse des réseaux sociaux et de visualisation
sollya (8.0+ds-2+b2 [alpha, amd64, arm64, armel, armhf, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32], 8.0+ds-2+b1 [hppa])
library for safe floating-point code development -- tool
soplex (7.0.0+dfsg-2 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 6.0.4+dfsg-1.1 [alpha, x32])
sequential object-oriented simplex solver
speedcrunch (0.12.0-6+b2 [riscv64, sh4], 0.12.0-6+b1 [amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, s390x, sparc64], 0.12.0-6 [alpha, m68k], 0.12.0-5.1 [x32])
calculatrice haute précision
spigot (0.2017-01-15.gdad1bbc6-1+b2 [riscv64], 0.2017-01-15.gdad1bbc6-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Exact real calculator
spline (1.2-5+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 1.2-5 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
Interpolation de spline d’Akima
sptag (0.0~git20230612.2ffaec6+ds-4+b1)
distributed approximate nearest neighborhood search (ANN)
st-console (1.1.4-7)
simple mathematics statistics from the command line interface
stda (1.3.1-2.1)
simple tools for data analysis (stda)
stopt-examples (5.8+dfsg-1.1)
library for stochastic optimization problems (programs examples)
suitesparse-mongoose (1:7.7.0+dfsg-2 [amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32], 1:7.6.1+dfsg-1 [alpha])
graph partitioning tool that can quickly compute edge cuts (executable)
surf-alggeo (1.0.6+ds-7)
visualization of real algebraic geometry
surf-alggeo-nox (1.0.6+ds-7)
visualisation de géométries algébriques réelles sans prise en charge de X
sympow (2.023.6-1.1+b1 [riscv64], 2.023.6-1.1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Programme mathématique pour les fonctions L de courbe elliptique de puissances symétriques
sympow-data (2.023.6-1.1)
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6+dsx-12)
programme autonome de lancer de rayon, parallèle et multiprocesseur – métapaquet
tachyon-bin-nox (0.99~b6+dsx-12+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 0.99~b6+dsx-12+b1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
programme autonome de lancer de rayon, parallèle et multiprocesseur – sans gestion de X
tachyon-bin-ogl (0.99~b6+dsx-12+b2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 0.99~b6+dsx-12+b1 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
programme autonome de lancer de rayon, parallèle et multiprocesseur – affichage OpenGL
tapecalc (20240110-1)
éditeur de bande papier en plein écran qui laisse l'utilisateur modifier un calcul
testu01-bin (1.2.3+ds1-2.1) [non-free]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3+ds1-2.1) [non-free]
testing suite for uniform random number generators -- data
tetgen (1.5.0-5+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x], 1.5.0-5 [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32])
générateur de qualité pour des maillages tétraédriques
tiemu (3.04~git20220826.cda2db4+dfsg-2+b2 [riscv64], 3.04~git20220826.cda2db4+dfsg-2+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
émulateur de calculatrice Texas Instruments (sans GDB)
tiemu-skinedit (1.28~git20220826.cda2db4-1+b2 [riscv64], 1.28~git20220826.cda2db4-1+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
éditeur d'interface pour TiEmu
tilem (2.0-5+b2 [riscv64], 2.0-5+b1 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
émulateur en GTK+ de calculatrices TI Z80
tilem-data (2.0-5)
émulateur en GTK+ de calculatrices TI Z80 – fichiers de données
tilp2 (1.19~git20231112.5a2ea63-1+b1)
programme de communication pour calculatices Texas Instruments <-> PC fonctionnant sous X
topcom (1.1.2+ds-1.1+b1 [amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64el, riscv64, s390x, sh4], 1.1.2+ds-1.1 [alpha, ia64, ppc64, sparc64, x32])
Triangulations Of Point Configurations and Oriented Matroids
topcom-examples (1.1.2+ds-1.1)
Triangulations Of Point Configs and Oriented Matroids (examples)
ttyplot (1.6.1-1+b1 [amd64], 1.6.1-1 [alpha, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32])
utilitaire de tracé en temps réel sur une console en mode texte ou un terminal
twinvoicerecalc (0.0.20170711-1.1)
calcul inverse de factures à Taïwan
vibes (0.2.3+dfsg-1.1+b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64], 0.2.3+dfsg-1.1 [alpha])
visualizer for intervals and boxes
vspline-dev (1.1.7-1)
header-only C++ template library for b-spline processing
wcalc (2.5-3+b3 [ia64], 2.5-3+b2 [alpha, amd64, arm64, armel, armhf, hppa, i386, m68k, mips64el, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32])
calculatrice scientifique en ligne de commande
why3 (1.6.0-1+b6 [riscv64], 1.6.0-1+b5 [alpha, amd64, arm64, armel, armhf, i386, ia64, mips64el, ppc64el, s390x, sparc64], 1.6.0-1+b4 [hppa, m68k, sh4], 1.6.0-1 [ppc64], 1.3.3-3 [x32])
plateforme de vérification logicielle
why3-coq (1.3.3-3) [debports]
prise en charge de coq pour la plateforme de vérification why3
why3-doc-html (1.6.0-1)
documentation en HTML pour la plateforme de vérification why3
why3-doc-pdf (1.6.0-1)
documentation en PDF pour la plateforme de vérification why3
why3-examples (1.6.0-1)
exemples pour la plateforme de vérification why3
wxmaxima (24.02.1-1+b3 [mips64el], 24.02.1-1+b2 [amd64, arm64, armel, armhf, i386, ppc64, ppc64el, riscv64, s390x, sparc64], 24.02.1-1 [alpha, x32], 23.08.0-1 [hppa, sh4], 19.07.0-1.1 [ia64, m68k])
interface graphique pour le système de calcul formel Maxima
wzip (1.1.6+b1 [riscv64], 1.1.6 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
Compression avec perte et filtrage de bruit
xmaxima (5.46.0-11+b1)
système de calcul formel – interface X
xrprof (0.3.1-3+b2 [riscv64], 0.3.1-3+b1 [amd64, arm64, armel, armhf, hppa, i386, ia64, mips64el, ppc64, ppc64el, s390x, sh4])
External Sampling Profiler for R
yacas (1.3.6-2.3+b1 [riscv64], 1.3.6-2.3 [alpha, amd64, arm64, armel, armhf, hppa, i386, ia64, m68k, mips64el, ppc64, ppc64el, s390x, sh4, sparc64, x32])
système de calcul formel