Paquets logiciels dans « trixie », Sous-section math

4ti2 (1.6.10 ds-1.1 b1)

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

acl2 (8.5dfsg-6)

logique calculatoire pour Applicative Common Lisp - binaire principal

acl2-books (8.5dfsg-6)

logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées

acl2-books-certs (8.5dfsg-6)

logique calculatoire pour Applicative Common List - certificats de bibliothèques

acl2-books-source (8.5dfsg-6)

logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque

acl2-infix (8.5dfsg-6)

logique calculatoire pour Applicative Common Lisp - interface infixe

acl2-infix-source (8.5dfsg-6)

logique algorithmique pour application Common Lisp - source infixe

acl2-source (8.5dfsg-6)

logique calculatoire pour Applicative Common Lisp - fichiers sources

admesh (0.98.5-1 b2)

outil pour calculer des maillages solides triangulés − exécutable

ann-tools (1.1.2 doc-9 b2 [arm64], 1.1.2 doc-9 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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

apophenia-bin (1.0 ds-8.1 b1)

bibliothèque statistique C Apophenia − paquet binaire

auto-07p (0.9.2 dfsg-3 b3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x], 0.9.2 dfsg-3 b1 [riscv64])

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

autoclass (3.3.6.dfsg.2-2)

Classification automatique ou mise en grappe

axiom (20170501-13)

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

axiom-databases (20170501-13)

système généraliste d'algèbre : bases de données texte générées

axiom-graphics (20170501-13)

système généraliste d'algèbre : sous-ensemble graphique

axiom-graphics-data (20170501-13)

système généraliste d'algèbre : sous-ensemble graphique

axiom-hypertex (20170501-13)

système informatisé d'algèbre à usage générique : sous-système hypertex

axiom-hypertex-data (20170501-13)

système informatisé d'algèbre à usage générique : sous-système hypertex

axiom-source (20170501-13)

système généraliste d'algèbre : fichiers source

axiom-test (20170501-13)

système généraliste d'algèbre : entrées de test de régression

axiom-tex (20170501-13)

système généraliste d'algèbre : feuilles de style pour TeX

bc (1.07.1-4 b1 [arm64], 1.07.1-4 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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 [arm64, riscv64], 0.0 20140524.git7dcd86-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

convertisseur ASCII, binaire, décimal et hexadécimal simple

bliss (0.77-3 b3)

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 b1 [arm64], 3.1-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

affichage de statistiques d'octets en graphique circulaire ASCII

cadical (1.7.4-1 b1)

Simplified Satisfiability Solver

calc (2.15.0.4-1 b2 [arm64], 2.15.0.4-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

calculateur de précision arbitraire

calc-common (2.15.0.4-1)

calculateur à précision arbitraire – fichiers communs

calligrasheets (1:3.2.1 dfsg-9 b1)

feuille de calcul pour la suite Calligra

calligrasheets-data (1:3.2.1 dfsg-9)

fichiers de données pour le tableur Sheets

cantor (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

interface pour applications mathématiques

cantor-backend-kalgebra (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

dorsal KAlgebra pour Cantor

cantor-backend-lua (4:22.12.3-1.1 b3)

dorsal Lua pour Cantor

cantor-backend-maxima (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

moteur Maxima pour Cantor

cantor-backend-octave (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

dorsal Octave pour Cantor

cantor-backend-python3 (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

dorsal Python3 pour Cantor

cantor-backend-qalculate (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

dorsal Qalculate! pour Cantor

cantor-backend-r (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

dorsal R pour Cantor

cantor-backend-sage (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])

dorsal Sage pour Cantor

cantor-backend-scilab (4:22.12.3-1.1 b4 [arm64], 4:22.12.3-1.1 b3 [amd64])

dorsal Scilab pour Cantor

carmetal (4.3-2)

logiciel de géométrie dynamique avec une interface hautement ergonomique

cashbox (0.3.2)

cashbox - memorise cost and calculate price of articles

chuffed-flatzinc (0.13.1-1 b1 [amd64, arm64], 0.13.1-1 [armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

lazy clause generation FlatZinc implememntation

cimg-dev (3.2.1 dfsg-2)

bibliothèque puissante de calcul d'images

clblast-tests (1.6.3-1 b1)

Tests for CLBlast

clblast-utils (1.6.3-1 b1)

utilitaires pour CLBlast

cliquer (1.21-3 b2)

programme de recherche de cliques

cohomcalg (0.32 ds-6 b2 [arm64, riscv64], 0.32 ds-6 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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.3-1)

Calculatrice pour la console

coq (8.20.0 dfsg-1)

outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)

coqide (8.20.0 dfsg-1)

outil d'aide à la preuve pour la logique d'ordre supérieur (interface en GTK)

cryptominisat (5.11.21 dfsg1-1 b2)

SAT solver command line interface

cvc4 (1.8-3 b3)

automated theorem prover for SMT problems

cvc5 (1.1.2-2 b2)

automated theorem prover for SMT problems

dc (1.07.1-4 b1 [arm64], 1.07.1-4 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

calculatrice GNU dc en précision arbitraire et notation polonaise inversée

deepin-calculator (5.7.21-2 b2 [arm64, riscv64], 5.7.21-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

calculatrice pour DDE (Deepin Desktop Environment)

dicelab (0.7-7 b1 [arm64, riscv64], 0.7-7 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

outil de calcul de la distribution statistique de lancers de dés

dynare (6.2-1)

plateforme pour gérér une large catégorie de modèles économiques

dynare-matlab (6.2-1) [contrib]

MATLAB support for Dynare

elan (3.1.1-3)

tool for managing installations of the Lean theorem prover

elpa-fricas (1.3.11-2)

système généraliste d'algèbre : prise en charge d’Emacs

eprover (3.2.5 ds-1)

Equational theorem prover

eukleides (1.5.4-5 b2 [arm64, riscv64], 1.5.4-5 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

langage de tracé en géométrie euclidienne

euler (1.61.0-12 b2 [riscv64], 1.61.0-12 b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x])

environnement de programmation mathématique interactive

evolver (2.70 ds-8)

Surface Evolver, modélisation de surfaces

evolver

paquet virtuel fourni par evolver-ogl, evolver-nox

evolver-nox (2.70 ds-8 b3 [arm64], 2.70 ds-8 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Surface Evolver, modélisation de surfaces – sans gestion d’X

evolver-ogl (2.70 ds-8 b3 [arm64], 2.70 ds-8 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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

fflas-ffpack (2.5.0-3 b1 [riscv64], 2.5.0-3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x])

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 [arm64, riscv64], 1:1.0-4 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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

fplll-tools (5.4.5-1.1 b1)

outils pour calculer la réduction LLL de réseaux euclidiens

freefem (3.5.8-7 b1 [arm64, riscv64], 3.5.8-7 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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

freefem (4.14 dfsg-1 b5)

Provides the binaries of the FreeFem FE suite

freefem-examples (3.5.8-7)

fichiers d’exemple pour FreeFEM

fricas (1.3.11-2)

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

fricas-databases (1.3.11-2)

système généraliste d'algèbre : bases de données texte générées

fricas-graphics (1.3.11-2)

General purpose computer algebra system: graphics subsystem

fricas-graphics-data (1.3.11-2)

système généraliste d'algèbre : données pour graphiques

fricas-hypertex (1.3.11-2)

General purpose computer algebra system: hypertex subsystem

fricas-hypertex-data (1.3.11-2)

General purpose computer algebra system: hypertex data

fricas-source (1.3.11-2)

système généraliste d'algèbre – fichiers source

fricas-test (1.3.11-2)

General purpose computer algebra system: regression test inputs

frobby (0.9.5-4 b2)

Computations with monomial ideals

galculator (2.1.4-2)

calculatrice scientifique

gap (4.14.0-2)

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-2)

GAP Alnuth – théorie algébrique des nombres et une interface pour PARI/GP

gap-anupq (3.3.1-1)

GAP ANUPQ - ANU p-Quotient

gap-atlasrep (2.1.9-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 dfsg-1)

Browse de GAP – interface en ncurses de navigation dans des applications

gap-character-tables (1.3.9-2)

bibliothèque de tables de caractères pour GAP

gap-congruence (1.2.7-1)

congruence avec GAP – sous-groupes de congruence de SL(2, entiers)

gap-core (4.14.0-2)

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.2 ds-1)

conception de bloc (bloc design) pour GAP

gap-factint (1.6.3 ds-3)

méthodes modernes de factorisation d’entiers pour GAP

gap-fga (1.5.0-1)

GAP FGA - Free Group Algorithms

gap-float (1.0.5 ds-1)

multi-precision floating-point computation for GAP

gap-gapdoc (1.6.7-1)

GAPDoc - A Meta Package for GAP Documentation

gap-grape (4.9.2 ds-1)

GRaph Algorithms using PErmutation groups for GAP

gap-guava (3.19 ds-3)

coding theory library for GAP

gap-guava-bin (3.19 ds-3)

coding theory library for GAP (arch-dep files)

gap-hap (1.66 ds-1)

GAP HAP - Homological Algebra Programming

gap-hapcryst (0.1.15-4)

GAP HAPcryst - A HAP extension for crystallographic groups

gap-io (4.9.1 ds-1)

liaisons de bas niveau d’E/S pour la bibliothèque C pour GAP

gap-laguna (3.9.7 ds-1)

LAGUNA GAP package

gap-libs (4.14.0-2)

GAP computer algebra system, essential GAP libraries

gap-nq (2.5.11-2)

GAP nq - Nilpotent Quotients of Finitely Presented Groups

gap-online-help (4.14.0-2)

système algébrique par informatique GAP – aide en ligne

gap-openmath (11.5.3 ds-2)

recueil d’expressions OpenMath pour GAP

gap-polycyclic (2.16-3)

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.3 ds-1)

protocole SCSCP pour GAP

gap-smallgrp (1.5.4-2)

GAP SmallGrp – bibliothèque de GAP pour les petits groupes

gap-smallgrp-extra (1.5.4-2)

GAP SmallGrp - The GAP Small Groups Library

gap-sonata (2.9.6 ds-2)

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.6 ds-1)

toric variety for GAP

gap-transgrp (3.6.5-2)

GAP TransGrp - Transitive Groups Library

gap-utils (0.87-1)

GAP utils - Utility functions in GAP

gappa (1.4.1-2 b1 [arm64], 1.4.1-2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Automatic generation of proofs of arithmetic properties

geg (2.0.9-4 b2 [arm64, riscv64], 2.0.9-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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-5)

visualisation interactive de formes géométriques

getdp (3.5.0 dfsg1-3 b1)

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

getdp-sparskit (3.5.0 dfsg1-3 b1)

general environment for the treatment of discrete problems

gfan (0.7-2)

program for computing with Groebner fans

ggobi (2.1.12-1)

système de visualisation de données de grande dimension

ginac-tools (1.8.7-1 b2 [arm64, riscv64], 1.8.7-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

outils de gestion de l'environnement symbolique GiNaC

glpk-utils (5.0-1 b2)

Ensemble de programmation linéaire — fichiers utilitaires

gmp-ecm (7.0.6 ds-1)

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

gmsh (4.13.1 ds1-4)

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

gnome-calculator (1:47.1-1)

calculatrice du bureau GNOME

gnumeric (1.12.57-1 b2)

Tableur pour GNOME - programme principal

gnumeric-common (1.12.57-1)

Tableur pour GNOME - fichiers communs

gnumeric-plugins-extra (1.12.57-1 b2)

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-2)

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 [arm64, mips64el], 6.0.0 dfsg1-3 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])

programme de tracé interactif en ligne de commande - paquet sans X11

gnuplot-nox

paquet virtuel fourni par gnuplot-x11, gnuplot-qt

gnuplot-qt (6.0.0 dfsg1-3 b1 [arm64, mips64el], 6.0.0 dfsg1-3 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])

programme de tracé interactif en ligne de commande – paquet pour Qt

gnuplot-x11 (6.0.0 dfsg1-3 b1 [arm64, mips64el], 6.0.0 dfsg1-3 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])

programme de tracé interactif en ligne de commande – paquet pour X11

gnuplot-x11

paquet virtuel fourni par gnuplot-qt

grace (1:5.1.25-17)

outil de tracé graphique en XY

gsl-bin (2.8 dfsg-5)

Bibliothèque scientifique GNU (GSL, GNU Scientific Library) : binaires

hera-utils (2.0.0 git20221115.8bfdd4b dfsg-1 b1 [arm64], 2.0.0 git20221115.8bfdd4b dfsg-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Utilities built from the Hera library

hol-light (1:3.0.0-2)

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

jags (4.3.2-1 b1 [arm64, riscv64], 4.3.2-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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-25)

Programme de Jim Plank pour produire des graphes PostScript

kalgebra (4:22.12.3-2 b4)

Calculateur graphique algébrique

kalgebra-common (4:22.12.3-2 b4)

contains files common for kalgebra and kalgebramobile

kalgebramobile (4:22.12.3-2 b4 [amd64, arm64, armhf, i386, riscv64], 4:22.12.3-2 b3 [armel, mips64el, ppc64el, s390x])

calculatrice graphique algébrique pour les interfaces basées sur de petites touches

kali (3.1 dfsg-3 b1 [arm64], 3.1 dfsg-3 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

tracé de pavements, de motifs de frises, etc.

kbruch (4:24.08.3-2)

outil d'apprentissage de calcul avec des fractions pour KDE

kcalc (4:24.12.0-1)

calculatrice simple et scientifique

kig (4:22.12.3-1 b6 [riscv64], 4:22.12.3-1 b5 [arm64, mips64el], 4:22.12.3-1 b4 [amd64, armel, armhf, i386, ppc64el, s390x])

outil de géométrie interactive

kissfft-tools (131.1.0-3 b3)

Mixed-radix Fast Fourier Transform library (CLI tools)

kmplot (4:22.12.3-1 b2 [arm64, riscv64], 4:22.12.3-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

traceur de fonctions mathématiques pour KDE

labplot (2.11.1-1 b2)

tracé et analyse interactifs de données scientifiques

labplot-data (2.11.1-1)

data files for labplot

latte-int (1.7.6 ds-3 b2 [arm64, riscv64], 1.7.6 ds-3 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

Lattice point Enumeration

lcalc (2.0.5-1.1 b2)

Programme pour le calcul des fonctions L

libcdd-tools (094m-1.1 b1)

Programs using libcdd

libcoq-aac-tactics (8.20.0-1)

tactiques Coq pour raisonner modulo AC — théories

libcoq-gappa (1.5.5-2 b4 [amd64, ppc64el], 1.5.5-2 b3 [arm64, riscv64, s390x])

Coq tactic to use Gappa for floating-point goals

libcoq-mathcomp (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (all)

libcoq-mathcomp-algebra (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (algebra)

libcoq-mathcomp-character (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (character)

libcoq-mathcomp-field (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (field)

libcoq-mathcomp-fingroup (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (finite groups)

libcoq-mathcomp-solvable (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (finite groups II)

libcoq-mathcomp-ssreflect (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])

Mathematical Components library for Coq (small scale reflection)

libcoq-stdlib (8.20.0 dfsg-1)

outil d'aide à la preuve pour la logique d'ordre supérieur (théories)

libfp16-dev (0.0~git20200514.4dfe081-5)

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, i386, mips64el, ppc64el, s390x])

division via fixed-point multiplication by inverse

libgts-bin (0.7.6 darcs121130-5.2 b1)

binaires d’utilitaires pour libgts

liblrs2 (0.73-2 b2 [arm64], 0.73-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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.7.3-1)

computer algebra algorithms for solving polynomial systems (development)

libojalgo-java (55.0.0 ds-1)

Java library to do mathematics, linear algebra and optimisation

libreoffice-nlpsolver (4:0.9 LibO24.8.4-1)

extension de solveur pour programmation non-linéaire pour LibreOffice

libsbml5-octave (5.20.2 dfsg-8 b1)

System Biology Markup Language library - Octave bindings

libxnnpack-dev (0.0~git20240821.87ee0b4-2)

High-efficiency floating-point neural network inference operators (dev)

libxnnpack0 (0.0~git20240821.87ee0b4-2)

High-efficiency floating-point neural network inference operators (libs)

lie (2.2.2 dfsg-4)

Paquet d'algèbre par ordinateur pour les calculs de groupe de Lie

lp-solve (5.5.2.11-2)

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

lrcalc (1.2-2.1 b1)

programmes pour calculer les coffficients de Littlewood-Richardson

lrslib (0.73-2 b2 [arm64], 0.73-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

package to enumerate vertices and extreme rays of a convex polyhedron

lybniz (3.0.4-7)

traceur de graphique pour fonction mathématique

macaulay2 (1.24.11 ds-3)

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

macaulay2-common (1.24.11 ds-3)

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 b3)

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-6)

analyseur d'accessibilité pour les réseaux de systèmes algébriques

mate-calc (1.26.0-1 b2 [arm64, riscv64], 1.26.0-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

calculatrice pour le bureau MATE

mate-calc-common (1.26.0-1)

MATE desktop calculator (common files)

mathicgb (1.0~git20240206-1.1 b1)

Compute Groebner bases (command line tool)

mathomatic (16.0.5-5 b1 [arm64, riscv64], 16.0.5-5 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

système de calcul formel (CAS) portable

mathomatic-primes (16.0.5-5 b1 [arm64, riscv64], 16.0.5-5 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

outils de nombres premiers pour Mathomatic

mathpiper (0.81f svn4469 dfsg3-3.1)

calcul formel en Java

matio-tools (1.5.28-1 b1)

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.47.0-5)

système de calcul formel - système de base

maxima-emacs (5.47.0-5)

système de calcul formel – interface Emacs

maxima-sage (5.45.1-2 b2 [arm64, riscv64], 5.45.1-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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.47.0-5)

système de calcul formel – code supplémentaire

maxima-src (5.47.0-5)

système de calcul formel – code source

maxima-test (5.47.0-5)

système de calcul formel – suite de tests

mcl (1:22-282 ds-2 b1 [arm64, riscv64], 1:22-282 ds-2 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

algorithme de Markov pour les grappes

metamath (0.195-1 b1 [arm64, riscv64], 0.195-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

Language for mathematical proofs

metamath-databases (0.0.0~20210101.git55fe226-2)

Sample databases for Metamath

metis (5.1.0.dfsg-7 b2)

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

ministat (20150715-1 b2 [arm64], 20150715-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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.3)

programme pour réaliser des tests de Lucas-Lehmer sur un nombre de Mersenne

mongoose (1:7.8.3 dfsg-2)

transitional dummy package for suitesparse-mongoose

mplrs (0.73-2 b2 [arm64], 0.73-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)

msolve (0.7.3-1)

computer algebra algorithms for solving polynomial systems

mumps-test (5.7.3-3 b1)

Example/test binaries using MUMPS

nauty (2.8.9 ds-1)

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

netgen (6.2.2404 dfsg1-5 b1)

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

normaliz (3.10.4 ds-1)

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

normaliz-bin (3.10.4 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-15)

programmes pour traiter les nombres en ligne de commande

numbat (1.11.0-1 b2)

CLI for numbat, a programming language for scientific computations

octave (9.3.0-1)

langage GNU Octave pour calculs numériques

octave-audio (2.0.9-1)

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 (9.3.0-1)

fichiers indépendants de l'architecture pour Octave

octave-communications (1.2.6-3)

paquet d’octave pour les transmissions

octave-communications-common (1.2.6-3)

communications package for Octave (arch-indep files)

octave-control (4.0.1-1 b2)

computer-aided control system design (CACSD) for Octave

octave-data-smoothing (1.3.0-9)

functions to do data smoothing on noisy data

octave-dataframe (1.2.0-6)

manipulate data in Octave similar to R data.frame

octave-dicom (0.6.1-1)

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 b3 [arm64], 1:1.1.2-4 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

fonctions économétriques pour Octave

octave-financial (0.5.3-5)

financial package for Octave

octave-fpl (1.3.5-7)

plot data on unstructured triangular and tetrahedral meshes in Octave

octave-fuzzy-logic-toolkit (0.6.1-1)

fuzzy logic toolkit for Octave

octave-ga (0.10.4-1)

code d'optimisation génétique pour Octave

octave-general (2.1.3-1 b4)

fonctions générales supplémentaires pour Octave

octave-geometry (4.1.0-1 b2 [arm64], 4.1.0-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

extension of MatGeom functionality in Octave

octave-gsl (2.1.1-7 b3)

Binding GSL pour Octave

octave-image (2.14.0-5 b3)

manipulation d'images pour Octave

octave-image-acquisition (0.2.6-1)

image acquisition package for Octave

octave-instrument-control (0.9.3-1 b2 [arm64], 0.9.3-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

instrument control for Octave

octave-interval (3.2.1-6 b3)

real-valued interval arithmetic for Octave

octave-io (2.6.4-3 b3 [arm64], 2.6.4-3 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

fonctions d’entrée et sortie de données pour Octave

octave-level-set (0.3.1~git.2019.04.13-7 b3)

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 b3 [arm64], 0.1.4-2 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

least squares spectral analysis for Octave

octave-ltfat (2.6.0 dfsg-6 b2 [arm64, riscv64], 2.6.0 dfsg-6 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

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 b8 [arm64, armel, armhf], 1.4.2-3 b7 [amd64, i386, mips64el, ppc64el, s390x], 1.4.2-3 b6 [riscv64])

fonctions de cartes géographiques pour Octave

octave-matgeom (1.2.4-2)

computational geometry for Octave

octave-miscellaneous (1.3.1-1)

outils divers pour Octave

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 b2 [arm64, riscv64], 3.7.0-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

prise en charge de données avec ou sans valeurs manquantes dans Octave

octave-ncarray (1.0.6-1)

access NetCDF files as a multi-dimensional array in Octave

octave-netcdf (1.0.18-1)

Matlab compatible NetCDF interface for Octave

octave-nlopt (2.7.1-6 b1)

nonlinear optimization library -- GNU Octave package

octave-nurbs (1.4.3-3 b3 [arm64], 1.4.3-3 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

non-uniform rational B-splines for Octave

octave-octclip (2.0.3-1 b3 [arm64], 2.0.3-1 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

opérations booléennes sur les polygones avec Octave

octave-octproj (3.0.2-1 b3 [arm64], 3.0.2-1 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

liaisons de GNU Octave pour PROJ.4

octave-optics (0.1.4-4)

fonctions d’optique pour Octave

octave-optim (1.6.2-3 b3)

boîte à outils pour l’optimisation non linéaire sans contraintes pour Octave

octave-optiminterp (0.3.7-3 b3)

paquet d’interpolation optimale pour Octave

octave-parallel (4.0.2-1 b2 [arm64, riscv64], 4.0.2-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

exécution en parallèle d’Octave dans des grappes d’ordinateurs

octave-pfstools (2.2.0-9)

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-11 b3)

prise en charge Octave pour PLplot, une bibliothèque de traçage

octave-quaternion (2.4.0-10 b3 [arm64], 2.4.0-10 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

quaternion package for Octave

octave-queueing (1.2.8-1)

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 b3 [arm64], 0.0.8-16 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

simulation de semi-conducteur en 2D pour Octave

octave-secs3d (0.0.1-4)

simulateur de Drift-Diffusion pour les dispositifs à semi-conducteur en 3D d'Octave

octave-signal (1.4.6-1)

fonctions de traitement de signal pour Octave

octave-sockets (1.4.1-4 b2 [arm64], 1.4.1-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

communication through Internet sockets in Octave

octave-sparsersb (1.0.9-7 b3 [arm64], 1.0.9-7 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

RSB sparse matrix manipulation for Octave

octave-splines (1.3.5-2)

cubic spline functions for Octave

octave-statistics (1.7.0-2)

additional statistical functions for Octave

octave-statistics-common (1.7.0-2)

additional statistical functions for Octave (arch-indep files)

octave-stk (2.8.1-3 b1 [arm64], 2.8.1-3 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

(pas si) petite boîte à outils pour le krigeage

octave-strings (1.3.1-1 b3)

fonctions de manipulation supplémentaires de chaînes pour Octave

octave-struct (1.0.18-3 b3)

additional structure manipulation functions for Octave

octave-symbolic (3.2.1-3)

paquet de calcul symbolique pour Octave

octave-tsa (4.6.3-3)

time series analysis in Octave

octave-vibes (0.2.0-9 b3 [amd64, arm64], 0.2.0-9 b2 [armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

VIBes API to easily display results in Octave

octave-video (2.1.1-3 b3)

video file reader/writer for Octave

octave-zeromq (1.5.6-4 b2 [arm64], 1.5.6-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

ZeroMQ binding for Octave

palp (2.21-1)

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.17.0-2)

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

pari-gp2c (0.0.14-1)

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)

pdl (1:2.095-1)

langage de données Perl : extensions de Perl pour le calcul numérique

pgplot5 (5.2.2-19.7) [non-free]

large subroutine library for plotting scientific data

phat-utils (1.7-1 b3 [arm64], 1.7-1 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Utilities from the PHAT library

phcpack (2.4.90 dfsg-1 b4)

general-purpose solver for polynomial systems (command line)

pi (1.3.7-1 b1)

calcul de la constante d’Archimède Pi avec une précision arbitraire

planarity (3.0.2.0-2.1 b1)

programme d’algorithmes de graphe relatif à la planarité

plfit (0.9.6 ds-2)

fitting power-law distributions to empirical data -- interfaces

plotutils (2.6-14 b3)

outils en ligne de commande plotutils de GNU basés sur libplot

plplot-tcl (5.15.0 dfsg2-11 b3)

prise en charge de Tcl/Tk pour PLplot, une bibliothèque de tracé

plplot-tcl-bin (5.15.0 dfsg2-11 b3)

Tcl/Tk tools for PLplot, a plotting library

plplot-tcl-dev (5.15.0 dfsg2-11 b3)

Tcl/Tk development support for PLplot, a plotting library

polylib-utils (5.22.5-4.2 dfsg b1 [arm64], 5.22.5-4.2 dfsg [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

outils divers utilisant libpolylib

polymake (4.12-3 b1)

Tool for algorithmic discrete geometry

polymake-common (4.12-3)

outil pour la géométrie discrète algorithmique – fichiers partagés

primecount (7.14 ds-1)

fast prime number counter C/C library

primecount-bin (7.14 ds-1)

fast prime number counter C/C library -- bin

primesieve (12.6 ds-1)

fast prime number generator C/C library

primesieve-bin (12.6 ds-1)

fast prime number generator C/C library -- bin

psignifit (2.5.6-8 b2 [arm64], 2.5.6-8 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

ajuster et essayer des hypothèses sur les fonctions psychométriques

pspp (2.0.1-1 b1)

outil d'analyse statistique

ptscotch (7.0.6-1)

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 b2)

automated theorem prover for SMT problems (Python bindings)

pyxplot (0.9.2-14 b2)

programme de traçage de données de qualité professionnelle

qalc (5.4.0.1-1)

calculatrice puissante et facile à utiliser en ligne de commande

qalculate-gtk (5.3.0-1)

calculatrice de bureau simple et puissante - version GTK

qepcad (1.74 ds-5)

quantifier elimination tool

qhull-bin (2020.2-6 b2)

Calcul d'enveloppes convexes et d'autres objets mathématiques

qsopt-ex (2.5.10.3-3)

résolveur exact d’optimisation linéaire

quickplot (1.0.1~rc-3)

Traceur rapide en 2D et visualiseur

r-bioc-hilbertvis (1.62.0-1)

paquet de GNU R pour visualiser de grands vecteurs de données

relational (3.3-1)

Outil pédagogique pour l'algèbre relationnelle (interface utilisateur graphique)

relational-cli (3.3-1)

outil pédagogique pour l'algèbre relationnelle (interface en ligne de commande)

ries (2018.08.05-1 b1 [arm64, riscv64], 2018.08.05-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

recherche d’équations algébriques, leur solution étant fournie

ripser (1.2.1-3 b1 [arm64, riscv64], 1.2.1-3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

Fast computation of persistent homology of flag complexes

rkward (0.7.5-3 b1 [arm64], 0.7.5-3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

frontal de KDE pour le langage de statistiques R

rkward-data (0.7.5-3)

KDE frontend to the R statistics language - data files

rocs (4:22.12.3-1 b2 [arm64, riscv64], 4:22.12.3-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

EDI pour la théorie des graphes

rubiks (20070912-7 b1 [arm64], 20070912-7 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Small collection of Rubik's cube solvers

sagemath-database-conway-polynomials (0.10-2)

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

sc (7.16-1.1.2-1)

Tableur en mode texte avec des commandes au clavier à la VI

sc-im (0.8.4 ds-1 b1)

tableur en mode texte avec des raccourcis clavier de type vi

scalapack-mpi-test (2.2.1-7 b1)

paquet d'algèbre linéaire extensible – fichiers de test pour MPI

scilab (2024.1.0 dfsg-6)

paquet logiciel scientifique pour le calcul numérique

scilab-cli (2024.1.0 dfsg-6)

Logiciel de calcul numérique pour les applications scientifiques (interpréteur en ligne de commande)

scilab-data (2024.1.0 dfsg-6)

paquet logiciel scientifique pour le calcul numérique – fichiers de données

scilab-full-bin (2024.1.0 dfsg-6 b1)

paquet logiciel scientifique pour le calcul numérique – ensemble des fichiers exécutables

scilab-include (2024.1.0 dfsg-6 b1)

paquet logiciel scientifique pour le calcul numérique – fichiers include

scilab-minimal-bin (2024.1.0 dfsg-6 b1)

Logiciel de calcul numérique pour les applications scientifiques (fichiers binaires minimaux)

scilab-test (2024.1.0 dfsg-6)

paquet logiciel scientifique pour le calcul numérique – fichiers de test

scotch (7.0.6-1)

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

sdpb (1.0-4 b4 [arm64], 1.0-4 b3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x], 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.4.0-p8 ds-1)

Computer Algebra System for Polynomial Computations

singular-data (1:4.4.0-p8 ds-1)

Computer Algebra System for Polynomial Computations -- shared data

singular-ui (1:4.4.0-p8 ds-1)

système informatique pour les calculs sur les polynômes -- interface en console

singular-ui-emacs (1:4.4.0-p8 ds-1)

système de calcul formel pour le calcul polynomial – interface pour Emacs

singular-ui-xterm (1:4.4.0-p8 ds-1)

système informatique pour les calculs sur les polynômes – interface utilisateur xterm

socnetv (2.8-1 b2 [arm64, i386, riscv64], 2.8-1 b1 [amd64, armel, armhf, mips64el, ppc64el, s390x])

logiciel d’analyse des réseaux sociaux et de visualisation

sollya (8.0 ds-2 b3)

library for safe floating-point code development -- tool

soplex (7.1.2 dfsg-1)

sequential object-oriented simplex solver

spigot (0.2017-01-15.gdad1bbc6-1 b2 [arm64], 0.2017-01-15.gdad1bbc6-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Exact real calculator

spline (1.2-5 b2 [arm64], 1.2-5 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

Interpolation de spline d’Akima

sptag (0.0~git20230612.2ffaec6 ds-4 b2)

distributed approximate nearest neighborhood search (ANN)

st-console (1.1.4-7.1)

simple mathematics statistics from the command line interface

stda (1.3.1-2.1)

simple tools for data analysis (stda)

stopt-examples (5.12 dfsg-3)

library for stochastic optimization problems (programs examples)

suitesparse-mongoose (1:7.8.3 dfsg-2)

graph partitioning tool that can quickly compute edge cuts (executable)

surf-alggeo (1.0.6 ds-7 b1 [arm64], 1.0.6 ds-7 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

visualization of real algebraic geometry

surf-alggeo-nox (1.0.6 ds-7 b1 [arm64], 1.0.6 ds-7 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

visualisation de géométries algébriques réelles sans prise en charge de X

sympow (2.023.7-1 b1 [arm64], 2.023.7-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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

sympow-data (2.023.7-1)

mathematical program for SYMmetric POWer elliptic curve L-functions -- shared

tachyon (0.99~b6 dsx-14)

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

tachyon-bin-nox (0.99~b6 dsx-14)

programme autonome de lancer de rayon, parallèle et multiprocesseur – sans gestion de X

tachyon-bin-ogl (0.99~b6 dsx-14)

programme autonome de lancer de rayon, parallèle et multiprocesseur – affichage OpenGL

tapecalc (20240110-1 b1 [arm64], 20240110-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

é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 b2)

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

tiemu-skinedit (1.28~git20220826.cda2db4-1 b2 [arm64, riscv64], 1.28~git20220826.cda2db4-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

éditeur d'interface pour TiEmu

tilp2 (1.19~git20231112.5a2ea63-1 b2 [arm64], 1.19~git20231112.5a2ea63-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

programme de communication pour calculatrices Texas Instruments <-> PC fonctionnant sous X

topcom (1.1.2 ds-1.1 b2)

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.7.0-1 b1 [arm64], 1.7.0-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

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.3.1 dfsg-1)

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 [arm64], 2.5-3 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])

calculatrice scientifique en ligne de commande

why3 (1.7.2-2 b1)

plateforme de vérification logicielle

why3-doc-html (1.7.2-2)

documentation en HTML pour la plateforme de vérification why3

why3-doc-pdf (1.7.2-2)

documentation en PDF pour la plateforme de vérification why3

why3-examples (1.7.2-2)

exemples pour la plateforme de vérification why3

wxmaxima (24.02.1-1 b3 [arm64, mips64el], 24.02.1-1 b2 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])

interface graphique pour le système de calcul formel Maxima

wzip (1.1.6 b1 [arm64, riscv64], 1.1.6 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

Compression avec perte et filtrage de bruit

xeus-gp (0.0.0-1 b1)

Native jupyter kernel for GP

xmaxima (5.47.0-5)

système de calcul formel – interface X

xrprof (0.3.1-3 b2 [arm64, riscv64], 0.3.1-3 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

External Sampling Profiler for R

yacas (1.3.6-2.3 b1 [arm64, riscv64], 1.3.6-2.3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])

système de calcul formel