Summary
Mathematics
Paquets Debian pour les Sciences Mathématiques
Ce méta-paquet installera les « Paquets Debian pour les Sciences
Mathématiques » liés aux mathématiques. Vous serez peut-être aussi
intéressé par le debtag field::mathematics et, selon vos intérêts, par le
méta-paquet education-mathematics.
Description
For a better overview of the project's availability as a Debian package, each head row has a color code according to this scheme:
If you discover a project which looks like a good candidate for Debian Science
to you, or if you have prepared an unofficial Debian package, please do not hesitate to
send a description of that project to the Debian Science mailing list
Links to other tasks
|
Debian Science Mathematics packages
Official Debian packages with high relevance
4ti2
suite d'outils mathématiques pour les problèmes dans les espaces linéaires − outils
|
Versions of package 4ti2 |
Release | Version | Architectures |
bookworm | 1.6.9+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.6.9+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.6.9+ds-1 | amd64,arm64,armhf,i386 |
stretch | 1.6.7+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 1.6.10+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.6.10+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
4ti2 est un paquet logiciel mathématique pour les problèmes algébriques,
géométriques et combinatoires dans les espaces linéaires.
Ce paquet fournit la suite d'outils 4ti2.
|
|
agda
langage de programmation fonctionnel typé de façon dépendante
|
Versions of package agda |
Release | Version | Architectures |
trixie | 2.6.4.3-1 | all |
jessie | 2.4.0.2-2 | all |
stretch | 2.5.1.1-3 | all |
buster | 2.5.4.1-3 | all |
bullseye | 2.6.1-1 | all |
bookworm | 2.6.2.2-1.1 | all |
sid | 2.6.4.3-1 | all |
upstream | 2.7.0.1 |
Debtags of package agda: |
role | metapackage |
|
License: DFSG free
|
Agda est un langage de programmation fonctionnel typé de façon dépendante.
Il possède des familles inductives, qui ressemblent aux GADT de Haskell,
mais qui peuvent être indexées par des valeurs et pas seulement des types.
Il possède également des modules de paramétrisations, des opérateurs
mixfix, les caractères Unicode et une interface Emacs interactive (le
vérificateur de type peut aider au développement du code).
Agda est également un assistant de preuve : C'est un système interactif
pour écrire et vérifier des preuves. Agda est basé sur la théorie des types
intuitifs, un système fondamental pour les mathématiques constructives
développé par le logicien suédois Per Martin-Löf. Il possède de nombreux
points communs avec d'autres assistants de preuves basés sur des types
dépendants comme Coq, Epigram et NuPRL.
Ce méta-paquet fournit le mode emacs pour Agda, l'exécutable, la
bibliothèque standard et la documentation.
|
|
auto-07p
logiciel pour les problèmes de continuation et de bifurcation en équations différentielles ordinaires
|
Versions of package auto-07p |
Release | Version | Architectures |
sid | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 0.9.1+dfsg-1 | amd64,armel,armhf,i386 |
stretch | 0.9.1+dfsg-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.9.1+dfsg-7 | amd64,arm64,armhf,i386 |
bullseye | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
AUTO peut réaliser une analyse de bifurcation limitée de systèmes
algébriques de la forme :
f(u,p) = 0, f,u dans Rn
et de systèmes aux équations différentielles ordinaires de la forme :
u'(t) = f(u(t),p), f,u dans Rn
sujets à des conditions initiales, des conditions de limites et des
contraintes intégrales. Ici, p dénote un ou plusieurs paramètres. AUTO peut
également réaliser certains calculs de continuation et d'évolution pour les
équations aux différences partielles paraboliques. Il comprend également le
logiciel HOMCONT pour l'analyse de bifurcation d'orbites homocliniques.
AUTO est plutôt rapide et peut tirer parti de plusieurs processeurs ; il
est donc applicable sur des systèmes aux équations différentielles d'assez
grande taille.
|
|
axiom
système généraliste d'algèbre : programme principal et modules
|
Versions of package axiom |
Release | Version | Architectures |
bullseye | 20170501-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 20170501-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 20140801-12 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 20140801-6 | amd64,armel,armhf,i386 |
sid | 20170501-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 20170501-4 | amd64,arm64,armhf,i386 |
bookworm | 20170501-12 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package axiom: |
devel | compiler, interpreter |
field | mathematics |
interface | text-mode |
role | program |
scope | utility |
|
License: DFSG free
|
Axiom est un programme utile pour l'enseignement et la recherche
d'algorithmes mathématiques. Il définit une hiérarchie de types
mathématiquement correcte et fortement typée. Il comporte un langage de
programmation et un compilateur interne.
Axiom est développé depuis 1973 et était précédemment commercialisé. Il a
été depuis publié comme logiciel libre.
Des efforts sont en cours pour :
- étendre le logiciel afin de développer une meilleure interface
utilisateur ;
- le rendre utile pour l'enseignement ;
- développer un protocole pour serveur d'algèbre ;
- intégrer d'autres aspects des mathématiques ;
- reconstruire l'algèbre dans un style de programmation littéraire
(« literate programming ») ;
- intégrer la programmation logique ;
- développer un « Axiom Journal » comportant des articles d'un comité de
lecture.
Ce paquet fournit le programme principal et tous les modules
précompilés d'algèbre, qui peuvent être automatiquement chargés.
The package is enhanced by the following packages:
texmacs-bin
|
|
bliss
outil pour calculer les automorphismes et étiquetages de graphes — exécutable
|
Versions of package bliss |
Release | Version | Architectures |
stretch | 0.73-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 0.77-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 0.77-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 0.73-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 0.73-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.73-2 | amd64,arm64,armhf,i386 |
jessie | 0.72-5 | amd64,armel,armhf,i386 |
Debtags of package bliss: |
interface | commandline |
role | program |
|
License: DFSG free
|
Bliss est un algorithme de retour sur trace (« backtracking ») pour calculer
les groupes d'automorphisme et les formes canoniques de graphes, basé sur
l'individualisation et l’affinage. Ses structures de données, sous routines
et heuristiques de réduction (« pruning ») sont spécialement conçues pour la
gestion rapide de graphes grands et creux.
Ce paquet fournit l'outil en ligne de commande bliss.
|
|
cohomcalg
sheaf cohomology of line bundles on toric varieties
|
Versions of package cohomcalg |
Release | Version | Architectures |
bullseye | 0.32+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 0.32+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 0.32+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 0.32+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.32+ds-2 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
The algorithm for the computation of sheaf cohomologies for line bundles on
toric varieties presented in "Cohomology of Line Bundles: A Computational
Algorithm" by Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn, and Helmut
Roschy has been implemented in a convenient and high-performance C/C++
application called cohomCalg.
The optional cohomCalg Koszul extension serves as a Mathematica 7 frontend and
allows for the easy computation of hypersurface and complete intersection
cohomologies, following the material presented in "Cohomology of Line Bundles:
Applications" by the same authors.
|
|
coinor-cbc
solveur de programmes en variables mixtes par branch-and-cut COIN-OR
|
Versions of package coinor-cbc |
Release | Version | Architectures |
stretch | 2.8.12-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.10.5+ds1-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.10.8+ds1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.10.12+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2.10.12+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 2.8.12-1 | amd64,armel,armhf,i386 |
buster | 2.9.9+repack1-1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
Cbc (Coin-or branch and cut) est un solveur de programmes en variables
mixtes libre écrit en C++. Il peut être utilisé en tant que bibliothèque
appelable ou comme un exécutable autonome.
Ce paquet fournit l'exécutable cbc.
|
|
coinor-csdp
paquet logiciel de programmation semi-définie – binaires
|
Versions of package coinor-csdp |
Release | Version | Architectures |
bookworm | 6.2.0-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 6.2.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 6.2.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 6.2.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 6.1.1-1 | amd64,arm64,armhf,i386 |
stretch | 6.1.1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 6.1.1-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
CSDP est une bibliothèque de routines implémentant une variante de
correcteur de prédicteur de l'algorithme de programmation semi-définie
de Helmberg, Rendl, Vanderbei et Wolkowicz. Le code s'exécute en
parallèle sur des systèmes multiprocesseurs à mémoire partagée et utilise
le caractère creux des matrices de contraintes.
CSDP fait partie de l'initiative COIN-OR (Computational Infrastructure
for Operations Research).
Ce paquet fournit les exécutables.
|
|
coinor-libbonmin-dev
COIN-OR mixed integer programming (developer files)
|
Versions of package coinor-libbonmin-dev |
Release | Version | Architectures |
trixie | 1.8.9-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.8.9-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.8.9-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
Bonmin (Basic Open-source Nonlinear Mixed INteger programming) is an
open-source code for solving general MINLP (Mixed Integer NonLinear
Programming) problems.
Bonmin is part of the larger COIN-OR initiative (Computational Infrastructure
for Operations Research) and can be used with other COIN-OR packages that
make use of cuts, such as the mixed-integer linear programming solver Cbc.
This package contains the header files for developers.
|
|
coinor-symphony
solveur COIN-OR pour les programmes linéaires en nombres mixtes
|
Versions of package coinor-symphony |
Release | Version | Architectures |
sid | 5.6.17+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 5.6.17+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 5.6.16+repack1-1.1 | amd64,arm64,armhf,i386 |
bullseye | 5.6.16+repack1-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 5.6.1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 5.6.1-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
SYMPHONY est un solveur libre et générique de programmes linéaires en
nombres mixtes (MILP – «⋅Mixed-Integer Linear Programs⋅»), une bibliothèque
et un cadriciel pour implémenter des solveurs personnalisés. SYMPHONY a un
certain nombre de capacités évoluées, telles que la possibilité de résoudre
des MILP multiobjectifs, la possibilité d'utiliser un démarrage à chaud de
sa procédure de résolution et la capacité d'effectuer des analyses de
sensibilité basiques.
SYMPHONY fait partie de l'initiative COIN-OR (« Computational
Infrastructure for Operations Research »).
Ce paquet fournit l'exécutable symphony.
|
|
coq
outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
|
Versions of package coq |
Release | Version | Architectures |
jessie | 8.4pl4dfsg-1 | amd64,armel,armhf,i386 |
buster | 8.9.0-1 | amd64,arm64,armhf,i386 |
bullseye | 8.12.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el |
stretch | 8.6-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 8.16.1+dfsg-1 | amd64,arm64,armhf,i386,ppc64el,s390x |
trixie | 8.20.0+dfsg-1 | amd64,arm64,ppc64el,riscv64,s390x |
sid | 8.20.0+dfsg-1 | amd64,arm64,ppc64el,riscv64,s390x |
Debtags of package coq: |
devel | compiler |
field | mathematics |
interface | commandline, text-mode |
role | program |
scope | utility |
uitoolkit | ncurses |
|
License: DFSG free
|
Coq est un assistant de preuve pour la logique d'ordre supérieur, qui
permet le développement de programmes d'ordinateur correspondant à une
spécification formelle. Il est développé en Objective Caml et Camlp5.
Ce paquet fournit coqtop, une interface en ligne de commande pour Coq.
Une interface graphique pour Coq est fournie dans le paquet coqide. On peut
aussi utiliser Coq avec ProofGeneral, qui permet l'édition de preuves dans
Emacs et XEmacs. Pour cela, le paquet proofgeneral doit être installé.
|
|
cryptominisat
SAT solver command line interface
|
Versions of package cryptominisat |
Release | Version | Architectures |
trixie | 5.11.21+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 5.11.4+dfsg1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 5.11.21+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 5.8.0+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
upstream | 5.11.22 |
|
License: DFSG free
|
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
|
|
eclib-tools
Programs for modular symbols and elliptic curves over Q
|
Versions of package eclib-tools |
Release | Version | Architectures |
sid | 20231212-1.1 | armel,armhf |
stretch | 20160720-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
experimental | 20241112-1 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 2014-09-21-1 | amd64,armel,armhf,i386 |
bullseye | 20190909-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 20221012-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 20180815-2 | amd64,arm64,armhf,i386 |
sid | 20240408-1 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 20241112 |
|
License: DFSG free
|
This package includes several programs to compute with elliptic curves
over Q ; most notably mwrank (for 2-descent on elliptic curves over Q)
and the modular symbol tools used to create the elliptic curve database.
|
|
eprover
Equational theorem prover
|
Versions of package eprover |
Release | Version | Architectures |
trixie | 3.2.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 3.2.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.6+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
This package provides tools to prove equational theorems:
from a mathematical specification in many-sorted first-order
logic with equality and an hypothesis/conjecture, it
will look for a proof.
|
|
feel++-apps
??? missing short description for package feel++-apps :-(
|
Versions of package feel++-apps |
Release | Version | Architectures |
jessie | 0.99.0-final.1-1 | amd64,i386 |
|
License: DFSG free
|
|
|
fenics
résolution automatique d’équations différentielles.
|
Versions of package fenics |
Release | Version | Architectures |
sid | 0.9.0.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2019.2.0.5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2018.1.0.6 | amd64,arm64,armhf,i386 |
stretch | 2016.2.0.1 | all |
bookworm | 0.5.0.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 1.4.0.1 | all |
Debtags of package fenics: |
field | mathematics |
role | metapackage |
|
License: DFSG free
|
FEniCS est une collection de logiciels libres pour la résolution
automatique et rapide d’équations différentielles.
FEniCS possède une longue liste de fonctions, comprenant entre autres,
la résolution automatique de problèmes variationnels, le contrôle
automatique d’erreur, une bibliothèque complète d’éléments finis, une
algèbre linéaire hautement performante.
FEniCS est organisée sous forme de collection de composants
interopérables, comprenant l’environnement DOLFIN de résolution de
problème, le compilateur de formes FFC, le « tabulateur » pour les
éléments finis FIAT, le compilateur en temps réel Instant, l’interface
de génération de code UFC, le langage de formes UFL et une variété de
composants supplémentaires.
Il s’agit d’un métapaquet dépendant de tous les composants de FEniCS.
Il s’agit de la version historique de FEniCS. L’installation de la
nouvelle génération, FEniCS-X (paquet fenicx), est à envisager.
|
|
flintqs
programme utilisant un crible quadratique pour la décomposition en facteurs premiers
|
Versions of package flintqs |
Release | Version | Architectures |
stretch | 1.0-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 1.0-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.0-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.0-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.0-3 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
Ce paquet fournit le programme de William Hart pour la décomposition en produit de facteurs premiers de très grands nombres entiers (d’au moins quarante chiffres).
Il utilise un crible quadratique à polynômes multiples hautement optimisé.
|
|
form
système de manipulation symbolique
|
Versions of package form |
Release | Version | Architectures |
buster | 4.2.1-1 | amd64,arm64,armhf,i386 |
bookworm | 4.3.0+git20230104+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 4.3.1+git20240409+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 4.3.1+git20240409+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 4.2.1+git20200217-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 4.1-1 | amd64,i386,mips,mips64el,mipsel |
|
License: DFSG free
|
Il s’agit d’un système de manipulation symbolique, lisant des expressions
symboliques à partir de fichiers et exécutant sur elles des transformations
symboliques ou algébriques. Les réponses sont faites sous la forme d'une
représentation mathématique textuelle. Une de ses caractéristiques les plus
marquantes est que la taille des expressions étudiées dans FORM n'est
limitée que par l’espace disque disponible, et non par la RAM disponible.
|
|
fplll-tools
outils pour calculer la réduction LLL de réseaux euclidiens
|
Versions of package fplll-tools |
Release | Version | Architectures |
buster | 5.2.1-2 | amd64,arm64,armhf,i386 |
sid | 5.5.0-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 4.0.4-2 | amd64,armel,armhf,i386 |
bullseye | 5.4.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.4.5-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 5.0.3-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.4.4-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
fpLLL est une bibliothèque pour le calcul de bases (presque orthogonales)
réduites pour des réseaux euclidiens en utilisant l’algorithme LLL à
virgule flottante.
fpLLL fournit plusieurs implémentations différentes de l’algorithme de
réduction LLL à virgule flottante, proposant plusieurs ratios différents
de vitesse/garantie.
Elle fournit une « enveloppe » choisissant la meilleur séquence estimée de
variantes dans le but de fournir une sorte garantie aussi rapidement que
possible. Dans le cas de l’enveloppe, la succession de variantes est
imperceptible pour l’utilisateur.
Ce paquet fournit les outils de base utilisant libfplll.
|
|
freefem
langage orienté vers un environnement de développement, utilisant la méthode des éléments finis
|
Versions of package freefem |
Release | Version | Architectures |
bullseye | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 3.5.8-5.1 | amd64,armel,armhf,i386 |
stretch | 3.5.8-5.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 3.5.8-7 | amd64,arm64,armhf,i386 |
Debtags of package freefem: |
devel | interpreter |
field | physics |
interface | commandline |
role | program |
scope | utility |
|
License: DFSG free
|
FreeFEM est un langage adapté aux équations aux dérivées partielles. La
méthode sous-jacente utilisée est celle des éléments finis. Cet outil a été
utilisé avec succès comme outil d’enseignement et même comme outil de
recherche.
|
|
freefem++
Provides the binaries of the FreeFem++ FE suite
|
Versions of package freefem++ |
Release | Version | Architectures |
trixie | 4.14+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 4.11+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 4.14+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 3.31-2-1 | amd64,armel,armhf,i386 |
stretch | 3.47+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 3.61.1+dfsg1-4 | amd64,arm64,armhf,i386 |
upstream | 4.15 |
|
License: DFSG free
|
FreeFem++ is an implementation of a language dedicated to the finite
element method. It enables you to solve Partial Differential
Equations (PDE) easily.
Problems involving PDE from several branches of physics such as
fluid-structure interactions require interpolations of data on
several meshes and their manipulation within one program. FreeFem++
includes a fast quadtree-based interpolation algorithm and a language
for the manipulation of these data on multiple meshes. It contains
also a powerful mesh generation and adaption tool integrated
seamlessly in FreeFem++ called bamg.
FreeFem++ is written in C++ and the FreeFem++ language is a C++ idiom
allowing for a smooth learning curve.
This package contains the executables of FreeFem++.
|
|
freefem3d
??? missing short description for package freefem3d :-(
|
Versions of package freefem3d |
Release | Version | Architectures |
jessie | 1.0pre10-3.2 | amd64,armel,armhf,i386 |
stretch | 1.0pre10-3.4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package freefem3d: |
devel | interpreter |
field | physics |
interface | commandline |
role | program |
scope | utility |
uitoolkit | qt |
works-with | 3dmodel |
|
License: DFSG free
|
|
|
freemat
Environnement mathématique (globalement compatible Matlab)
|
Versions of package freemat |
Release | Version | Architectures |
jessie | 4.0-5 | amd64,armel,armhf,i386 |
buster | 4.2+dfsg1-6 | amd64,arm64,armhf,i386 |
stretch | 4.2+dfsg1-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package freemat: |
field | mathematics |
interface | commandline, x11 |
role | program |
scope | application |
uitoolkit | qt |
x11 | application |
|
License: DFSG free
|
Freemat est un environnement gratuit pour l'ingénierie rapide, le
prototypage scientifique et le traitement de données. Il est similaire aux
systèmes commerciaux tels que MATLAB de Mathworks et IDL de Research
Systems mais est Open Source. Freemat est disponible sous la licence GPL.
|
|
frobby
Computations with monomial ideals
|
Versions of package frobby |
Release | Version | Architectures |
bookworm | 0.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 0.9.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 0.9.0-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.9.0-5 | amd64,arm64,armhf,i386 |
trixie | 0.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 0.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Frobby is a software system and project for computations with monomial ideals.
Frobby is free software and it is intended as a vehicle for computational and
mathematical research on monomial ideals.
The current functionality includes Euler characteristic, Hilbert series,
maximal standard monomials, combinatorial optimization on monomial ideals,
primary decomposition, irreducible decomposition, Alexander dual, associated
primes, minimization and intersection of monomial ideals as well as the
computation of Frobenius problems (using 4ti2) with very mmlarge numbers.
Frobby is also able to translate between formats that can be used with several
different computer systems, such as Macaulay 2, Monos, 4ti2, CoCoA4 and
Singular. Thus Frobby can be used with any of those systems.
|
|
gap
système d’algèbre informatique Gap (Groups, Algorithms, Programming)
|
Versions of package gap |
Release | Version | Architectures |
bookworm | 4.12.1-2 | all |
stretch | 4r8p6-2 | all |
buster | 4r10p0-7 | all |
jessie | 4r7p5-2 | all |
bullseye | 4.11.0-4 | all |
trixie | 4.13.1-1 | all |
sid | 4.14.0-2 | all |
Debtags of package gap: |
field | mathematics |
role | metapackage |
|
License: DFSG free
|
GAP est un système pour l’algèbre discrète informatique, avec un accent
particulier sur la théorie des groupes. GAP fournit un langage de
programmation, une bibliothèque de milliers de fonctions pour
l'algorithmique algébrique, écrites dans le langage de GAP, et
d’importantes bibliothèques d’objets algébriques. GAP est utilisé dans la
recherche et l’éducation pour l’étude des groupes et de leurs
représentations, des anneaux, des espaces vectoriels, des algèbres, des
structures combinatoires, etc.
Il s’agit d’un paquet factice dépendant des composants courants de GAP.
|
|
gap-character-tables
bibliothèque de tables de caractères pour GAP
|
Versions of package gap-character-tables |
Release | Version | Architectures |
bookworm | 1.3.4-1 | all |
buster | 1r2p2.dfsg.0-3 | all |
bullseye | 1.3.1-1 | all |
stretch | 1r2p2.dfsg.0-3 | all |
sid | 1.3.9-2 | all |
trixie | 1.3.9-2 | all |
jessie | 1r2p2.dfsg.0-2 | all |
Debtags of package gap-character-tables: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP est un système pour l’algèbre discrète informatique, avec un accent
particulier sur la théorie des groupes. GAP fournit un langage de
programmation, une bibliothèque de milliers de fonctions pour
l'algorithmique algébrique, écrites dans le langage de GAP, et
d’importantes bibliothèques d’objets algébriques. GAP est utilisé dans la
recherche et l’éducation pour l’étude des groupes et de leurs
représentations, des anneaux, des espaces vectoriels, des algèbres, des
structures combinatoires, etc.
Ce paquet fournit la bibliothèque de tables de caractères de Thomas Breuer.
|
|
gap-design
conception de bloc (bloc design) pour GAP
|
Versions of package gap-design |
Release | Version | Architectures |
bullseye | 1.7+ds-2 | all |
bookworm | 1.7+ds-3 | all |
sid | 1.8.2+ds-1 | all |
trixie | 1.8.2+ds-1 | all |
buster | 1r6+ds-2 | all |
|
License: DFSG free
|
GAP est un système pour l’algorithmique algébrique avec une attention
particulière à la théorie des groupes, mais qui a déjà prouvé son
utilité dans d’autres domaines.
Ce paquet fournit des routines de GAP pour la construction, la
classification, le découpage et l’étude de conception de bloc (block
design).
|
|
gap-factint
méthodes modernes de factorisation d’entiers pour GAP
|
Versions of package gap-factint |
Release | Version | Architectures |
trixie | 1.6.3+ds-3 | all |
bullseye | 1.6.3+ds-1 | all |
sid | 1.6.3+ds-3 | all |
buster | 1.6.2+ds-1 | all |
bookworm | 1.6.3+ds-2 | all |
|
License: DFSG free
|
GAP est un système pour l’algorithmique algébrique avec une attention
particulière à la théorie des groupes, mais qui a déjà prouvé son utilité
dans d’autres domaines.
Ce paquet apporte à GAP des routines pour la factorisation d’entiers, en
particulier :
– algorithme p – 1 de Pollard ;
– algorithme p + 1 de Williams ;
– factorisation de Lenstra par les courbes elliptiques (Elliptic Curves Method – ECM) ;
– factorisation par fraction continue (Continued Fraction Algorithm – CFRAC) ;
– algorithme du crible quadratique (Multiple Polynomial Quadratic Sieve– MPQS).
Il fournit aussi un accès aux tables de factorisation d’entiers de la
forme b^k +/– 1 de Richard P. Brent.
|
|
gap-float
multi-precision floating-point computation for GAP
|
Versions of package gap-float |
Release | Version | Architectures |
buster | 0.9.1+ds-4 | amd64,arm64,armhf,i386 |
sid | 1.0.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.0.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.0.3+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 0.6.3+ds-1 | amd64,armel,armhf,i386 |
stretch | 0.7.4+ds-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 0.9.1+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This GAP package brings to GAP floating-point numbers with arbitrary
precision; it is based on MPFR, MPFI, MPC, CXSC, and FPLLL.
|
|
gap-grape
GRaph Algorithms using PErmutation groups for GAP
|
Versions of package gap-grape |
Release | Version | Architectures |
stretch | 4r7+ds-3 | all |
buster | 4.8.1+ds-3 | all |
bullseye | 4.8.3+ds-1 | all |
bookworm | 4.9.0+ds-1 | all |
trixie | 4.9.2+ds-1 | all |
sid | 4.9.2+ds-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package implements computing with graphs and groups for GAP.
GRAPE is primarily designed for constructing and analysing graphs
related to groups, finite geometries, and designs; special emphasis
is placed on the determination of regularity properties and subgraph
structure.
|
|
gap-guava
coding theory library for GAP
|
Versions of package gap-guava |
Release | Version | Architectures |
sid | 3.19+ds-3 | all |
trixie | 3.19+ds-3 | all |
bookworm | 3.17+ds-3 | all |
jessie | 3.12+ds1-2 | all |
stretch | 3.13+ds-2 | all |
buster | 3.14+ds-1 | all |
bullseye | 3.15+ds-3 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This GAP package brings to GAP computing with error-correcting codes.
|
|
gap-laguna
|
Versions of package gap-laguna |
Release | Version | Architectures |
stretch | 3.7.0+ds-1 | all |
sid | 3.9.7+ds-1 | all |
trixie | 3.9.7+ds-1 | all |
bookworm | 3.9.5+ds-2 | all |
bullseye | 3.9.3+ds-2 | all |
buster | 3.9.1+ds-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
LAGUNA stands for `Lie AlGebras and UNits of group Algebras'.
This package provides GAP with functionality for calculation of the
normalized unit group of the modular group algebra of the finite p-group
and for investigation of Lie algebra associated with group algebras and
other associative algebras.
|
|
gap-openmath
recueil d’expressions OpenMath pour GAP
|
Versions of package gap-openmath |
Release | Version | Architectures |
buster | 11.4.2+ds-3 | all |
bookworm | 11.5.2+ds-1 | all |
bullseye | 11.5.0+ds-2 | all |
sid | 11.5.3+ds-2 | all |
trixie | 11.5.3+ds-2 | all |
jessie | 11.2.0+ds-1 | all |
stretch | 11.3.1+ds-2 | all |
|
License: DFSG free
|
GAP est un système pour l’algorithmique algébrique avec une attention
particulière à la théorie des groupes, mais qui a déjà prouvé son utilité
dans d’autres domaines.
Ce paquet permet à GAP d’importer ou d’exporter des objets mathématiques
encodés en OpenMath, dans le but de les échanger avec d’autres
applications qui ne sont pas reliées à OpenMath.
|
|
gap-prim-groups
Database of primitive groups for GAP
|
Versions of package gap-prim-groups |
Release | Version | Architectures |
stretch | 4r8p5-1 | all |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
Debtags of package gap-prim-groups: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
This package contains the database of primitive groups.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
gap-small-groups
Database of small groups for GAP
|
Versions of package gap-small-groups |
Release | Version | Architectures |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
stretch | 4r8p5-1 | all |
Debtags of package gap-small-groups: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
The Small Groups Library is a catalogue of groups of `small' order.
This package contains the groups data and identification routines for groups
of order up to 1000 except 512, 768 and groups whose order factorises in at
most 3 primes.
Note that data for order 512, 768 and between 1000 and 2000 except 1024
are available separately in the gap-small-groups-extra packages.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
gap-small-groups-extra
Large database of small groups for GAP
|
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
The Small Groups Library is a catalogue of groups of `small' order.
This package contains the groups data and identification routines for groups
- of order at most 2000 except 1024.
- of cubefree order at most 50 000.
- of order p^n for n <= 6 and all primes p.
- of squarefree order.
- whose order factorises in at most 3 primes.
- of order q^n * p for q^n dividing 2^8, 3^6, 5^5, 7^4 and p prime
different to q
The Small Groups Library provides access to these groups and a method to
identify the catalogue number of a given group.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
gap-sonata
Systems Of Nearrings And Their Applications for GAP
|
Versions of package gap-sonata |
Release | Version | Architectures |
bullseye | 2.9.1+ds-3 | all |
sid | 2.9.6+ds-2 | all |
buster | 2.9.1+ds-2 | all |
bookworm | 2.9.6+ds-1 | all |
trixie | 2.9.6+ds-2 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package provides to GAP methods for the construction and analysis
of finite nearrings.
|
|
gap-table-of-marks
GAP TomLib - The GAP Library of Tables of Marks
|
Versions of package gap-table-of-marks |
Release | Version | Architectures |
buster | 1.2.7-2 | all |
jessie | 1r2p2-1 | all |
bullseye | 1.2.9-1 | all |
sid | 1.2.11-1 | all |
bookworm | 1.2.9-2 | all |
trixie | 1.2.11-1 | all |
stretch | 1r2p5-2 | all |
Debtags of package gap-table-of-marks: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
This package contains the GAP Library of Tables of Marks by L. Naughton and G.
Pfeiffer.
|
|
gap-toric
|
Versions of package gap-toric |
Release | Version | Architectures |
sid | 1.9.6+ds-1 | all |
buster | 1.9.4+ds-1 | all |
bullseye | 1.9.5+ds-1 | all |
bookworm | 1.9.5+ds-2 | all |
trixie | 1.9.6+ds-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package provides for GAP routines for working with toric varieties
and dealing with cones and related combinatorial geometric object.
|
|
gap-trans-groups
Database of transitive groups for GAP
|
Versions of package gap-trans-groups |
Release | Version | Architectures |
stretch | 4r8p5-1 | all |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
Debtags of package gap-trans-groups: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
This package contains the database of transitive groups.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
geneagrapher
création d’un arbre à partir du Mathematics Genealogy Project – exécutable
|
Versions of package geneagrapher |
Release | Version | Architectures |
bookworm | 1.0c2+git20220519-1 | all |
trixie | 2.0.0-1 | all |
stretch | 1.0c2+git20120704-2 | all |
sid | 2.0.0-1 | all |
buster | 1.0c2+git20180919-1 | all |
bullseye | 1.0c2+git20180919-2 | all |
|
License: DFSG free
|
Geneagrapher (Mathematics Genealogy Grapher) est un outil logiciel pour récolter des informations afin de construire des arbres généalogiques pour les mathématiques à partir de données du Mathematics Genealogy Project. Les informations extraites sont stockées dans un fichier au format dot qui peut alors être passé à Graphviz pour créer un graphe.
Ce paquet fournit l’outil en ligne de commande.
|
|
geogebra
logiciel éducatif de géométrie dynamique
|
Versions of package geogebra |
Release | Version | Architectures |
bookworm | 4.0.34.0+dfsg1-9 | all |
trixie | 4.0.34.0+dfsg1-9 | all |
bullseye | 4.0.34.0+dfsg1-9 | all |
sid | 4.0.34.0+dfsg1-9 | all |
jessie | 4.0.34.0+dfsg1-3 | all |
stretch | 4.0.34.0+dfsg1-3 | all |
buster | 4.0.34.0+dfsg1-7 | all |
Debtags of package geogebra: |
field | mathematics |
interface | x11 |
role | program |
scope | application |
uitoolkit | xlib |
use | learning |
works-with | image, image:raster, image:vector |
works-with-format | png, svg |
x11 | applet, application |
|
License: DFSG free
|
GeoGebra est un système de géométrie dynamique. Il est possible de réaliser
des constructions avec des points, des vecteurs, des segments, des lignes,
des éléments coniques ainsi que des fonctions, et de les modifier
dynamiquement par la suite. D’autre part, il est possible d'entrer
directement des équations et coordonnées.
Le logiciel gère de nombreuses constructions géométriques ainsi que de
nombreux outils élémentaires basés sur les calculs (dérivées, cercle
osculateur, etc.).
Les fichiers GeoGebra peuvent être exportés vers de nombreux formats, ainsi
que vers des appliquettes interactives pour des pages web.
|
|
geomview
visualisation interactive de formes géométriques
|
Versions of package geomview |
Release | Version | Architectures |
sid | 1.9.5-5 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.9.5-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.9.5-2 | amd64,arm64,armhf,i386 |
stretch | 1.9.5-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 1.9.4-4.1 | amd64,armel,armhf,i386 |
trixie | 1.9.5-5 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
Debtags of package geomview: |
field | mathematics |
interface | 3d, x11 |
role | program |
scope | application |
uitoolkit | motif |
use | learning, viewing |
works-with | 3dmodel |
x11 | application |
|
License: DFSG free
|
Geomview est un logiciel de géométrie interactif, particulièrement bien
adapté à la recherche et à l'enseignement à propos de mathématiques. En
particulier, geomview peut afficher des objets dans des espaces
hyperboliques et sphériques ainsi que dans des espaces euclidiens.
Geomview vous permet de manipuler indépendamment plusieurs objets et
plusieurs représentations géométriques (camera). Il vous permet de
contrôler le mouvement et l'apparence (éclairage, ombrage, matière) des
objets. Vous pouvez manipuler les sommets, les arêtes des objets ; prendre
des captures d'écran de vos scènes sous forme de fichiers SGI ou dans le
format Renderman RIB. Il est possible d'ajouter ou de supprimer des objets
directement à la souris, par l'intermédiaire de menus ou à l'aide de
raccourcis claviers. Des programmes externes peuvent contrôler certains
paramètres de visualisation (tel que la mise à jour continue du changement
de géométrie ou le contrôle du déplacement de certains objets) tout en
permettant le contrôle interactif de tout le reste.
|
|
gerris
solveur hydrodynamique Gerris
|
Versions of package gerris |
Release | Version | Architectures |
sid | 20131206+dfsg-21 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 20131206+dfsg-17 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 20131206+dfsg-18 | amd64,arm64,armhf,i386 |
bullseye | 20131206+dfsg-19 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 20131206+dfsg-19 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 20131206+dfsg-21 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 20131206+dfsg-5 | amd64,armel,armhf,i386 |
Debtags of package gerris: |
field | mathematics, physics |
role | program |
|
License: DFSG free
|
Gerris est un système pour résoudre des équations différentielles
partielles décrivant un écoulement de fluide.
Voici un bref résumé de ses propriétés principales (actuelles) :
– résolution des équations d'Euler, Stokes ou Navier-Stokes pour
des écoulements incompressibles en fonction de la densité et du temps ;
– ajustement adaptatif de maillage : la résolution est adaptée
dynamiquement aux caractéristiques du flux ;
– génération entièrement automatique de maillage en géométrie complexe ;
– second ordre dans le temps et l'espace ;
– nombre illimité de traceurs passifs diffusés ou advectés ;
– spécification flexible de termes source additionnels ;
– gestion parallèle portable par la bibliothèque MPI ;
– schéma d'advection de volume de fluide pour les flux interfaciaux.
Ce paquet fournit une prise en charge interne de MPI.
|
|
getdp
environnement général pour le traitement de problèmes d’éléments finis
|
Versions of package getdp |
Release | Version | Architectures |
stretch | 2.9.2+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 3.0.4+dfsg1-1 | amd64,arm64,armhf,i386 |
bullseye | 3.2.0+dfsg1-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 3.2.0+dfsg1-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 3.5.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 3.5.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
GetDP est un solveur général d’éléments finis utilisant des éléments mélangés
pour rendre discrets des complexes différentiels de type De Rham en une, deux ou
trois dimensions.
La principale caractéristique de GetDP est la proximité entre les données
d’entrée définissant les problèmes d’éléments finis (écrites par l’utilisateur
dans des fichiers de données en ASCII) et les expressions mathématiques
symboliques de ces problèmes.
Consulter le manuel de référence de GetDP pour un aperçu plus approfondi des
possibilités de GetDP : http://www.geuz.org/getdp
|
|
gfan
program for computing with Groebner fans
|
Versions of package gfan |
Release | Version | Architectures |
sid | 0.7-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 0.5+dfsg-5 | amd64,armel,armhf,i386 |
stretch | 0.5+dfsg-6 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.6.2-2 | amd64,arm64,armhf,i386 |
bullseye | 0.6.2-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.6.2-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 0.7-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Gfan is a software package for computing Groebner fans and tropical
varieties. These are polyhedral fans associated to polynomial
ideals. The maximal cones of a Groebner fan are in bijection with
the marked reduced Groebner bases of its defining ideal. The
software computes all marked reduced Groebner bases of an ideal.
Their union is a universal Groebner basis. The tropical variety of a
polynomial ideal is a certain subcomplex of the Groebner fan. Gfan
contains algorithms for computing this complex for general ideals and
specialized algorithms for tropical curves, tropical hypersurfaces
and tropical varieties of prime ideals. In addition to the above core
functions the package contains many tools which are useful in the
study of Groebner bases, initial ideals and tropical geometry. Among
these are an interactive traversal program for Groebner fans and
programs for graphical renderings.
For ordinary Groebner basis computations Gfan is not competitive in
speed compared to programs such as CoCoA, Singular and Macaulay2.
|
|
ginac-tools
outils de gestion de l'environnement symbolique GiNaC
|
Versions of package ginac-tools |
Release | Version | Architectures |
stretch | 1.7.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 1.8.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.8.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.8.6-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.8.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 1.6.2-1 | amd64,armel,armhf,i386 |
buster | 1.7.5-1 | amd64,arm64,armhf,i386 |
Debtags of package ginac-tools: |
devel | lang:c++ |
field | mathematics |
interface | shell, text-mode |
role | program |
scope | utility |
uitoolkit | ncurses |
use | viewing |
|
License: DFSG free
|
GiNaC (« GiNaC is Not a CAS (Computer Algebra System) ») est une
bibliothèque permettant de faire du calcul symbolique (c.-à-d. non
numérique) directement dans le langage de programmation C++.
Ce paquet fournit des outils additionnels comme le populaire ginsh (shell
interactif GiNaC) et viewgar (pour l'inspection des fichiers archive
GiNaC).
|
|
gmsh
Générateur de maillage tridimensionnel d'éléments finis
|
Versions of package gmsh |
Release | Version | Architectures |
stretch | 2.15.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 4.13.1+ds1-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 4.13.1+ds1-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 4.8.4+ds2-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 4.7.1+ds1-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 2.8.5+dfsg-1.1 | amd64,armel,armhf,i386 |
buster | 4.1.5+really4.1.3+ds1-1 | amd64,arm64,armhf,i386 |
Debtags of package gmsh: |
interface | x11 |
role | program |
scope | application |
use | editing |
works-with | 3dmodel |
x11 | application |
|
License: DFSG free
|
Gmsh est un générateur de grille 3D d'éléments finis, muni d'un moteur de
CAD intégré et d’un post-processeur. Il a été conçu pour fournir un outil de
maillage, rapide léger et facile à utiliser avec des entrées paramétriques
et des capacités avancées de visualisation. Gmsh est construit autour de
quatre modules : géométrie, maillage, solveur et post-processeur. La
spécification d'une donnée à ces modules est faite soit de manière
interactive en utilisant l'interface utilisateur graphique, soit dans des
fichiers texte en ASCII utilisant le langage de script propre à Gmsh.
Consultez le manuel de référence de Gmsh pour une vue d'ensemble plus
complète des possibilités offertes par Gmsh.
Please cite:
C. Geuzaine and J.-F. Remacle:
Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities.
(eprint)
International Journal for Numerical Methods in Engineering
79(11):1309-1331
(2009)
|
|
graphviz
ensemble complet d'outils pour tracer des graphes
|
Versions of package graphviz |
Release | Version | Architectures |
stretch-security | 2.38.0-17+deb9u1 | amd64,arm64,armel,armhf,i386 |
stretch | 2.38.0-17 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 2.38.0-7 | amd64,armel,armhf,i386 |
experimental | 12.2.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2.42.2-5+deb11u1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster-security | 2.40.1-6+deb10u1 | amd64,arm64,armhf,i386 |
sid | 2.42.4-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.42.4-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.42.2-7+deb12u1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.40.1-6+deb10u1 | amd64,arm64,armhf,i386 |
upstream | 12.2.1 |
Debtags of package graphviz: |
field | mathematics |
interface | commandline, x11 |
role | program |
science | visualisation |
scope | utility |
uitoolkit | athena, tk |
use | viewing |
works-with | graphs, image, image:raster, image:vector |
x11 | application |
|
License: DFSG free
|
Le dessin de graphes aborde le problème de la visualisation d'informations
structurées par la construction de représentations géométriques de schémas
abstraits et de réseaux. La génération automatique de graphes a
d'importantes applications dans certaines technologies clés comme la
conception de base de données, l'ingénierie logicielle, la conception VLSI
et réseau ou encore les interfaces graphiques, dans d'autres domaines. Les
situations dans lesquelles ces outils peuvent être particulièrement utiles
sont :
- Vous voulez restructurer un programme, mais vous devez d'abord
comprendre les relations entre types, procédures et fichiers source ;
- Vous devez identifier les goulets d'étranglement dans une dorsale
Internet - les liens individuels et leurs relations ;
- Vous devez déboguer un protocole ou une micro-architecture représentée
par une machine à états finis et vous avez besoin de comprendre
comment certains états d'erreur se produisent ;
- Vous voulez naviguer dans un schéma de base de données, une base de
connaissances, ou un programme distribué représentés graphiquement ;
- Vous voulez avoir une représentation graphique d'un ensemble de
documents liés ;
- Vous voulez découvrir des types et des centres d'intérêts communs dans
une base de données d'appels téléphoniques ou de messages
électroniques.
Ce paquet contient les outils en ligne de commande.
|
|
hol-light
démonstrateur de théorème HOL Light
|
Versions of package hol-light |
Release | Version | Architectures |
jessie | 20131026-1 | amd64,armel,armhf,i386 |
sid | 20231021-2 | armel,armhf,i386,mips64el |
bookworm | 20230128-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 20190729-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 3.0.0-1 | amd64,arm64,ppc64el,riscv64,s390x |
stretch | 20170109-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
HOL Light est un démonstrateur de théorème interactif pour la logique d’ordre supérieur avec un cœur logique très simple exécuté dans toplevel OCaml. HOL Light est célèbre pour la vérification de l’arithmétique en virgule flottante ainsi que pour le projet Flyspeck, qui se veut la formalisation de Tom Hales de sa preuve de la conjecture de Kepler.
|
|
julia
langage de programmation haute-performance pour le calcul technique
|
Versions of package julia |
Release | Version | Architectures |
stretch | 0.4.7-6 | amd64,arm64,armhf,i386,mips64el,ppc64el |
jessie | 0.3.2-2 | amd64,i386 |
bullseye | 1.5.3+dfsg-3 | amd64,arm64,armhf,i386,ppc64el |
buster | 1.0.3+dfsg-4 | amd64,arm64,armhf,i386 |
Debtags of package julia: |
uitoolkit | ncurses |
|
License: DFSG free
|
Julia est un langage de programmation haute-performance de haut-niveau
pour le calcul technique avec une syntaxe familière aux utilisateurs
d'autres environnements de calcul technique. Il fournit un compilateur
sophistiqué, une exécution distribuée parallèle, une précision numérique et
une vaste bibliothèque de fonctions mathématiques. La bibliothèque, écrite
en Julia pour l'essentiel, intègre aussi des bibliothèques⋅C et Fortran,
matures et optimales, pour l'algèbre linéaire, la génération de nombres
aléatoires, les transformations de Fourier rapides et le traitement de
chaînes. Les programmes de Julia sont organisés autour de la définition de
fonctions et leur surcharge pour différentes combinaisons de types
d'argument (qui peuvent également être définis par l'utilisateur).
Ce paquet fournit une installation complète de Julia (compilateur JIT,
bibliothèque standard, interface utilisateur en mode texte).
|
|
lcalc
Programme pour le calcul des fonctions L
|
Versions of package lcalc |
Release | Version | Architectures |
trixie | 2.0.5-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 1.23+dfsg-6 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 1.23+dfsg-3 | amd64,armel,armhf,i386 |
bullseye | 1.23+dfsg-11 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.0.5-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.23+dfsg-11 | amd64,arm64,armhf,i386 |
sid | 2.0.5-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package lcalc: |
role | program |
|
License: DFSG free
|
Lcalc est un programme pour calculer les zéros et les valeurs de
fonctions L. Celles prises en charge incluent la fonction zêta de
Riemann, la fonction L de la fonction delta de Ramanujan et les fonctions L
de courbes elliptiques sur le corps des nombres rationnels.
|
|
libjgrapht-java
Java library of graph theory data structures and algorithms
|
Versions of package libjgrapht-java |
Release | Version | Architectures |
sid | 1.5.2-1 | all |
trixie | 1.5.2-1 | all |
bookworm | 1.5.1-3 | all |
|
License: DFSG free
|
JGraphT is a free Java class library that provides mathematical graph-theory
objects and algorithms. In JGraphT, a graph is defined as a set of vertices
connected by a set of edges.
It is possible to define graphs, to modify, compare or generate them, to run
many algorithms through them. One may also import or export graphs.
|
|
libmatheval1
GNU library for evaluating symbolic mathematical expressions (runtime)
|
Versions of package libmatheval1 |
Release | Version | Architectures |
bullseye | 1.1.11+dfsg-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.1.11+dfsg-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 1.1.11+dfsg-2 | amd64,armel,armhf,i386 |
stretch | 1.1.11+dfsg-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 1.1.11+dfsg-3 | amd64,arm64,armhf,i386 |
bookworm | 1.1.11+dfsg-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.1.11+dfsg-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package libmatheval1: |
devel | lang:c, library |
field | mathematics |
role | devel-lib, shared-lib |
suite | gnu |
|
License: DFSG free
|
GNU libmatheval is a library comprising of several procedures that make
it possible to create an in-memory tree representation of mathematical
functions over single or multiple variables and later use this
representation to evaluate functions for specified variable values, to
create corresponding trees for function derivatives over specified
variables or to print textual representations of in-memory trees to a
specified string. The library supports arbitrary variable names in
expressions, decimal constants, basic unary and binary operators and
elementary mathematical functions.
This package contains the runtime shared library.
|
|
lp-solve
résolution de problèmes d'optimisation linéaire (en variables mixtes)
|
Versions of package lp-solve |
Release | Version | Architectures |
buster | 5.5.0.15-4 | amd64,arm64,armhf,i386 |
jessie | 5.5.0.13-7 | amd64,armel,armhf,i386 |
stretch | 5.5.0.15-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 5.5.2.5-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.5.2.5-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.5.2.11-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 5.5.2.11-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package lp-solve: |
field | mathematics |
role | program |
scope | application |
|
License: DFSG free
|
Un problème d'optimisation linéaire (LP) peut être formulé ainsi : Résoudre
A.x >= V1, avec V2.x maximal. A est une matrice, x un vecteur de variables
(non-négatives), V1 un vecteur appelé de partie droite et V2 un vecteur
précisant la fonction à optimiser.
Un problème d'optimisation linéaire entier (ILP) est un LP avec la
contrainte que toutes les variables soient entières. Dans un problème
d'optimisation linéaire mixte (MILP), certaines variables sont entières et
d'autres réelles.
Le programme lp-solve résout des problèmes LP, ILP et MILP. Il est un peu
plus général que ce qui est suggéré au dessus, puisque chaque ligne de A
(précisant une contrainte) peut avoir sa propre (in)égalité, <=, >= ou =.
Le résultat précise des valeurs pour chaque variable.
lp_solve utilise l'algorithme du Simplex et des méthodes de matrices
creuses pour les problèmes purement LP. Si une ou plusieurs des variables
est déclarée comme entière, l'algorithme du Simplex est itéré avec un
algorithme de séparation et évaluation, jusqu'à ce que la solution optimale
soit trouvée. lp_solve peut lire les fichiers d'entrées au format MPS.
|
|
lrcalc
programmes pour calculer les coffficients de Littlewood-Richardson
|
Versions of package lrcalc |
Release | Version | Architectures |
trixie | 1.2-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.2-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
experimental | 2.1-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 1.2-2 | amd64,arm64,armhf,i386 |
jessie | 1.2-1 | amd64,armel,armhf,i386 |
stretch | 1.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 1.2-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.2-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
upstream | 2.1 |
|
License: DFSG free
|
Le « calculateur de Littlewood-Richardson » est un paquet de programmes C
pour le calcul des coefficients de Littlewood-Richardson, permettant un
calcul rapide des coefficients LR uniques, des produits des fonctions de
Schur et des fonctions de Schur gauches. Son interface utilise la même
notation que le paquet SF de John Stembridge pour faciliter l’utilisation
des deux paquets en même temps.
Ce paquet fournit les programmes en ligne de commande.
|
|
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
|
Versions of package lrslib |
Release | Version | Architectures |
sid | 0.73-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 0.43-1 | amd64,armel,armhf,i386 |
bullseye | 0.71a-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.70-3 | amd64,arm64,armhf,i386 |
stretch | 0.51-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.71b-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 0.73-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package lrslib: |
role | program |
|
License: DFSG free
|
A convex polyhedron is the set of points satisfying a finite family
of linear inequalities. The study of the vertices and extreme rays
of such systems is important and useful in e.g. mathematics and
optimization. In a dual interpretation, finding the vertices of a
(bounded) polyhedron is equivalent to finding the convex hull
(bounding inequalities) of an (arbitrary dimensional) set of points.
Lrs (lexicographic reverse search) has two important features that
can be very important for certain applications: it works in exact
arithmetic, and it consumes memory proportional to the input, no
matter how large the output is.
|
|
macaulay2
système logiciel pour la recherche en géométrie algébrique
|
Versions of package macaulay2 |
Release | Version | Architectures |
bullseye | 1.17.1+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
bookworm | 1.21+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
trixie | 1.24.11+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.24.11+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Macaulay 2 est un système logiciel pour la recherche en géométrie
algébrique, conçu par Daniel R. Grayson et Michael E. Stillman. Reposant
sur les bases de Gröbner, il fournit des algorithmes pour calculer les
invariants homologiques d’anneaux et de module.
Ce paquet fournit la partie dépendante de l’architecture de Macaulay2.
|
|
magnus
Very simple screen magnifier
|
Versions of package magnus |
Release | Version | Architectures |
bookworm | 1.0.3-3 | all |
bullseye | 1.0.3-3 | all |
sid | 1.0.3-4 | all |
trixie | 1.0.3-4 | all |
|
License: DFSG free
|
Magnus is a simple screen magnifying glass. It nicely integrates with
X11 desktops like MATE or Xfce (probably with others not named here,
too).
Visually impaired users may find this tool helpful for zooming into
certain screen areas in order to improve readability/visibilty of fonts,
icons and other data.
|
|
mathicgb
Compute Groebner bases (command line tool)
|
Versions of package mathicgb |
Release | Version | Architectures |
stretch | 1.0~git20170104-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el |
sid | 1.0~git20240206-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.0~git20200526-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.0~git20240206-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.0~git20220621-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
Mathicgb is a program for computing Groebner basis and signature Groebner
bases. Mathicgb is based on the fast data structures from mathic.
The paper "Practical Groebner Basis Computation" describes the algorithms in
Mathicgb from a high level. It was presented at ISSAC 2012 and is available at
http://arxiv.org/abs/1206.6940
This package contains the command line tool.
|
|
mathomatic
système de calcul formel (CAS) portable
|
Versions of package mathomatic |
Release | Version | Architectures |
bullseye | 16.0.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 16.0.5-1 | amd64,arm64,armhf,i386 |
stretch | 15.8.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 16.0.5-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 15.8.2-2 | amd64,armel,armhf,i386 |
trixie | 16.0.5-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 16.0.5-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package mathomatic: |
field | mathematics |
interface | text-mode |
role | program |
scope | application |
uitoolkit | ncurses |
use | calculating, learning |
|
License: DFSG free
|
Mathomatic met en œuvre plupart des règles de l’algèbre pour les opérateurs
mathématiques +, -, *, /, % (modulo) et puissance (y compris les racines).
Mathomatic peut symboliquement :
— combiner et résoudre des équations ;
— simplifier complètement et comparer des expressions et équations ;
— réaliser des transformations et séries de calcul infinitésimal ;
— réaliser de l’arithmétique standard, des nombres complexes, modulaire et
des polynômes ;
— générer du code optimisé en langage C, Java et Python à partir
d’équations simplifiées ;
— réaliser le tracé d’expressions avec gnuplot en deux ou
trois dimensions ;
— réaliser des calculs rapides, colorer des expressions, etc.
|
|
matita
??? missing short description for package matita :-(
|
Versions of package matita |
Release | Version | Architectures |
stretch | 0.99.3-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 0.99.1-3 | amd64,armel,armhf,i386 |
Debtags of package matita: |
field | mathematics |
interface | commandline, x11 |
role | program |
uitoolkit | gtk |
use | checking |
x11 | application |
|
License: DFSG free
|
|
|
maxima-sage
système de calcul formel – système de base
|
Versions of package maxima-sage |
Release | Version | Architectures |
buster | 5.41.0+ds-4 | amd64,arm64,armhf,i386 |
stretch | 5.35.1-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 5.44.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.45.1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.45.1-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 5.45.1-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 5.47.0 |
|
License: DFSG free
|
Maxima est un programme de calcul symbolique. Il dispose de toutes les
fonctionnalités pour le calcul formel de polynômes, matrices et fonctions
rationnelles, l'intégration, les méthodes de Todd-coxeter d'analyse de
groupes finis, les graphiques, le calcul sur flottant à précision
arbitraire. Il possède un débogueur symbolique au niveau source pour le
code maxima. Maxima est basé sur le programme Macsyma originel développé
au MIT dans les années 1970. Il est assez fiable, possède un bon
ramasse-miettes et n'a pas de fuite de mémoire. Il est livré avec des
centaines de tests.
Les paquets maxima-sage sont destinés à être utilisés avec SageMath. Ils
fournissent la version de Maxima qui fonctionne avec la version de
SageMath dans Debian et utilisent ECL au lieu de GCL comme compilateur
Lisp. Pour utiliser Maxima seul, le paquet maxima le plus complet et le
plus à jour est recommandé.
Ce paquet contient les principaux exécutables et les fichiers du système
de base.
|
|
mcl
algorithme de Markov pour les grappes
|
Versions of package mcl |
Release | Version | Architectures |
jessie | 14-137-1 | amd64,armel,armhf,i386 |
bookworm | 22-282+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 14-137-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 14-137+ds-3 | amd64,arm64,armhf,i386 |
bullseye | 14-137+ds-9 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 22-282+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 22-282+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package mcl: |
field | mathematics |
role | program |
|
License: DFSG free
|
Le paquet MCL implémente l'algorithme MCL (Markov Cluster Algorithm) et
fournit les utilitaires nécessaires à la manipulation de matrices
creuses (type de matrices essentielles dans l'algorithme MCL) et à la
réalisation d’expérimentations dans les grappes.
MCL est utilisé dans divers domaines comme en biologie (détection de
familles de protéines, génomiques), en informatique (grappe de nœuds dans
un réseau pair à pair) ou la linguistique (analyse de textes).
The package is enhanced by the following packages:
zoem
|
|
minisat
solveur SAT rapide et léger
|
Versions of package minisat |
Release | Version | Architectures |
stretch | 2.2.1-5 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 2.2.1-5 | amd64,armel,armhf,i386 |
sid | 2.2.1-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.2.1-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.2.1-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.2.1-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.2.1-5 | amd64,arm64,armhf,i386 |
Debtags of package minisat: |
field | mathematics |
role | program |
|
License: DFSG free
|
Malgré la complétude NP du problème de satisfaisabilité de formules
booléennes (SAT), les solveurs SAT sont souvent capables de décider pour un
problème dans un intervalle raisonnable de temps. Comme tous les problèmes
NP-complets sont réductibles à SAT, les solveurs sont devenus des outils
d’usage général pour cette classe de problèmes.
MiniSat est un solveur SAT minimaliste au code source ouvert, développé
pour aider les chercheurs et les développeurs à débuter avec SAT. Vainqueur
de toutes les catégories industrielles de la compétition SAT 2005, MiniSat
est une bonne base de départ pour les futurs chercheurs avec SAT et pour
les applications utilisant SAT.
|
|
model-builder
simulateur graphique d’équations différentielles (ODE)
|
Versions of package model-builder |
Release | Version | Architectures |
stretch | 0.4.1-6.2 | all |
jessie | 0.4.1-6.2 | all |
buster | 0.4.1-6.2 | all |
Debtags of package model-builder: |
role | program |
|
License: DFSG free
|
Model-builder est un outil graphique pour concevoir, simuler et analyser
des modèles mathématiques constitués d’équations différentielles ordinaires
(ODE).
|
|
mumps-test
Example/test binaries using MUMPS
|
Versions of package mumps-test |
Release | Version | Architectures |
trixie | 5.7.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 5.5.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 5.3.5-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 5.1.2-4 | amd64,arm64,armhf,i386 |
stretch | 4.10.0.dfsg-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 4.10.0.dfsg-3 | amd64,armel,armhf,i386 |
sid | 5.7.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
MUMPS implements a direct solver for large sparse linear systems, with a
particular focus on symmetric positive definite matrices. It can
operate on distributed matrices e.g. over a cluster. It has Fortran and
C interfaces, and can interface with ordering tools such as Scotch.
|
|
nauty
bibliothèque pour l’automorphisme de graphe – interface et outils
|
Versions of package nauty |
Release | Version | Architectures |
bookworm | 2.8.6+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.6r7+ds-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 2.8.9+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.8.9+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2.7r1+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 2.5r9+ds-1 (non-free) | amd64,i386 |
buster | 2.6r10+ds-1 | amd64,arm64,armhf,i386 |
Debtags of package nauty: |
interface | commandline |
role | program |
|
License: DFSG free
|
Nauty (No AUTomorphisms, Yes?) est un ensemble de procédures pour calculer
des groupes d’automorphismes de graphe et digraphe. Cette suite logicielle
mathématique est développée par Brendan McKay et Adolfo Piperno :
http://pallini.di.uniroma1.it
Nauty calcule l’information du graphe sous forme d’un ensemble de
« générateurs », la taille du groupe et les « orbites » du groupe. Il peut
aussi produire une étiquette canonique. La suite Nauty est écrite en C et
est fournie avec une interface en ligne de commande, un ensemble d’outils
en ligne de commande et une interface de programmation d’application (API).
Ce paquet fournit l’interface de Nauty appelée dreadnaut et un petit
ensemble d’utilitaires appelé gtools.
The package is enhanced by the following packages:
nauty-doc
|
|
netgen
Générateur automatique de maillage tétraédrique 3D
|
Versions of package netgen |
Release | Version | Architectures |
buster | 6.2.1804+dfsg1-3 | amd64,arm64,armhf,i386 |
sid | 6.2.2404+dfsg1-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 6.2.2006+really6.2.1905+dfsg-2.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 6.2.2006+really6.2.1905+dfsg-5.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 6.2.2404+dfsg1-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 6.2.2406 |
Debtags of package netgen: |
role | program |
|
License: DFSG free
|
NETGEN est un générateur automatique de maillage tétraédrique 3D. Il
accepte en entrée les produits de la géométrie de construction de solides
(CSG) ou de la modélisation surfacique (BRep) à partir de fichiers au
format STL. NETGEN fournit des modules d'optimisation de maillage et
d'affinage hiérarchique de maillage.
|
|
normaliz
outil mathématique pour le calcul de monoïdes affines, de polytopes et de cônes rationnels
|
Versions of package normaliz |
Release | Version | Architectures |
trixie | 3.10.4+ds-1 | all |
stretch | 3.1.1+ds-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 3.9.4+ds-2 | all |
bullseye | 3.8.9+ds-0.1 | all |
buster | 3.6.3+ds-1 | amd64,arm64,armhf,i386 |
sid | 3.10.4+ds-1 | all |
|
License: DFSG free
|
Normaliz est un outil mathématique pour le calcul de monoïdes affines, de
configurations vectorielles, de polytopes en treillis et de cônes
rationnels.
Ce paquet factice fournit l’installation standard.
|
|
octave
langage GNU Octave pour calculs numériques
|
Versions of package octave |
Release | Version | Architectures |
jessie | 3.8.2-4 | amd64,armel,armhf,i386 |
bullseye | 6.2.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster-backports | 5.2.0-3~bpo10+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch-backports | 4.4.0-3~bpo9+1 | s390x |
bookworm | 7.3.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 4.0.3-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 9.2.0-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 9.2.0-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch-backports | 4.4.1-4~bpo9+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el |
buster | 4.4.1-5 | amd64,arm64,armhf,i386 |
Debtags of package octave: |
field | mathematics |
role | program |
suite | gnu |
|
License: DFSG free
|
Octave est un langage de haut niveau (presque entièrement compatible avec
Matlab®), d'abord destiné aux calculs numériques. Il fournit une interface
pratique en ligne de commande, pour résoudre de façon numérique les
problèmes linéaires et non linéaires.
Octave peut être étendu à l’aide de fichiers C++.
|
|
palp
Paquet par l’analyse des polytopes réticulés (lattice polytopes)
|
Versions of package palp |
Release | Version | Architectures |
buster | 2.1-5 | amd64,arm64,armhf,i386 |
jessie | 2.1-2 | amd64,armel,armhf,i386 |
sid | 2.21-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.21-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.20-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.20-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.1-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package palp: |
role | program |
use | analysing |
|
License: DFSG free
|
Ce paquet fournit divers outils pour travailler sur les polytopes réticulés
(lattice) :
— mori.x calcule les triangulations en étoile d’un polytope ;
— cws.x crée des systèmes de poids (weight systems) et les combine ;
— class.x classe les polytopes réflexifs ;
— poly.x calcule les données d’un polytope ;
— nef.x calcule les nombres de Hodge des séparations nef (nef-partitions).
|
|
pari-gp
système de calcul formel PARI/GP – exécutables
|
Versions of package pari-gp |
Release | Version | Architectures |
bullseye | 2.13.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch-backports | 2.11.1-2~bpo9+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 2.11.1-2 | amd64,arm64,armhf,i386 |
buster-backports | 2.13.1-1~bpo10+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 2.7.2-1 | amd64,armel,armhf,i386 |
bullseye-backports | 2.15.2-1~bpo11+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.15.2-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye-backports-sloppy | 2.15.4-2~bpo11+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm-backports | 2.17.0-2~bpo12+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.9.1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.17.0-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2.17.0-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package pari-gp: |
field | mathematics |
role | documentation |
uitoolkit | ncurses |
|
License: DFSG free
|
PARI/GP est un système de calcul formel très répandu, conçu pour des
calculs rapides en arithmétique (factorisations, théorie algébrique des
nombres, courbes elliptiques…). Il contient aussi un grand nombre de
fonctions pour le calcul matriciel, sur les développements limités, les
nombres algébriques, etc., ainsi que de nombreuses fonctions
transcendantes. Pour accélérer certains calculs, PARI est aussi disponible
sous forme de bibliothèque C.
Originellement développé par Henri Cohen et ses collaborateurs (Université
Bordeaux I, France), PARI est maintenant sous licence GPL, maintenu par
Karim Belabas (Université Paris XI, France), avec l'aide de nombreuses
contributions bénévoles.
Ce paquet fournit le calculateur GP.
The package is enhanced by the following packages:
texmacs-bin
|
|
persalys
interface graphique pour le traitement d’incertitudes et la gestion de dispersions
|
Versions of package persalys |
Release | Version | Architectures |
sid | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
bookworm | 13.1.1+ds-1 | amd64,arm64,mips64el,ppc64el,s390x |
trixie | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
upstream | 17.0.1 |
|
License: DFSG free
|
Persalys est une interface graphique pour OpenTURNS qui se consacre au
traitement d’incertitudes et la gestion de dispersions. Ce logiciel est un
outil entre la simulation de calculs, l’analyse probabiliste et la
science des données. Cette interface est disponible en français et anglais.
Persalys permet de :
– créer des modèles mathématiques : calcul analytique, couplage avec des
éléments externes (éléments finis…), FMU ;
– analyse de la dispersion de paramètres grâce à de nombreuses méthodes
et d’outils de visualisation ;
– analyse statistique de données de mesure, inférence de distribution de probabilités
ou création de métamodèles.
|
|
phcpack
general-purpose solver for polynomial systems (command line)
|
Versions of package phcpack |
Release | Version | Architectures |
sid | 2.4.90+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.4.90+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.4.86+dfsg-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
PHCpack is a software package to solve polynomial systems by homotopy
continuation methods.
A polynomial system is given as a sequence of polynomials in several
variables. Homotopy continuation methods operate in two stages. In
the first stage, a family of polynomial systems (the so-called
homotopy) is constructed. This homotopy contains a polynomial system
with known solutions. In the second stage, numerical continuation
methods are applied to track the solution paths defined by the
homotopy, starting at the known solutions and leading to the solutions
of the given polynomial system.
This package contains the command line interface to PHCpack.
Please cite:
Verschelde, Jan:
Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation
ACM Trans. Math. Software
25(2):251-276
(1999)
|
|
planarity
Program for planarity-related graph algorithms
|
Versions of package planarity |
Release | Version | Architectures |
trixie | 3.0.2.0-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 3.0.0.5-3 | amd64,arm64,armhf,i386 |
stretch | 3.0.0.5-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 3.0.2.0-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 3.0.2.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 3.0.1.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
This package contains a command-line reference implementation of the
Edge Addition Planarity Algorithm, which is the best linear-time
method to embed a planar graph and isolate planarity obstructions.
|
|
polylib-utils
outils divers utilisant libpolylib
|
Versions of package polylib-utils |
Release | Version | Architectures |
bullseye | 5.22.5-4+dfsg | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 5.22.5-4+dfsg | amd64,arm64,armhf,i386 |
stretch | 5.22.5-3+dfsg | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 5.22.5-3+dfsg | amd64,armel,armhf,i386 |
bookworm | 5.22.5-4+dfsg | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.22.5-4.2+dfsg | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 5.22.5-4.2+dfsg | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package polylib-utils: |
role | program |
|
License: DFSG free
|
Polylib est une bibliothèque C libre pour réaliser des calculs sur des
polyèdres. La bibliothèque opère sur des objets tels que des vecteurs, des
matrices, des treillis, divers polyèdres, l’union de polyèdres et
d’autres structures intermédiaires. Elle fournit des fonctions pour toutes
les opérations importantes sur ces structures.
Ce paquet fournit divers utilitaires pour des opérations sur des polyèdres.
|
|
proofgeneral
frontal générique d’assistants de preuve
|
Versions of package proofgeneral |
Release | Version | Architectures |
bullseye | 4.4.1~pre170114-1.2 | all |
sid | 4.5-3 | all |
stretch | 4.4.1~pre170114-1 | all |
trixie | 4.5-3 | all |
jessie | 4.3~pre131011-0.2 | all |
bookworm | 4.4.1~pre170114-1.2 | all |
Debtags of package proofgeneral: |
field | mathematics |
interface | text-mode, x11 |
role | plugin |
suite | emacs |
use | editing |
|
License: DFSG free
|
« Proof General » est un mode majeur d'Emacs pour le transformer en système
d’assistant de preuves interactif afin d'écrire des preuves mathématiques
formelles en utilisant toute une variété de théorèmes.
Ce paquet fournit la prise en charge de Proof General pour Coq. (Il n’existe
pas d’autres assistant de preuve pouvant être raisonnablement pris en
charge.)
|
|
prover9
démonstrateur de théorème et générateur de contre-exemples
|
Versions of package prover9 |
Release | Version | Architectures |
stretch | 0.0.200911a-2.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 0.0.200911a-2.1 | amd64,armel,armhf,i386 |
buster | 0.0.200911a-2.1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
Ce paquet fournit le démonstrateur de théorème de résolution et
« paramodulation » Prover9 et le générateur de contre-exemples Mace4.
Prover9 est un démonstrateur de théorème automatique de calcul des prédicats
du premier ordre. C’est un successeur du démonstrateur Otter. Prover9
utilise les techniques d’inférence de résolution et paramodulation
ordonnées avec sélection de littéraux.
Le programme Mace4 recherche des modèles finis satisfaisant des
propositions d’équation du premier ordre, du même genre que celles que
Prover9 accepte. Si la proposition est la négation d’une conjecture, tout
modèle trouvé par Mace4 est un contre-exemple de cette conjecture.
Mace4 peut être un complément précieux à Prover9, recherchant des
contre-exemples avant (ou simultanément) l’utilisation de Prover9 pour la
recherche de preuve. Il peut aussi être utilisé pour aider à déboguer des
propositions et formules d’entrée pour Prover9.
|
|
pyomo
??? missing short description for package pyomo :-(
|
Versions of package pyomo |
Release | Version | Architectures |
stretch | 4.3.11388+git20160622.d3e3f0a-1 | all |
|
License: DFSG free
|
|
|
python3-deap
Distributed Evolutionary Algorithms in Python3
|
Versions of package python3-deap |
Release | Version | Architectures |
buster | 1.0.2.post2-6 | all |
jessie | 1.0.1-3+deb8u1 | all |
bullseye | 1.3.1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.3.1-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 1.0.2.post2-2 | all |
trixie | 1.4.1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.4.1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
DEAP is a novel evolutionary computation framework for rapid prototyping and
testing of ideas. It seeks to make algorithms explicit and data structures
transparent. It works in perfect harmony with parallelisation mechanism such as
multiprocessing and SCOOP.
This package contains the modules for Python3.
|
|
python3-dolfin
Base Python interface for DOLFIN (Python 3)
|
Versions of package python3-dolfin |
Release | Version | Architectures |
bullseye | 2019.2.0~git20201207.b495043-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2019.2.0~git20230116.bd54183-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 2019.2.0~legacy20240219.1c52e83-11 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2018.1.0.post1-16 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
DOLFIN is the Python and C++ interface of the FEniCS project for the
automated solution of differential equations, providing a consistent
PSE (Problem Solving Environment) for solving ordinary and partial
differential equations. Key features include a simple, consistent and
intuitive object-oriented API; automatic and efficient evaluation of
variational forms; automatic and efficient assembly of linear
systems; and support for general families of finite elements.
This is the base package depending on specific dolfin builds. By
default the version built against the preferred version of PETSc in
/usr/lib/petsc is selected (with 32-bit indexing, but the
alternative version (64-bit PETSc) can be selected by setting the
environment variable PETSC_DIR.
This is the legacy version of DOLFIN, you may want to install the
next-generation python3-dolfinx (DOLFIN-X) instead.
|
|
python3-ffc
compiler for finite element variational forms (Python 3)
|
Versions of package python3-ffc |
Release | Version | Architectures |
sid | 2019.2.0~legacy20230509.35df986-3 | all |
buster | 2018.1.0-5 | all |
bookworm | 2019.2.0~git20210714.a20cbe7-3 | all |
trixie | 2019.2.0~legacy20230509.35df986-3 | all |
bullseye | 2019.2.0~git20210115.cb26c91-1 | all |
|
License: DFSG free
|
The FEniCS Form Compiler FFC provides state-of-the-art automatic and
efficient evaluation of general multilinear forms (variational
formulations) for FEniCS. FFC functions as the form evaluation
system for DOLFIN but can also be used to compile forms for other
systems.
FFC works as a compiler for multilinear forms by generating code (C
or C++) for the evaluation of a multilinear form given in
mathematical notation. This new approach to form evaluation makes it
possible to combine generality with efficiency; the form can be given
in mathematical notation and the generated code is as efficient as
hand-optimized code.
This package installs the legacy FFC library for Python 3.
You may want to consider installing python3-ffcx instead to get the
next-generation FFC-X.
|
|
python3-minieigen
Wrapper of parts of the Eigen library (Python 3)
|
Versions of package python3-minieigen |
Release | Version | Architectures |
stretch | 0.50.3+dfsg1-5 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 0.50.3+dfsg1-12 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.50.3+dfsg1-8 | amd64,arm64,armhf,i386 |
trixie | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Small wrapper for core parts of Eigen, c++ library for linear algebra.
It is mainly useful for inspecting c++ code which already uses eigen and
boost::python. Supported types are Vectors (2,3,6 and dynamic-sized with
integer and floating-point values), Matrices (3x3, 6x6 and dynamic-sized
with floating-point values) and Quaternions. Numerous methods are wrapped
and the original API of Eigen is followed.
This is the Python 3 version of the package.
|
|
python3-openturns
Python3 front-end of OpenTURNS (aka TUI)
|
Versions of package python3-openturns |
Release | Version | Architectures |
trixie | 1.23-5 | amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x |
stretch | 1.7-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
sid | 1.23-5 | amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.20-9 | amd64,arm64,armel,armhf,mips64el,ppc64el,s390x |
upstream | 1.24 |
|
License: DFSG free
|
OpenTURNS is a powerful and generic tool to treat and quantify
uncertainties in numerical simulations in design, optimization and
control. It allows both sensitivity and reliability analysis studies:
- defining the outputs of interest and decision criterion;
- quantify and model the source of uncertainties;
- propagate uncertainties and/or analyse sensitivity and
- rank the sources of uncertainty
Targeted users are all engineers who want to introduce the
probabilistic dimension in their so far deterministic studies.
This package provides the Python3 bindings to the library.
|
|
python3-persalys
GUI for uncertainty treatment (Python bindings)
|
Versions of package python3-persalys |
Release | Version | Architectures |
bookworm | 13.1.1+ds-1 | amd64,arm64,mips64el,ppc64el,s390x |
trixie | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
sid | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
upstream | 17.0.1 |
|
License: DFSG free
|
Persalys is a graphical user interface for OpenTURNS, dedicated to the
treatment of uncertainty and the management of variabilities. The software is
a tool between the computer simulation, probabilistic analyses and the data
sciences. The interface is available in French or in English.
Persalys allows one to:
- create mathematical models: analytical, coupling with an external model
(finite elements, ...), FMU;
- analyse the variability of one's parameters thanks to many methods and
visualisation tools;
- statistically analyse one's measuring data, infer probability distributions
or create metamodels.
This package contains the Python3 bindings.
|
|
python3-sagenb-export
Convert SageNB Notebooks (Python 3)
|
Versions of package python3-sagenb-export |
Release | Version | Architectures |
bullseye | 3.2-4 | all |
trixie | 3.4-1 | all |
stretch | 2.0-2 | all |
sid | 3.4-1 | all |
buster | 3.2-3 | all |
bookworm | 3.2-4 | all |
|
License: DFSG free
|
This is a tool to convert SageNB notebooks to other formats,
in particular IPython/Jupyter notebooks.
|
|
python3-ufl
unified language for form-compilers (Python 3)
|
Versions of package python3-ufl |
Release | Version | Architectures |
bookworm | 2022.2.0-2 | all |
buster | 2018.1.0-5 | all |
trixie | 2024.2.0-2 | all |
stretch | 2016.2.0-2 | all |
bullseye | 2019.2.0~git20210211.d60cd09-1 | all |
sid | 2024.2.0-2 | all |
|
License: DFSG free
|
UFL (Unified Form Language) is a unified language for definition of
variational forms intended for finite element discretization. More
precisely, it defines a fixed interface for choosing finite element
spaces and defining expressions for weak forms in a notation close to
mathematical notation. The form compilers FFC and SyFi use UFL as
their end-user interface, producing UFC implementations as their
output.
This package installs the library for Python 3.
|
|
qepcad
quantifier elimination tool
|
Versions of package qepcad |
Release | Version | Architectures |
trixie | 1.74+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.74+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.74+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
QEPCAD is an implementation of quantifier elimination by partial
cylindrical algebraic decomposition due originally to Hoon Hong, and
subsequently added on to by many others. It is an interactive
command-line program written in C/C++, and based on the SACLIB
library. Presented here is QEPCAD B version 1.x, the "B" designating a
substantial departure from the original QEPCAD and distinguishing it
from any development of the original that may proceed in a different
direction. QEPCAD and the SACLIB library are the result of a program
of research by George Collins and his PhD students that has spanned
several decades ... and continues still!
|
|
qhull-bin
Calcul d'enveloppes convexes et d'autres objets mathématiques
|
Versions of package qhull-bin |
Release | Version | Architectures |
trixie | 2020.2-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2020.2-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2015.2-4 | amd64,arm64,armhf,i386 |
jessie | 2012.1-5 | amd64,armel,armhf,i386 |
bullseye | 2020.2-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2020.2-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2015.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package qhull-bin: |
field | mathematics |
role | program |
scope | utility |
|
License: DFSG free
|
Qhull calcule en dimension deux, trois ou supérieure l'enveloppe convexe,
la triangulation de Delaunay, le diagramme de Voronoi d'un ensemble de points.
Ce paquet contient l'exécutable qhull qui interface une partie des
fonctionnalités de la bibliothèque libqhull5. Est aussi fourni rbox, un
outil pratique générant les entrées de Qhull qui permet de générer des
hypercubes, des diamants, des cônes, des cercles, des simplexes, des
spirales, des réseaux et des points aléatoires.
Qhull produit des résultats graphiques pour Geomview, utile pour
interpréter les résultats. (http://geomview.org ou paquet éponyme).
|
|
qsopt-ex
résolveur exact d’optimisation linéaire
|
Versions of package qsopt-ex |
Release | Version | Architectures |
bullseye | 2.5.10.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.5.10.3-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.5.10.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.5.10.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.5.10.3-2 | amd64,arm64,armhf,i386 |
sid | 2.5.10.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
QSopt-ex est une implémentation d’un algorithme basé sur les simplexes
qui renvoie les solutions rationnelles exactes, en exploitant la rapidité
des calculs en virgule flottante et en essayant de minimiser les
opérations réalisées en arithmétique des nombres rationnels.
Ce paquet fournit les utilitaires en ligne de commande.
|
|
regina-normal
logiciel de mathématiques pour une topologie en basses dimensions
|
Versions of package regina-normal |
Release | Version | Architectures |
bullseye | 6.0.1-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 4.96-2 | amd64,armel,armhf,i386 |
stretch | 5.1-1 | amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 7.3-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
buster | 5.1-6 | amd64,arm64,armhf,i386 |
bookworm | 7.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package regina-normal: |
field | mathematics |
interface | commandline, x11 |
role | program |
scope | utility |
suite | kde |
uitoolkit | qt |
x11 | application |
|
License: DFSG free
|
Regina est un logiciel pour les topologues de 3 et 4-variétés, avec un focus sur les triangulations, les nœuds et liens, les surfaces normales et les structures d'angle.
Pour les 3-variétés, il inclut des tâches de haut niveau telles que la reconnaissance de 3-sphère, la décomposition de somme connexe et les tests de type Haken, il est fourni avec une base de données riche en variétés recensées, et il incorpore le noyau SnapPea pour travailler avec des variétés hyperboliques. Pour les 4-variétés, il offre une palette d'outils combinatoire. Pour les nœuds et liens, Regina peut réaliser des manipulations de combinatoire, calculer des polynôme de nœuds et travailler avec plusieurs formats d’importation et exportation.
Regina est fourni avec une interface graphique complète et des liaisons Python et une interface programmatique de bas niveau en C++.
Ce paquet comprend l'interface graphique et l'interface Python en ligne de commande. Le manuel de l'utilisateur et la documentation de l'API sont dans le paquet séparé regina-normal-doc.
|
|
rheolef
environnement efficace pour les calculs en éléments finis
|
Versions of package rheolef |
Release | Version | Architectures |
sid | 7.2-3 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 7.1-6 | amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 7.2-2 | amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 6.5-1 | amd64,i386 |
stretch | 6.7-1 | amd64,i386,mips,mipsel,ppc64el |
buster | 7.0-2 | amd64,arm64,i386 |
Debtags of package rheolef: |
field | mathematics |
role | program |
|
License: DFSG free
|
Rheolef est un environnement informatique qui sert de laboratoire
pratique pour les calculs en mathématiques appliquées impliquant les
méthodes de type éléments finis. Il fournit un ensemble de commandes ainsi
que des algorithmes et conteneurs⋅C++.
Plus généralement, les conteneurs couvrent la structure classique de
données de graphe pour les formats de matrice creuse et les maillages
d'éléments discrets. À un niveau supérieur d'abstraction, ils peuvent
manipuler des espaces d'éléments finis approchés ou des champs discrets.
Des expressions flexibles et puissantes sont utilisées pour spécifier les
formes bilinéaires.
Les applications actuelles comprennent⋅:
−⋅environnement d'éléments finis massivement distribué en mémoire, basé
sur MPI⋅;
−⋅problèmes d’élasticité, de Stokes et de Navier-Stokes en 2D et 3D ;
– applications complexes pour les fluides : viscoplasticité,
viscoélasticité, non-glissement ;
– problèmes non linéaires avec les méthodes à point fixe, de Newton et de
prolongement ;
– méthodes de Galerkine pour les polynômes de degré élevé d’éléments
hybrides et discontinus ;
−⋅approximations de maillages auto-évolutives⋅;
−⋅problèmes axisymétriques⋅;
−⋅problèmes à coefficients variables et multi-régions.
Ce paquet fournit les commandes de rheolef. Celles-ci prennent en charge
l’entrée et la sortie dans divers formats de fichier pour les générateurs
de maillage et les systèmes de visualisation de données numériques tels que
Paraview et gnuplot.
Please cite:
Piere Saramito:
(2016)
|
|
rubiks
Small collection of Rubik's cube solvers
|
Versions of package rubiks |
Release | Version | Architectures |
sid | 20070912-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 20070912-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 20070912-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 20070912-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 20070912-3 | amd64,arm64,armhf,i386 |
stretch | 20070912-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
This package contains several different Rubik's cube solvers,
either useful directly on the command-line or through sagemath.
Michael Reid's "optimal" uses pre-computed tables to find an optimal solution
to the 3x3x3 Rubik's cube.
Dik T.Winter's "dikcube" uses Kociemba's algorithm to iteratively
find a short solution to the 3x3x3 cube.
Eric Dietz' "cubex" has fast non-optimal solver for the 3x3x3 cube.
|
|
sagemath
logiciel de mathématiques au code source ouvert
|
Versions of package sagemath |
Release | Version | Architectures |
stretch | 7.4-9 | amd64,i386 |
sid | 9.5-6 | all |
buster | 8.6-6 | amd64,arm64,armhf,i386 |
bookworm | 9.5-6 | all |
bullseye | 9.2-2 | amd64,arm64,i386 |
upstream | 10.5 |
|
License: DFSG free
|
SageMath est un système logiciel libre, au code source ouvert, pour le calcul mathématique et sous licence GPL. Il se fonde sur beaucoup de paquets existants aux codes source ouverts : NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R et bien d’autres. L’accès à leurs puissances combinées se fait à travers un langage simple basé sur Python ou directement à l’aide d’interfaces ou d’enveloppes.
Mission : constituer une alternative viable, libre et au code source ouvert à Magma, Maple, Mathematica et Matlab.
Ce paquet installe les éléments principaux de SageMath.
The package is enhanced by the following packages:
texmacs-bin
|
|
sagemath-database-conway-polynomials
Database of Conway polynomials
|
Versions of package sagemath-database-conway-polynomials |
Release | Version | Architectures |
bookworm | 0.5-8 | all |
jessie | 0.4.p0+dfsg-1 | all |
stretch | 0.4.p0+dfsg-2 | all |
buster | 0.5-4 | all |
bullseye | 0.5-8 | all |
trixie | 0.10-2 | all |
sid | 0.10-2 | all |
|
License: DFSG free
|
This package contains a small database of Conway polynomials, for
primes up to 109987 and a various number of exponents.
It is part of the sagemath software suite.
|
|
sagemath-database-cremona-elliptic-curves
Databases of elliptic curves over the rationals
|
Versions of package sagemath-database-cremona-elliptic-curves |
Release | Version | Architectures |
bookworm | 20221013-1 | all |
sid | 20221013-1 | all |
bullseye | 0~20191029-3 | all |
trixie | 20221013-1 | all |
|
License: DFSG free
|
This package contains John Cremona's database of all elliptic curves
over the rationals of bounded conductor.
It is a complement to the sagemath software suite.
|
|
sagemath-database-elliptic-curves
Databases for elliptic curves
|
Versions of package sagemath-database-elliptic-curves |
Release | Version | Architectures |
jessie | 0.7+dfsg-1 | all |
stretch | 0.8-1 | all |
bullseye | 0.8.1-5 | all |
buster | 0.8-2 | all |
bookworm | 0.8.1-5 | all |
sid | 0.8.1-6 | all |
trixie | 0.8.1-6 | all |
|
License: DFSG free
|
This package contains in fact two databases:
- the subset of John Cremona's database of elliptic curves up to conductor
at most 10000
- William Stein's database of interesting elliptic curves
It is part of the sagemath software suite.
|
|
sagemath-database-graphs
|
Versions of package sagemath-database-graphs |
Release | Version | Architectures |
stretch | 20161026+dfsg-1 | all |
jessie | 20120404.p4+dfsg-1 | all |
buster | 20161026+dfsg-2 | all |
bullseye | 20161026+dfsg-5 | all |
bookworm | 20210214+dfsg-1 | all |
trixie | 20210214+dfsg-2 | all |
sid | 20210214+dfsg-2 | all |
|
License: DFSG free
|
This package contains a database of graphs, created by Emily Kirkman
based on the work of Jason Grout. It also contains the ISGCI graph
database.
It is part of the sagemath software suite.
|
|
sagemath-database-mutually-combinatorial-designs
Databases of combinatorial designs
|
Versions of package sagemath-database-mutually-combinatorial-designs |
Release | Version | Architectures |
jessie | 20140630-1 | all |
bullseye | 20140630-6 | all |
buster | 20140630-3 | all |
stretch | 20140630-2 | all |
sid | 20140630-7 | all |
trixie | 20140630-7 | all |
bookworm | 20140630-6 | all |
|
License: DFSG free
|
This package contains a database of mutually orthogonal Latin squares,
as found in the Handbook of Combinatorial Designs, 2ed.
It is part of the sagemath software suite.
|
|
sagemath-database-polytopes
|
Versions of package sagemath-database-polytopes |
Release | Version | Architectures |
stretch | 20120220+dfsg-2 | all |
jessie | 20120220+dfsg-1 | all |
buster | 20170220-2 | all |
bullseye | 20170220-5 | all |
bookworm | 20170220-5 | all |
trixie | 20170220-6 | all |
sid | 20170220-6 | all |
|
License: DFSG free
|
This package contains a database of 2-dimension and of 3-dimensional
reflexive polytopes.
It is part of the sagemath software suite.
|
|
science-statistics
paquets pour les statistiques de Debian Science
|
Versions of package science-statistics |
Release | Version | Architectures |
jessie | 1.4 | all |
sid | 1.14.7 | all |
trixie | 1.14.7 | all |
bookworm | 1.14.5 | all |
bullseye | 1.14.2 | all |
buster | 1.10 | all |
stretch | 1.7 | all |
Debtags of package science-statistics: |
role | metapackage |
suite | debian |
|
License: DFSG free
|
Ce paquet fait partie du mélange exclusif « Debian Science » et installe
les paquets concernant les statistiques. Cette tâche est une tâche générale
pouvant être utile pour n’importe quels travaux scientifiques. Elle dépend
de beaucoup de paquets R ainsi que d’autres outils utiles pour faire des
statistiques. De plus la tâche « Science Mathematics » est suggérée pour
installer facultativement tous les logiciels relatifs aux mathématiques.
|
|
scilab
paquet logiciel scientifique pour le calcul numérique
|
Versions of package scilab |
Release | Version | Architectures |
buster | 6.0.1-10+deb10u1 | all |
bullseye | 6.1.0+dfsg1-7 | all |
bookworm | 6.1.1+dfsg2-6 | all |
sid | 2024.1.0+dfsg-6 | all |
stretch-security | 5.5.2-4+deb9u1 | all |
trixie | 2024.1.0+dfsg-6 | all |
jessie | 5.5.1-7 | all |
stretch | 5.5.2-4 | all |
upstream | 2025.0.0 |
Debtags of package scilab: |
field | electronics, mathematics, physics, statistics |
interface | x11 |
role | program |
scope | utility |
uitoolkit | tk |
use | analysing, learning |
works-with | image |
x11 | application |
|
License: DFSG free
|
Scilab est paquet logiciel scientifique basé sur le calcul matriciel.
Scilab fournit en interne des centaines de fonctions mathématiques, des
structures puissantes (incluant les polynômes, les fonctions rationnelles,
les systèmes linéaires, les listes…), ainsi qu’un certain nombre de boîtes
à outils spécifiques au contrôle, traitement de signal…
Ce paquet fournit aussi Xcos, un éditeur graphique pour concevoir des
modèles de système dynamique hybride. Ces modèles peuvent être conçus,
chargés, enregistrés, compilés ou simulés.
Solution stable et efficiente pour les besoins industriels et académiques,
Xcos fournit des fonctions pour la modélisation de système mécanique
(automobile, aéronautique…), de circuit hydraulique (modélisation de
barrage, canalisation…), etc. Des fonctions Modelica sont aussi fournies.
Pour une version minimale de scilab, le paquet « scilab-cli » est à
installer.
The package is enhanced by the following packages:
texmacs-bin
|
|
scilab-ann
??? missing short description for package scilab-ann :-(
|
Versions of package scilab-ann |
Release | Version | Architectures |
jessie | 0.4.2.4-1 | all |
stretch | 0.4.2.4-1 | all |
Debtags of package scilab-ann: |
devel | library |
role | devel-lib, shared-lib |
|
License: DFSG free
|
|
|
scotch
programmes et bibliothèques pour le partitionnement de graphe, maillage et hypergraphe
|
Versions of package scotch |
Release | Version | Architectures |
jessie | 5.1.12b.dfsg-2 | amd64,armel,armhf,i386 |
sid | 7.0.6-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 7.0.5-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 7.0.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 6.1.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 6.0.6-2 | amd64,arm64,armhf,i386 |
stretch | 5.1.12b.dfsg-2.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package scotch: |
role | program |
|
License: DFSG free
|
Le but est d’appliquer la théorie des graphes, avec une approche « diviser
pour régner », aux problèmes de calculs scientifiques tels que le
partitionnement de graphe ou de maillage, le mappage statique et le
rangement de matrices creuses, dans des domaines d’application allant de la
mécanique des structures aux systèmes d’exploitation ou à la biochimie.
La distribution SCOTCH est un ensemble de programmes et de bibliothèques
qui mettent en œuvre les algorithmes de mappage statique et de
réarrangement de matrices creuses développés dans le projet SCOTCH.
SCOTCH possède beaucoup de fonctions intéressantes :
– ses capacités peuvent être utilisées à travers un ensemble de programmes
autonomes ainsi ainsi qu’avec la bibliothèque libSCOTCH, proposant des
interfaces pour C et Fortran ;
– il fournit des algorithmes pour le partitionnement de structures de
graphes, ainsi que de structures de maillage définies sous forme de
graphes bipartis nœud-élément et qui peuvent aussi représenter des
hypergraphes ;
– il peut mapper n’importe quel graphe pondéré source avec n’importe quel
graphe pondéré cible. Les graphes source et cible peuvent avoir
n’importe quelle topologie, et leurs sommets et arêtes peuvent être
pondérés. De plus, les graphes source et cible peuvent être déconnectés.
Cette fonctionnalité permet le mappage de programmes sur des
sous-parties d’architecture parallèle faite de processeurs hétérogènes
et de liens de communication ;
– il calcule l’arrangement de blocs amalgamés de matrices creuses, pour
une résolution efficace de routines BLAS ;
– son temps d’exécution est linéaire pour le nombre d’arêtes du graphe
source et logarithmique pour le nombre de sommets du graphe cible lors
des calculs de mappages ;
– il peut gérer indifféremment des structures de graphes ou de maillages
créées par des programmes C ou Fortran, avec des indices de tableau
démarrant à zéro ou un ;
– il propose une prise en charge élargie pour les graphes et maillages
adaptifs à travers la gestion de tableaux arêtes disjointes ;
– il est paramétrable dynamiquement grâce à des liens stratégiques
interprétés lors de l’exécution ;
– il utilise efficacement la mémoire du système pour traiter de grands
graphes et maillages sans encourir de fautes de débordement de mémoire ;
– il est grandement modulaire et documenté. Ayant été publié sous la
licence logicielle libre CeCILL-C, il peut être utilisé comme banc de
test pour des développement et test faciles et rapides de nouvelles
méthodes de partitionnement et de rangement ;
– il peut s’interfacer facilement avec d’autres programmes. Les programmes
constituant le projet SCOTCH ont été conçus pour être exécutés en ligne
de commande sans invite de commande interactive, de façon à pouvoir être
appelés facilement par d’autres programmes au moyen d’appels system() ou
popen(), ou enchainés ensemble dans une ligne de commande unique. De
plus, les capacités d’étiquetage de sommets permettent aisément la
renumérotation de sommets ;
– il fournit plusieurs outils pour construire, vérifier et afficher des
modèles de graphes, maillages et matrices ;
– il est écrit en C et utilise une interface POSIX qui le rend hautement
portable. PT-SCOTCH utilise l’interface MPI, et facultativement des
processus légers POSIX.
|
|
singular
Computer Algebra System for Polynomial Computations
|
Versions of package singular |
Release | Version | Architectures |
sid | 4.4.0-p7+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 4.0.3-p3+ds-5 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 4.1.1-p2+ds-3 | amd64,arm64,armhf,i386 |
bullseye | 4.1.1-p2+ds-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 4.3.1-p3+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 4.4.0-p7+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package singular: |
field | mathematics |
role | program |
uitoolkit | ncurses |
|
License: DFSG free
|
SINGULAR is a Computer Algebra System (CAS) for polynomial computations with
emphasis on the special needs of commutative algebra, algebraic geometry,
and singularity theory.
This dummy package provides the standard installation.
|
|
snappea
programme de création et d’étude de variétés 3D hyperboliques
|
Versions of package snappea |
Release | Version | Architectures |
buster | 3.0d3-24 | amd64,arm64,armhf,i386 |
stretch | 3.0d3-24 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 3.0d3-23 | amd64,armel,armhf,i386 |
Debtags of package snappea: |
devel | lang:python |
field | mathematics |
interface | x11 |
uitoolkit | tk |
x11 | application |
|
License: DFSG free
|
SnapPea est un outil de calcul de Jeff Week pour les mathématiciens pour la
topologie en basses dimensions. Il est utilisé pour la création et l’étude
de variétés en trois dimensions hyperboliques, et est accessible à l’aide
de scripts en Python aussi bien qu’avec l’interface graphique traditionnelle.
|
|
surf-alggeo
visualization of real algebraic geometry
|
Versions of package surf-alggeo |
Release | Version | Architectures |
sid | 1.0.6+ds-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.0.6+ds-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.0.6+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.0.6+ds-4 | amd64,arm64,armhf,i386 |
stretch | 1.0.6+ds-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.0.6+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
Surf is a script driven tool to visualize some real algebraic geometry:
plane algebraic curves, algebraic surfaces and hyperplane sections of
surfaces.
The algorithms should be stable enough not to be confused by curve/surface
singularities in codimension greater than one and the degree of the surface
or curve. This has been achieved quite a bit. Curves of degree up to 30 and
surfaces of degree up to 20 have been drawn successfully. However, there are
examples of curves/surfaces of lower degree where surf fails to produce
perfect images. This happens especially if the equation of the curve/surface
is not reduced. Best results are achieved using reduced equations. On the other
hand, surf displays the Fermat-curves accurately for degree up to 98.
Surf is free software distributed under the GNU General Public License (GPL).
This dummy package is meant to allow multi-variant support for surf.
|
|
sympow
Programme mathématique pour les fonctions L de courbe elliptique de puissances symétriques
|
Versions of package sympow |
Release | Version | Architectures |
stretch | 1.023-8 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.023.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2.023.5-2 | amd64,arm64,armhf,i386 |
jessie | 1.019-4 | amd64,armel,armhf,i386 |
sid | 2.023.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.023.6-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.023.6-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package sympow: |
role | program |
|
License: DFSG free
|
Sympow est un programme mathématique pour calculer les valeurs spéciales
des fonctions L de courbe elliptique de puissances symétriques. La
précision de calcul est de l’ordre de la 64ème décimale.
Ce paquet fournit le programme Sympow lui-même.
|
|
tachyon
programme autonome de lancer de rayon, parallèle et multiprocesseur – métapaquet
|
Versions of package tachyon |
Release | Version | Architectures |
trixie | 0.99~b6+dsx-13 | all |
jessie | 0.99~b2+dfsg-0.4 | amd64,armel,armhf,i386 |
bullseye | 0.99~b6+dsx-9 | all |
bookworm | 0.99~b6+dsx-10 | all |
buster | 0.99~b6+dsx-9 | all |
stretch | 0.99~b6+dsx-8 | all |
sid | 0.99~b6+dsx-13 | all |
upstream | 0.99.5 |
Debtags of package tachyon: |
role | program |
works-with | 3dmodel |
|
License: DFSG free
|
Tachyon est un système portable de lancer de rayon, de haute performance et
parallèle, prenant en charge MPI (Message Passing Interface) et les
implémentations multiprocessus. Tachyon est bâti comme une bibliothèque
appelable C pouvant être utilisée à l’intérieur des applications.
Tachyon met en œuvre toutes les primitives géométriques de base telles que
triangles, plans, sphères, cylindres, etc. Quelques-uns des buts lors du
développement de Tachyon étaient qu’il soit rapide et de rendre la
parallélisation pleinement fonctionnelle. C’est cela qui le met à part de
la plupart des programmes très complets tels POV-Ray, Rayshade ou autres.
Tachyon comporte suffisamment de fonctions pour être une excellente
alternative à des programmes plus lents, pour des animations lourdes et des
tâches de visualisation scientifique.
Ce métapaquet permet la prise en charge variée d’outils construits sur
Tachyon.
|
|
tetgen
générateur de qualité pour des maillages tétraédriques
|
Versions of package tetgen |
Release | Version | Architectures |
stretch | 1.5.0-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 1.5.0-3 | amd64,armel,armhf,i386 |
buster | 1.5.0-5 | amd64,arm64,armhf,i386 |
bullseye | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package tetgen: |
role | program |
|
License: DFSG free
|
TetGen crée une « tétraèdrisation » de Delaunay (tetrahedralization), un
diagramme de Voronoï et une enveloppe convexe d’ensembles de points en
trois dimensions, génère la « tétraèdrisation » de Delaunay restreinte et
des maillages tétraédriques de qualité pour des domaines en trois
dimensions avec des limites linéaires d’intervalle.
|
|
topcom
Triangulations Of Point Configurations and Oriented Matroids
|
Versions of package topcom |
Release | Version | Architectures |
bookworm | 1.1.2+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
experimental | 1.2.0~beta+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.1.2+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 0.17.8+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.1.2+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 1.2.0.beta |
|
License: DFSG free
|
TOPCOM is a collection of clients to compute Triangulations Of Point
Configurations and Oriented Matroids, resp.
The algorithms use only combinatorial data of the point configuration
as is given by its oriented matroid. Some basic commands for computing
and manipulating oriented matroids can also be accessed by the user.
It was very much inspired by the maple program PUNTOS, which was
written by Jesus de Loera. TOPCOM is entirely written in C++, so there
is a significant speed up compared to PUNTOS.
|
|
toulbar2
Exact combinatorial optimization for Graphical Models
|
Versions of package toulbar2 |
Release | Version | Architectures |
bullseye | 1.1.1+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.1.1+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.2.1+dfsg-0.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 1.0.0+dfsg3-2 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
Toulbar2 is an exact discrete optimization tool for Graphical Models
such as Cost Function Networks, Markov Random Fields, Weighted Constraint
Satisfaction Problems and Bayesian Nets.
|
|
wxmaxima
GUI for the computer algebra system Maxima
|
Versions of package wxmaxima |
Release | Version | Architectures |
trixie | 24.02.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 22.12.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 20.12.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 19.01.2-1 | amd64,arm64,armhf,i386 |
stretch | 16.04.2-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 24.02.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 13.04.2-4+deb8u1 | amd64,armel,armhf,i386 |
upstream | 24.11.0 |
Debtags of package wxmaxima: |
field | mathematics |
interface | x11 |
role | program |
scope | application |
uitoolkit | wxwidgets |
x11 | application |
|
License: DFSG free
|
wxMaxima is a graphical user interface for the computer algebra system
Maxima. It eases the use of Maxima by making most of its commands available
through a menu system and by providing input dialogs for commands that
require more than one argument. It also implements its own display engine
that outputs mathematical symbols directly instead of depicting them with
ASCII characters.
wxMaxima also features 2D and 3D inline plots, simple animations, mixing of
text and mathematical calculations to create documents, exporting of input
and output to TeX, and a browser for Maxima's manual including command index
and full text searching.
|
|
xcas
Computer Algebra System - console and graphical calculator
|
Versions of package xcas |
Release | Version | Architectures |
bullseye | 1.6.0.41+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel |
sid | 1.9.0.93+dfsg2-3 | amd64,arm64,armel,armhf,i386,mips64el,riscv64 |
buster | 1.4.9.69+dfsg1-2 | amd64,arm64,armhf,i386 |
bookworm | 1.9.0.35+dfsg2-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel |
trixie | 1.9.0.93+dfsg2-3 | amd64,arm64,armel,armhf,i386,mips64el,riscv64 |
upstream | 1.9.0.996 |
|
License: DFSG free
|
Giac is a computer algebra system, following the development of the CAS for HP
calculators. It has fast implementation of algorithms for polynomial
operations, and compatibility mode with Maple or Mupad CAS as well as TI
calculators.
This package contains the user-facing giac programs: xcas, icas, and pgiac;
as well as the cas_help program for providing user-oriented help.
The package is enhanced by the following packages:
texmacs-bin
|
|
xmaxima
Computer algebra system -- x interface
|
Versions of package xmaxima |
Release | Version | Architectures |
bullseye | 5.44.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.46.0-11 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 5.47.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 5.34.1-2 | amd64,armel,armhf,i386 |
stretch | 5.38.1-8 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 5.42.1-1 | amd64,arm64,armhf,i386 |
trixie | 5.47.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package xmaxima: |
field | mathematics |
interface | x11 |
role | program |
scope | application |
uitoolkit | tk |
x11 | application |
|
License: DFSG free
|
Maxima is a fully symbolic computation program. It is full featured
doing symbolic manipulation of polynomials, matrices, rational
functions, integration, Todd-coxeter methods for finite group
analysis, graphing, multiple precision floating point computation.
It has a symbolic source level debugger for maxima code. Maxima is
based on the original Macsyma developed at MIT in the 1970s. It is
quite reliable, and has good garbage collection, and no memory leaks.
It comes with hundreds of self tests.
This package contains an X Windows interface using the tcl/tk
libraries.
|
|
xmds
??? missing short description for package xmds :-(
|
Versions of package xmds |
Release | Version | Architectures |
jessie | 1.6.6-7 | amd64,armel,armhf,i386 |
Debtags of package xmds: |
role | program |
|
License: DFSG free
|
|
|
xmds2
eXtensible Multi-Dimensional Simulator
|
Versions of package xmds2 |
Release | Version | Architectures |
stretch | 2.2.2+dfsg-3 | all |
sid | 3.1.0+dfsg2-10 | all |
trixie | 3.1.0+dfsg2-10 | all |
buster | 2.2.3+dfsg-15 | all |
bookworm | 3.1.0+dfsg2-3 | all |
bullseye | 3.0.0+dfsg-5 | all |
jessie | 2.2.2+dfsg-1 | all |
|
License: DFSG free
|
XMDS is a code generator that integrates equations, from Ordinary
Differential Equations (ODEs) up to stochastic Partial Differential
Equations (PDEs). You write them down in human readable form in an
XML file, and it goes away and writes and compiles a C++ program that
integrates those equations as fast as it can possibly be done in your
architecture.
XMDS 2 is a major upgrade rewritten in Python which is faster and far
more versatile than previous versions, allowing the efficient integration
of almost any initial value problem on regular domains.
|
|
Official Debian packages with lower relevance
ann-tools
bibliothèque de recherche approchée des plus proches voisins - outils
|
Versions of package ann-tools |
Release | Version | Architectures |
jessie | 1.1.2+doc-5 | amd64,armel,armhf,i386 |
sid | 1.1.2+doc-9 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.1.2+doc-9 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.1.2+doc-9 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.1.2+doc-7 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.1.2+doc-7 | amd64,arm64,armhf,i386 |
stretch | 1.1.2+doc-6 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package ann-tools: |
role | program |
|
License: DFSG free
|
ANN est une bibliothèque écrite en C++ qui gère les structures de données
et les algorithmes pour effectuer des recherches
exactes ou approchées des plus proches voisins dans des dimensions
arbitrairement élevées. ANN
suppose que les distances sont mesurées en utilisant une classe de
fonctions de distances appelées métriques de Minkowski. Cela inclut la bien
connue distance euclidienne, la distance de Manhattan et la distance max.
ANN est plutôt efficace pour les jeux de points allant de milliers à des
centaines de milliers et ce, jusqu'à 20 dimensions.
Ce paquet fournit les programmes ann2fig (afficheur ANN au format fig) et
ann_sample (un exemple de ficher ANN).
|
|
evolver-nox
Surface Evolver, modélisation de surfaces – sans gestion d’X
|
Versions of package evolver-nox |
Release | Version | Architectures |
bookworm | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 2.70+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x |
buster | 2.70+ds-4 | amd64,arm64,armhf,i386 |
sid | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Surface Evolver est un programme interactif pour la modélisation de la
surface d’un liquide, façonnée par différentes forces et tensions.
Ce paquet fournit des variantes d’evolver construites suivant des formats
différents de virgule flottante (double, long double, quadruple), mais sans
prise en charge d’X.
The package is enhanced by the following packages:
evolver-doc
|
|
evolver-ogl
Surface Evolver, modélisation de surfaces – avec affichage OpenGL
|
Versions of package evolver-ogl |
Release | Version | Architectures |
buster | 2.70+ds-4 | amd64,arm64,armhf,i386 |
bookworm | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 2.70+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x |
sid | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Surface Evolver est un programme interactif pour la modélisation de la
surface d’un liquide, façonnée par différentes forces et tensions.
Ce paquet fournit des variantes d’evolver construites suivant des formats
différents de virgule flottante (double, long double, quadruple), et avec
un affichage utilisant OpenGL/GLUT.
The package is enhanced by the following packages:
evolver-doc
|
|
gap-gapdoc
GAPDoc - A Meta Package for GAP Documentation
|
Versions of package gap-gapdoc |
Release | Version | Architectures |
trixie | 1.6.7-1 | all |
sid | 1.6.7-1 | all |
jessie | 1.5.1-1 | all |
stretch | 1.5.1-3 | all |
buster | 1.6.2-1 | all |
bullseye | 1.6.3-1 | all |
bookworm | 1.6.6-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
This package contains GAPDoc, "A Meta Package for GAP Documentation", by
Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation.
|
|
gap-io
liaisons de bas niveau d’E/S pour la bibliothèque C pour GAP
|
Versions of package gap-io |
Release | Version | Architectures |
stretch | 4.4.6+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 4.9.1+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 4.5.4+ds-3 | amd64,arm64,armhf,i386 |
sid | 4.9.1+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 4.7.0+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 4.8.0+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 4.4.2+ds-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
GAP est un système pour l’algorithmique algébrique avec une attention
particulière à la théorie des groupes, mais qui a déjà prouvé son utilité
dans d’autres domaines.
Ce paquet permet à GAP d’accéder aux fonctions d’E/S de la bibliothèque C
d’UNIX.
|
|
gap-online-help
système algébrique par informatique GAP – aide en ligne
|
Versions of package gap-online-help |
Release | Version | Architectures |
bullseye | 4.11.0-4 | all |
trixie | 4.13.1-1 | all |
sid | 4.14.0-2 | all |
buster | 4r10p0-7 | all |
stretch | 4r8p6-2 | all |
jessie | 4r7p5-2 | all |
bookworm | 4.12.1-2 | all |
Debtags of package gap-online-help: |
field | mathematics |
made-of | tex |
role | documentation |
|
License: DFSG free
|
GAP est un système pour l’algèbre discrète informatique, avec un accent
particulier sur la théorie des groupes. GAP fournit un langage de
programmation, une bibliothèque de milliers de fonctions pour
l'algorithmique algébrique, écrites dans le langage de GAP, et
d’importantes bibliothèques d’objets algébriques. GAP est utilisé dans la
recherche et l’éducation pour l’étude des groupes et de leurs
représentations, des anneaux, des espaces vectoriels, des algèbres, des
structures combinatoires, etc.
Ce paquet fournit la documentation au format TeX nécessaire pour le système
d’aide en ligne.
|
|
gap-scscp
|
Versions of package gap-scscp |
Release | Version | Architectures |
jessie | 2.1.4+ds-1 | all |
sid | 2.4.3+ds-1 | all |
trixie | 2.4.3+ds-1 | all |
bookworm | 2.4.0+ds-1 | all |
bullseye | 2.3.1+ds-2 | all |
buster | 2.2.3+ds-2 | all |
stretch | 2.1.4+ds-3 | all |
|
License: DFSG free
|
GAP est un système pour l’algorithmique algébrique avec une attention particulière à la théorie des groupes, mais qui a déjà prouvé son utilité dans d’autres domaines.
Ce paquet met en œuvre le protocole SCSCP (Symbolic Computation Software Composability Protocol) pour GAP.
|
|
gmp-ecm
factorisation d'entiers par courbe elliptique (méthode ECM)
|
Versions of package gmp-ecm |
Release | Version | Architectures |
stretch | 7.0.4+ds-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 6.4.4-2 | amd64,armel,armhf,i386 |
trixie | 7.0.6+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 7.0.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 7.0.4+ds-5 | amd64,arm64,armhf,i386 |
sid | 7.0.6+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 7.0.4+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package gmp-ecm: |
field | mathematics |
interface | commandline |
role | program |
scope | utility |
|
License: DFSG free
|
Gmp-ecm est une implémentation libre de la méthode de factorisation
d'entiers par courbe elliptique (ECM, « Elliptic Curve Method »).
Le but initial du projet ECMNET était de valider la prédiction de Richard
Brent, c'est-à-dire de trouver un facteur de 50 chiffres ou plus par la
méthode ECM. Ce but fut atteint le 14 septembre 1998 quand Conrad Curry
trouva un facteur de 53 chiffres de 2⁶⁷⁷-1 en utilisant le programme
mprime de George Woltman. Le nouveau but de ECMNET est maintenant de
trouver d'autres facteurs très grands par ECM, principalement en
contribuant au projet Cunningham — probablement le plus grand projet de
calcul numérique de l'histoire selon Bob Silverman. Un nouveau record a été
atteint par Nik Lygeros et Michel Mizony en trouvant en décembre 1999 un
facteur premier de 54 chiffres avec GMP-ECM.
Consultez http://www.loria.fr/~zimmerma/records/ecmnet.html pour des
informations complémentaires sur ECMNET.
Ce paquet fournit l'utilitaire en ligne de commande.
|
|
libspectra-dev
library for large scale eigenvalue problems (development files)
|
Versions of package libspectra-dev |
Release | Version | Architectures |
bookworm | 1.0.1-2 | all |
sid | 1.0.1-3 | all |
trixie | 1.0.1-3 | all |
|
License: DFSG free
|
Spectra stands for Sparse Eigenvalue Computation Toolkit as a Redesigned
ARPACK. It is a C++ library for large scale eigenvalue problems, built on top
of Eigen, an open source linear algebra library.
Spectra is implemented as a header-only C++ library, whose only dependency,
Eigen, is also header-only. Hence Spectra can be easily embedded in C++
projects that require calculating eigenvalues of large matrices.
Spectra is designed to calculate a specified number of eigenvalues of a large
square matrix. Usually this number of eigenvalues is much smaller than the
size of the matrix, so that only a few eigenvalues and eigenvectors are
computed, which in general is more efficient than calculating the whole
spectral decomposition. Users can choose eigenvalue selection rules to pick
the eigenvalues of interest, such as the largest k eigenvalues, or eigenvalues
with largest real parts, etc.
|
|
netgen-doc
Automatic 3d tetrahedral mesh generator documentation
|
Versions of package netgen-doc |
Release | Version | Architectures |
bullseye | 6.2.2006+really6.2.1905+dfsg-2.1 | all |
trixie | 6.2.2404+dfsg1-5 | all |
buster | 6.2.1804+dfsg1-3 | all |
sid | 6.2.2404+dfsg1-5 | all |
bookworm | 6.2.2006+really6.2.1905+dfsg-5.1 | all |
upstream | 6.2.2406 |
Debtags of package netgen-doc: |
role | documentation |
|
License: DFSG free
|
NETGEN is an automatic 3d tetrahedral mesh generator. It accepts
input from constructive solid geometry (CSG) or boundary
representation (BRep) from STL file format. NETGEN contains modules
for mesh optimization and hierarchical mesh refinement.
This package contains the user manual (in PDF format) and example
files.
|
|
primesieve
fast prime number generator C/C++ library
|
Versions of package primesieve |
Release | Version | Architectures |
trixie | 12.6+ds-1 | all |
sid | 12.6+ds-1 | all |
bookworm | 11.0+ds-2 | all |
stretch | 5.7.2+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 7.6+ds-1 | all |
buster | 7.3+ds-1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
primesieve is a free software program and C/C++ library that generates
primes using a highly optimized sieve of Eratosthenes implementation.
primesieve can generate primes and prime k-tuplets up to nearly 2^64.
See http://primesieve.org/ for more information.
This dummy package provides the standard installation.
|
|
r-cran-evd
GNU R Functions for extreme value distributions
|
Versions of package r-cran-evd |
Release | Version | Architectures |
sid | 2.3-7.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.3-6.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.3-3-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.3-2-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.3-7.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2.3-3-2 | amd64,arm64,armhf,i386 |
jessie | 2.3-0-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
Extends simulation, distribution, quantile and density functions to
univariate and multivariate parametric extreme value distributions, and
provides fitting functions which calculate maximum likelihood estimates
for univariate and bivariate maxima models, and for univariate and
bivariate threshold models.
|
|
sagetex
incorporation de code et de tracés Sage dans LaTeX
|
Versions of package sagetex |
Release | Version | Architectures |
bookworm | 3.6.1+ds-1 | all |
bullseye | 3.5+ds-2 | all |
buster | 3.2+ds-2 | all |
stretch | 3.0+ds-4 | all |
sid | 3.6.1+ds-1 | all |
|
License: DFSG free
|
Le paquet SageTeX pour LaTeX permet d’incorporer du code, le résultat de
calculs et des tracés issus de la suite logicielle de mathématique,
SageMath, dans des documents en LaTeX. SageMath est un système de
calcul formel au code source ouvert (Computer Algebra System – CAS).
Ce paquet fournit le paquet pour LaTeX.
The package is enhanced by the following packages:
sagetex-doc
|
|
Debian packages in contrib or non-free
matlab-support
distro integration for local MATLAB installations
|
Versions of package matlab-support |
Release | Version | Architectures |
bookworm | 0.0.23 (contrib) | all |
stretch | 0.0.21 (contrib) | all |
jessie | 0.0.19+nmu1 (contrib) | all |
bullseye | 0.0.22 (contrib) | all |
sid | 0.1 (contrib) | all |
buster | 0.0.21 (contrib) | all |
trixie | 0.1 (contrib) | all |
|
License: DFSG free, but needs non-free components
|
This package does not provide MATLAB. Instead, it configures an
existing MATLAB installation to integrate more comfortably in
a Debian installation.
Currently it provides /usr/bin/matlab through the alternatives
system, offers to work around incompatibilities between the libraries
bundled with MATLAB and system libraries, and provides a helper
utility meant to be used by other packages to compile MEX extensions.
Install this if you would like your MATLAB installation to behave more
like an ordinary Debian package. Other packages may depend on
this one if they install MATLAB code, for example in order to
compile MEX extensions.
|
Packaging has started and developers might try the packaging code in VCS
isabelle
generic theorem proving environment
|
Versions of package isabelle |
Release | Version | Architectures |
VCS | 2008-4 | all |
|
License: free
Debian package not available
Version: 2008-4
|
Features a choice of several ready-to-use logics (Higher Order Logic,
Higher Order Logic augmented with Scott's Logic for Computable
Functions, First Order Logic, Zermello-Frankel, an extensional
version of Martin-Löf Type Theory, Barendregt's Lambda Cube, a few
sequent calculi (including modal and linear logics), ...) or defining
your own logic / deductive system, a procedural and a declarative
proof style, rich automation for classical reasoning, equational
logic and algebra, LaTeX and X-Symbols notational support.
This package contains the isabelle toolchain.
|
Unofficial packages built by somebody else
octaviz
3D visualization system for Octave
|
|
License: unknown
|
Octaviz is a visualization system for Octave. It is a wrapper that
makes all VTK classes accessible from within Octave using the same
object-oriented syntax as in C++ or Python. Octaviz also provides
high-level functions for 2D and 3D visualization. Using those
functions, most common visualization tasks (3D surface plots, contour
plots etc) can be accomplished without any knowledge about VTK.
|
|