Summary
Mathematics
Debian Science: Mathematik-Pakete
Dieses Metapaket installiert Debian-Science-Pakete mit Bezug zur
Mathematik. Vielleicht ist auch das Debtag field::mathematics und, je nach
Ihrem Fokus, das Metapaket education-mathematics für Sie von Interesse.
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
mathematical tool suite for problems on linear spaces -- tools
|
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 is a mathematical software package for algebraic, geometric
and combinatorial problems on linear spaces.
This package provides the 4ti2 tool suite.
|
|
agda
Abhängig typisierte, funktionale Programmiersprache
|
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 ist eine abhängig typisierte, funktionale Programmiersprache: Sie
besitzt induktive Familien, die wie Haskells GADTs sind, jedoch mit Werten
und nicht nur mit Typen indiziert werden können. Zusätzlich besitzt sie
parametrisierte Module, mixfix-Operatoren, Unicode-Kodierung und eine
interaktive Emacs-Schnittstelle (die Typüberprüfung kann bei der
Codeentwicklung hilfreich sein).
Agda ist auch ein Beweisassistent, ein interaktives System zum Schreiben
und Überprüfen von Beweisen. Agda basiert auf der intuitionistischen
Typentheorie, einem grundlegenden System für konstruktive Mathematik,
entwickelt vom schwedischen Logiker Per Martin-Löf. Es ähnelt anderen
Beweisassistenten, die auf abhängigen Typen basieren, wie Coq, Epigram und
NuPRL.
Dieses Metapaket liefert den Emacs-Modus, die ausführbare Anwendung, die
Standardbibliothek und die Dokumentation für Agda.
|
|
auto-07p
software for continuation and bifurcation problems in ODE
|
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 can do a limited bifurcation analysis of algebraic systems
of the form
f(u,p) = 0, f,u in Rn
and of systems of ordinary differential equations of the form
u'(t) = f(u(t),p), f,u in Rn
subject to initial conditions, boundary conditions, and integral
constraints. Here p denotes one or more parameters. AUTO can also
do certain continuation and evolution computations for parabolic
PDEs. It also includes the software HOMCONT for the bifurcation
analysis of homoclinic orbits. AUTO is quite fast and can benefit
from multiple processors; therefore it is applicable to rather
large systems of differential equations.
|
|
axiom
Allzweck-Computeralgebrasystem: Hauptprogramme und Module
|
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 ist für die Erforschung und Entwicklung von mathematischen
Algorithmen nützlich. Es definiert eine stark typisierte, mathematisch
korrekte Typenhierarchie. Es hat eine Programmiersprache und einen
eingebauten Compiler.
Axiom wird seit 1973 entwickelt und wurde als kommerzielles Produkt
verkauft. Es wurde als Freie Software veröffentlicht.
Es laufen Bemühungen zur Erweiterung der Software:
(a) Entwicklung einer besseren Nutzerschnittstelle
(b) Nutzbarmachung als Lehrwerkzeug
(c) Entwicklung eines Algebra-Serverprotokolls
(d) Integration weiterer Mathematik
(e) Neuaufbau der Algebra im »literate programming«-Stil
(f) Integration logischer Programmierung
(g) Entwicklung eines Axiom-Journals mit begutachteten Einreichungen.
Dieses Paket enthält das Hauptprogramm und alle vorkompilierten Algebra-
und automatisch ladbaren Module.
The package is enhanced by the following packages:
texmacs-bin
|
|
bliss
tool to compute graph automorphisms and labelings -- bin
|
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 is a backtracking algorithm for computing automorphism groups
and canonical forms of graphs, based on individualization and
refinement. Its data structures, subroutines, and pruning heuristics
are specially designed for fast handling of large and sparse graphs.
This package provides the command line tool 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
Coin-or branch-and-cut mixed integer programming solver
|
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) is an open-source mixed integer programming
solver written in C++. It can be used as a callable library or as a
stand-alone executable.
This package contains cbc executable.
|
|
coinor-csdp
Software package for semidefinite programming (binaries)
|
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 is a library of routines that implements a predictor corrector variant of
the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and
Wolkowicz. The code runs in parallel on shared memory multi-processor systems,
and it makes effective use of sparsity in the constraint matrices.
CSDP is part of the larger COIN-OR initiative (Computational Infrastructure
for Operations Research).
This package contains the binaries.
|
|
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
COIN-OR solver for mixed-integer linear programs
|
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 is an open-source generic mixed-integer linear programs (MILP) solver,
callable library, and extensible framework for implementing customized solvers
SYMPHONY has a number of advanced capabilities, including the ability to
solve multi-objective MILPs, the ability to warm start its solution procedure,
and the ability to perform basic sensitivity analyses.
SYMPHONY is part of the larger COIN-OR initiative (Computational Infrastructure
for Operations Research).
This package contains the symphony executable.
|
|
coq
Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
|
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 ist ein Beweis-Assistent für Logik höherer Ordnung. Er ermöglicht die
Entwicklung von Computerprogrammen, die konsistent mit ihrer formalen
Spezifikation sind. Er wird mittels Objective Caml und Camlp5 entwickelt.
Dieses Paket enthält coqtop, eine Befehlszeilen-Schnittstelle zu Coq.
Eine grafische Oberfläche für Coq finden Sie im Paket coqide. Coq kann auch
mit ProofGeneral verwendet werden, was die Bearbeitung der Beweise mit Emacs
und XEmacs ermöglicht. Dies erfordert die Installation des Pakets
proofgeneral.
|
|
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
Automatisches Lösen von Differentialgleichungen
|
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 ist eine Sammlung von freier Software für automatisches und
effizientes Lösen von Differentialgleichungen.
FEniCS besitzt umfangreiche Fähigkeiten, wie z. B. automatisches Lösen von
Variationsproblemen, automatisierte Fehlerkontrolle und
Anpassungsmöglichkeiten, eine umfassende Bibliothek finiter Elemente,
leistungsfähige lineare Algebra und vieles mehr.
FEniCS ist als eine Sammlung interoperabler Komponenten organisiert, es
beinhaltet u. a. den Lösungsfinder DOLFIN (für Modelle basierend auf
partiellen Differentialgleichungen), den Compiler FFC (für finite Elemente
unterschiedlicher Form), den Finite-Elemente-Tabulator FIAT, den
»just-in-time«-Compiler Instant, die Code-Generierungs-Schnittstelle UFC,
die Formensprache UFL und eine Reihe zusätzlicher Komponenten.
Dies ist ein Metapaket, das von allen FEniCS-Komponenten abhängt.
Dies ist die Vorgängerversion FEniCS. Es sollte die Installation der
nächsten Generation von FEniCS (FEniCS-X im Paket fenicx) in Betracht
gezogen werden.
|
|
flintqs
Program using quadratic sieve to factor integers
|
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
|
This package includes William Hart's program to find prime factors of large
integers (at least forty digits).
It does so using highly optimized multi-polynomial quadratic sieve.
|
|
form
Symbolic manipulation system
|
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
|
This is a Symbolic Manipulation System. It reads symbolic expressions from
files and executes symbolic/algebraic transformations upon them. The answers
are returned in a textual mathematical representation. As its landmark
feature, the size of the considered expressions in FORM is only limited by
the available disk space and not by the available RAM.
|
|
fplll-tools
Werkzeuge zur Berechnung von LLL-Reduktionen euklidischer Gitter
|
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 ist eine Bibliothek zur Berechnung reduzierter (annähernd
orthogonaler) Basen von euklidischen Gittern mittels des LLL-Algorithmus.
FpLLL enthält mehrere unterschiedliche Implementierungen des
Fließkomma-LLL-Reduktionsalgorithmus, mit unterschiedlichen Verhältnissen
von Geschwindigkeit/Sicherheit.
Dieses Paket enthält einen Wrapper, welcher automatisch die bestbewertete
Sequenz aus den Variationen auswählt, mit dem Ziel schnellstmöglich eine
sichere Ausgabe zu liefern. Im Falle des Wrappers ist die Reihenfolge der
Variationen für den Anwender nicht einsehbar.
Dieses Paket enthält die grundlegende Werkzeuge, die libfpll nutzen.
|
|
freefem
PDE-orientierte Sprache unter Verwendung der Finite-Elemente-Methode
|
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 ist eine an partielle Differentialgleichungen angepasste Sprache. Ihr
liegt die Finite-Elemente-Methode zugrunde. FreeFEM wurde erfolgreich in
Lehre und Forschung eingesetzt.
|
|
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
Mathematik-Framework (größtenteils zu MATLAB kompatibel)
|
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 ist eine freie Umgebung zum schnellen Entwickeln, Erstellen von
wissenschaftlichen Prototypen sowie zur Datenverarbeitung. Es ist mit
kommerziellen Systemen wie MATLAB von Mathworks und IDL von Research
Systems vergleichbar, aber es ist Open Source.
FreeMat ist unter der GPL-Lizenz verfügbar.
|
|
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
Computeralgebra-System für Gruppen, Algorithmen und Programmierung (GAP)
|
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-1 | all |
Debtags of package gap: |
field | mathematics |
role | metapackage |
|
License: DFSG free
|
GAP ist ein System für diskrete Computeralgebra, mit besonderem Schwerpunkt
auf rechnergestützter Gruppentheorie. GAP bietet eine Programmiersprache,
eine in der GAP-Sprache geschriebene Bibliothek mit tausenden von Funktionen,
die algebraische Algorithmen umsetzen sowie große Datenbibliotheken von
algebraischen Objekten. GAP wird in Forschung und Lehre für die Untersuchung
von Gruppen und ihren Darstellungen, Ringen, Vektorräumen, Algebren,
kombinatorischen Strukturen und vielem mehr verwendet.
Dieses Pseudopaket hängt von den GAP-Standardkomponenten ab.
|
|
gap-character-tables
GAP Library of character tables
|
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 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 Character Table Library by Thomas Breuer.
|
|
gap-design
|
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 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 constructing, classifying,
partitioning and studying block designs.
|
|
gap-factint
advanced methods for factoring integers for 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 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 brings to GAP routines for factoring integers, in particular:
- Pollard's p-1
- Williams' p+1
- Elliptic Curves Method (ECM)
- Continued Fraction Algorithm (CFRAC)
- Multiple Polynomial Quadratic Sieve (MPQS)
It also provides access to Richard P. Brent's tables of factors of integers
of the form b^k +/- 1.
|
|
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
OpenMath phrasebook for GAP
|
Versions of package gap-openmath |
Release | Version | Architectures |
stretch | 11.3.1+ds-2 | all |
sid | 11.5.3+ds-2 | all |
trixie | 11.5.3+ds-2 | all |
bookworm | 11.5.2+ds-1 | all |
bullseye | 11.5.0+ds-2 | all |
buster | 11.4.2+ds-3 | all |
jessie | 11.2.0+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 allows GAP to import and export mathematical objects
encoded in OpenMath, for the purpose of exchanging them with other
applications that are OpenMath enabled.
|
|
gap-prim-groups
Database of primitive groups for GAP
|
Versions of package gap-prim-groups |
Release | Version | Architectures |
jessie | 4r7p3-1 | all |
stretch | 4r8p5-1 | all |
buster | 4r8p5-2 | 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 |
stretch | 4r8p5-1 | all |
jessie | 4r7p3-1 | all |
buster | 4r8p5-2 | 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 |
bookworm | 2.9.6+ds-1 | all |
buster | 2.9.1+ds-2 | 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 |
trixie | 1.2.11-1 | all |
bullseye | 1.2.9-1 | all |
stretch | 1r2p5-2 | all |
bookworm | 1.2.9-2 | all |
jessie | 1r2p2-1 | all |
buster | 1.2.7-2 | all |
sid | 1.2.11-1 | 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 |
trixie | 1.9.6+ds-1 | all |
bullseye | 1.9.5+ds-1 | all |
bookworm | 1.9.5+ds-2 | all |
buster | 1.9.4+ds-1 | all |
sid | 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 |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
stretch | 4r8p5-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
Create tree from Mathematics Genealogy Project (executable)
|
Versions of package geneagrapher |
Release | Version | Architectures |
sid | 2.0.0-1 | all |
bookworm | 1.0c2+git20220519-1 | all |
bullseye | 1.0c2+git20180919-2 | all |
buster | 1.0c2+git20180919-1 | all |
stretch | 1.0c2+git20120704-2 | all |
trixie | 2.0.0-1 | all |
|
License: DFSG free
|
The Mathematics Genealogy Grapher (Geneagrapher) is a software tool to gather
the information for building math genealogy trees with data from the
Mathematics Genealogy Project. The information extracted is stored in dot file
format, which can then be passed to Graphviz to generate a graph.
This package contains the command-line tool.
|
|
geogebra
Dynamische Mathematiksoftware für die Lehre
|
Versions of package geogebra |
Release | Version | Architectures |
bookworm | 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 |
bullseye | 4.0.34.0+dfsg1-9 | all |
trixie | 4.0.34.0+dfsg1-9 | all |
sid | 4.0.34.0+dfsg1-9 | 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 ist ein dynamisches Geometrieprogramm. Sie können aus Punkten,
Vektoren, Segmenten, Linien, Kegelabschnitten sowie Funktionen
Konstruktionen erstellen und diese anschließend dynamisch verändern.
Gleichzeitig können Gleichungen und Koordinaten direkt eingegeben werden.
Es unterstützt viele geometrische Konstruktionen und viele Aufgaben der
Infinitesimalrechnung (Ableitungen, oskulierende Kreise, …).
GeoGebra-Dateien lassen sich in viele verschiedene Formate exportieren
oder als interaktive Applets in Webseiten einbinden.
|
|
geomview
Interaktiver Geometriebetrachter
|
Versions of package geomview |
Release | Version | Architectures |
jessie | 1.9.4-4.1 | amd64,armel,armhf,i386 |
buster | 1.9.5-2 | amd64,arm64,armhf,i386 |
sid | 1.9.5-5 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
trixie | 1.9.5-5 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
stretch | 1.9.5-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.9.5-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,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 ist ein interaktiver Geometriebetrachter, der besonders für
mathematische Forschung und Ausbildung geeignet ist. Insbesondere kann
geomview Dinge in hyperbolischen, sphärischen und Euklidischen Räumen
darstellen.
Geomviev erlaubt mehrere, unabhängig kontrollierbare Objekte und Kameras.
Es bietet eine interaktive Kontrolle für Bewegung, Erscheinung
(einschließlich Beleuchtung, Schatten und Beschaffenheit der Materialien),
Aufnehmen eines Objektes, Kanten oder Eckpunkte, Schnappschüsse im
SGI-Bild-Format oder Renderman-RIB-Format. Das Hinzufügen und Löschen von
Objekten wird über direkte Bearbeitung mit der Maus, Kontrollleisten und
Tastenkürzel bereitgestellt. Externe Programme können gewünschte Aspekte
des Betrachters (wie kontinuierliches Laden wechselnder Geometrie oder
Kontrolle der Bewegungen bestimmter Objekte) steuern, während die
interaktive Kontrolle des Restes weiter möglich ist.
|
|
gerris
Löst Strömungsprobleme von Flüssigkeiten
|
Versions of package gerris |
Release | Version | Architectures |
sid | 20131206+dfsg-21 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
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 |
stretch | 20131206+dfsg-17 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 20131206+dfsg-5 | amd64,armel,armhf,i386 |
buster | 20131206+dfsg-18 | amd64,arm64,armhf,i386 |
Debtags of package gerris: |
field | mathematics, physics |
role | program |
|
License: DFSG free
|
Gerris ist ein System für die Lösung partieller Differentialgleichungen,
die strömende Flüssigkeiten beschreiben.
Eine kurze Zusammenfassung der (derzeit) wichtigsten Möglichkeiten:
- Löst die zeitabhängigen, nicht komprimierbaren Euler-, Stokes-
oder Navier-Stokes-Gleichungen mit variabler Dichte
- Adaptive Gitterverfeinerung: die Auflösung wird dynamisch der Strömung
angepasst
- Komplett automatische Erstellung von Gittern in komplexer Geometrie
- Zweiter Ordnung in Raum und Zeit
- Unbeschränkte Anzahl von advektierten/diffundierten passiven Markern
- Flexible Spezifikation von zusätzlichen Quelltermen
- Portable Unterstützung für parallele Berechnungen durch die
MPI-Bibliothek
- Mehrphasenströmungs-Methode (Volume-of-Fluid) für Strömungen zwischen
zwei Flächen
Dieses Paket besitzt eingebaute MPI-Unterstützung.
|
|
getdp
general environment for the treatment of discrete problems
|
Versions of package getdp |
Release | Version | Architectures |
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 |
stretch | 2.9.2+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 3.5.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
GetDP is a general finite element solver using mixed elements to
discretize de Rham-type complexes in one, two and three dimensions.
The main feature of GetDP is the closeness between the input data
defining discrete problems (written by the user in ASCII data files)
and the symbolic mathematical expressions of these problems.
See GetDP's reference manual for a more thorough overview of GetDP's
capabilities: http://www.geuz.org/getdp
|
|
gfan
program for computing with Groebner fans
|
Versions of package gfan |
Release | Version | Architectures |
trixie | 0.7-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 0.6.2-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,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 |
bookworm | 0.6.2-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 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
Das symbolische Rahmenwerk GiNaC (Werkzeuge)
|
Versions of package ginac-tools |
Release | Version | Architectures |
buster | 1.7.5-1 | amd64,arm64,armhf,i386 |
jessie | 1.6.2-1 | amd64,armel,armhf,i386 |
bookworm | 1.8.6-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.8.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 1.7.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.8.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.8.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
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 (das bedeutet »GiNaC is not a CAS (Computer Algebra System)«) ist
eine Bibliothek für die Ausführung symbolischer (d.h. nicht numerischer)
Berechnungen direkt in der Programmiersprache C++.
Dieses Paket beinhaltet einige zusätzliche Werkzeuge wie das beliebte
ginsh (GiNaC interactive shell) und viewgar (für das Betrachten von
GiNaC-Archivdateien).
|
|
gmsh
Generator für dreidimensionale Finite-Elemente-Netze
|
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 ist ein Generator für 3D-Finite-Elemente-Netze mit integrierter
CAD-Engine und Postprozessor. Sein Entwurfsziel ist die Bereitstellung eines
schnellen, leichtgewichtigen Netz-Werkzeugs mit parametrischer Eingabe und
hochentwickelten Visualisierungsmöglichkeiten. Gmsh wurde um vier Module
herum gebaut: Geometrie, Netzgenerierung, Gleichungslöser und
Nachbearbeitung. Die Festlegung der Eingabewerte für diese Module wird
entweder interaktiv über eine graphische Benutzeroberfläche oder über
ASCII-Textdateien in der Gmsh-eigenen Skriptsprache realisiert.
Ein Blick in das Gmsh-Handbuch gibt Ihnen einen tieferen Einblick in die
Leistungsfähigkeit von 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
Große Sammlung von Werkzeugen für das Graphzeichnen
|
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.0-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
|
Graphzeichnen widmet sich dem Problem der Visualisierung von strukturierter
Information durch konstruieren geometrischer Darstellungen von abstrakten
Graphen und Netzwerken. Automatische Generierung von Graphzeichnungen sind
wichtige Anwendungen in Schlüsseltechnologien wie Datenbankdesign,
Softwaretechnik, VLSI und Netzwerkdesign sowie visuelle Schnittstellen in
anderen Bereichen. Situationen in denen diese Werkzeuge besonders nützlich
sind, sind unter anderem:
- Sie würden gerne ein Programm neu strukturieren und müssen erst die
Beziehungen zwischen dessen Typen, Prozeduren und Quelldaten verstehen.
- Sie müssen die Flaschenhälse in einem Internet-Backbone finden - nicht
nur die individuellen Verknüpfungen, sondern deren Beziehungen.
- Sie debuggen ein Protokoll oder eine Mikroarchitektur, dargestellt als
endlicher Automat und müssen zuerst herausfinden, wie ein bestimmter
Fehlerstatus zustande kommt.
- Sie würden gerne ein Datenbankschema, eine Wissensdatenbank oder ein
verteiltes Programm durchsehen, die grafisch dargestellt sind.
- Sie möchten eine Übersicht einer Sammlung von verknüpften Dokumenten
sehen.
- Sie möchten Muster und Interessensgebiete in einer Datenbank
von Telefonanrufen oder E-Mail-Nachrichten entdecken.
Dieses Paket enthält die Werkzeuge für die Kommandozeile.
|
|
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 |
stretch | 20170109-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 3.0.0-1 | amd64,arm64,ppc64el,riscv64,s390x |
|
License: DFSG free
|
HOL Light is an interactive theorem prover for Higher-Order Logic
with a very simple logical core running in an OCaml toplevel. HOL
Light is famous for the verification of floating-point
arithmetic as well as for the Flyspeck project, which aimed at the
formalization of Tom Hales' proof of the Kepler conjecture.
|
|
julia
Leistungsstarke Programmiersprache für technische Berechnungen
|
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 ist eine leistungsstarke, dynamische höhere Programmiersprache
für technische Berechnungen mit einer Syntax, die Benutzern von anderen
Umgebungen für technische Berechnungen vertraut sein wird. Sie stellt einen
fortgeschrittenen Compiler, verteilte parallele Ausführungen, numerische
Genauigkeit und eine umfangreiche Bibliothek für mathematische Funktionen
bereit. Die Bibliothek, hauptsächlich in Julia geschrieben, integriert
außerdem reife, ausgeklügeltsten C- und Fortran-Bibliotheken für lineare
Algebra, Zufallszahlengeneration, FFTs und String-Verarbeitung.
Julia-Programme werden um das Definieren von Funktionen und Überladen
dieser Funktionen für verschiedene Kombinationen an Argumenttypen (die auch
benutzerdefiniert sein können) organisiert.
Dieses Paket stellt eine vollständige Julia-Installation bereit
(JIT-Compiler, Standardbibliothek, textbasierte Benutzerschnittstelle).
|
|
lcalc
Programm zum Rechnen mit L-Funktionen
|
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 ist ein Programm zum Berechnen von Nullstellen und Werten von
L-Funktionen. Im Leistungsumfang befinden sich die L-Funktionen der
Riemannschen Zeta-Funktion, der Ramanujan-Delta-Funktion und von
elliptischen Kurven über die rationalen Zahlen.
|
|
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-Bibliothek zur Bewertung symbolischer mathematischer Ausdrücke (Laufzeit)
|
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
|
Die GNU-Bibliothek libmatheval enthält mehrere Verfahren, die es
ermöglichen, im Speicher eine Baumdarstellung mathematischer Funktionen
über einzelne oder mehrere Variablen zu erstellen. Diese Darstellung kann
in der Folge verwendet werden, die Werte der Funktionen für bestimmte
Variablenwerte zu bestimmen, die entsprechenden Bäume für die Ableitung
der Funktionen nach angegebenen Variablen zu erstellen oder die im Speicher
befindlichen Bäume als Zeichenfolge auszugeben. Die Bibliothek unterstützt
beliebige Variablennamen in Ausdrücken, dezimale Konstanten, grundlegende
unäre und binäre Operatoren und elementare mathematische Funktionen.
Dieses Paket enthält die Laufzeitbibliothek.
|
|
lp-solve
Lösung (gemischt-ganzzahliger) linearer Optimierungsprobleme
|
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
|
Ein lineares Optimierungsproblem (linear programming problem, LP) kann
wie folgt formuliert werden: Löse A.x >= V1, mit maximalem V2.x. A ist
eine Matrix, x ist ein Vektor von (nichtnegativen) Variablen, V1 ist ein
die »rechte Seite« genannter Vektor, und der Vektor V2 beschreibt die
Zielfunktion.
Ein ganzzahliges Optimierungsproblem (integer linear programming problem,
ILP) ist ein LP mit der Nebenbedingung, dass alle Variablen ganze Zahlen
sind. In einem gemischt-ganzzahligen Optimierungsproblem (mixed integer
linear programming problem, MILP) sind einige der Variablen ganze Zahlen,
andere reell.
Das Programm lp_solve löst LP-, ILP-, und MILP-Aufgaben. Es ist
allgemeiner als oben beschrieben, denn für jede einzelne Zeile von A
(also für jede Randbedingung) ist die Angabe der (Un-)Gleichheit <=, >=
oder = möglich. Das Ergebnis gibt Werte für alle Variablen an.
lp_solve nutzt den Simplex-Algorithmus und Methoden für dünn besetzte
Matrizen für reine LP-Probleme. Wenn eine oder mehrere Variablen als
ganze Zahlen erklärt sind, wird der Simplex-Algorithmus wiederholt in
einem Branch-And-Bound-Verfahren angewendet, bis eine optimale Lösung
gefunden wird. lp_solve kann Dateien im MPS-Format einlesen.
|
|
lrcalc
Programme zur Berechnung von Littlewood-Richardson-Koeffizienten
|
Versions of package lrcalc |
Release | Version | Architectures |
bookworm | 1.2-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.2-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,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
|
Der »Littlewood-Richardson Calculator« ist ein Paket, bestehend aus
C-Programmen, zur Berechnung von Littlewood-Richardson-Koeffizienten. Es
ermöglicht eine schnelle Berechnung einzelner LR-Koeffizienten, Produkten
von Schur-Funktionen und schiefer Schur-Funktionen. Die Schnittstelle
nutzt die gleiche Notation wie das SF-Paket von John Stembridge, um
eine gleichzeitige Verwendung beider Pakete zu vereinfachen.
Dieses Paket enthält die Befehlszeilenprogramme.
|
|
lrslib
Paket für das Zählen von Ecken und Extremalstrahlen eines konvexen Polyeders
|
Versions of package lrslib |
Release | Version | Architectures |
jessie | 0.43-1 | amd64,armel,armhf,i386 |
sid | 0.73-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
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
|
Ein konvexer Polyeder ist die Menge von Punkten, die eine endliche Menge
von linearen Ungleichungen erfüllt. Die Untersuchung der Ecken und
Extremalstrahlen solcher Systeme ist z.B. für Mathematik und Optimierung
wichtig und nützlich. In der Interpretation des Dualraums ist das Ermitteln
der Ecken eines (begrenzten) Polyeders gleichwertig mit der Feststellung
der konvexen Hülle (Ungleichungen an den Grenzflächen) einer Punktmenge
(beliebiger Dimension). Lrs (umgekehrte lexikographische Suche) hat zwei
wichtige Merkmale, die für bestimmte Anwendungen sehr wichtig sein können:
sie arbeitet mit exakter Arithmetik und der Speicherverbrauch ist
proportional zur Größe der Eingangsdaten und nicht zur Größe des Ergebnisses.
|
|
macaulay2
Software system for algebraic geometry research
|
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 is a software system for algebraic geometry research, written by
Daniel R. Grayson and Michael E. Stillman. Based on Groebner bases, it
provides algorithms for computing homological invariants of rings and
modules.
This package contains the architecture dependent portion of 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
Portables Computeralgebrasystem (CAS)
|
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 implementiert die meisten algebraischen Regeln der
mathematischen Operatoren +, -, *, /, % (Modulus) und Potenz (inklusive
Wurzelfunktion).
Mathomatic kann symbolisch:
- Gleichungen kombinieren und auflösen,
- Ausdrücke und Gleichungen vollständig vereinfachen und vergleichen,
- einfache Transformationen und Reihen berechnen,
- Standard-, komplexe Zahlen-, Kongruenz- und Polynomarithmetik
durchführen,
- aus vereinfachten Gleichungen optimierten Quelltext in den
Programmiersprachen C, Java und Python erstellen,
- Ausdrücke mit gnuplot in zwei oder drei Dimensionen ausgeben,
- schnell Berechnungen ausführen, Ausdrücke einfärben, usw.
|
|
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
Computer algebra system -- base system
|
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 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.
The maxima-sage packages are meant to be used together with SageMath.
They contain the version of Maxima that works together with the
SageMath version in Debian and use ECL instead of GCL as Lisp compiler.
To use Maxima by itself, the more complete and up-to-date maxima package
is recommended.
This package contains the main executables and base system files.
|
|
mcl
Markov-Cluster-Algorithmus
|
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
|
Das Paket MCL ist eine Implementierung des MCL-Algorithmus. Es stellt
Werkzeuge zur Manipulation dünn besetzter Matrizen (der essentiellen
Datenstruktur im MCL-Algorithmus) und zur Durchführung von
Cluster-Experimenten zur Verfügung.
MCL wird derzeit in Wissenschaften wie Biologie (Erkennung von
Proteinfamilien, Genomforschung), Informatik (Clustering von Knoten in
Peer-to-Peer-Netzwerken) und Sprachwissenschaften (Textanalyse) verwendet.
The package is enhanced by the following packages:
zoem
|
|
minisat
Fast and lightweight SAT solver
|
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
|
Despite the NP completeness of the satisfiability problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. Winning all the
industrial categories of the SAT 2005 competition, MiniSat is a good starting
point both for future research in SAT, and for applications using SAT.
|
|
model-builder
Grafischer Simulator für gewöhnliche Differentialgleichungen
|
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 ist ein grafisches Werkzeug für das Entwerfen, Simulieren
und Analysieren mathematischer Modelle, die aus einem System von
gewöhnlichen Differentialgleichungen (ordinary differential equations,
ODEs) bestehen.
|
|
mumps-test
Beispiel-/Testprogramme mit 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 führt eine direkte Lösung für große, dünn besetzte, lineare
Gleichungssysteme ein, mit Schwerpunkt auf symmetrisch positiv
definiten Matrizen. Es kann auf verteilten Matrizen operieren, z.B. über
einen Cluster. Es hat Fortran- und C-Schnittstellen und kann an
Ordnungswerkzeuge wie z.B. Scotch anschließen.
|
|
nauty
library for graph automorphisms -- interface and tools
|
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 |
buster | 2.6r10+ds-1 | amd64,arm64,armhf,i386 |
jessie | 2.5r9+ds-1 (non-free) | amd64,i386 |
Debtags of package nauty: |
interface | commandline |
role | program |
|
License: DFSG free
|
nauty (No AUTomorphisms, Yes?) is a set of procedures for computing
automorphism groups of graphs and digraphs. This mathematical software
suite is developed by Brendan McKay and Adolfo Piperno:
http://pallini.di.uniroma1.it
nauty computes graph information in the form of a set of generators,
the size of the group, and the orbits of the group; it can also
produce a canonical label. The nauty suite is written in C and comes
with a command-line interface, a collection of command-line tools,
and an Application Programming Interface (API).
This package provides the nauty interface named dreadnaut, and a
small collection of utilities called gtools.
The package is enhanced by the following packages:
nauty-doc
|
|
netgen
Generator zur automatischen Erzeugung von 3D-Tetraedergittern
|
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 erzeugt automatisch 3D-Tetraedergitter. Es akzeptiert
geometrisch-konstruktive (constructive solid geometry, CSG) und durch
Grenzen bestimmte (boundary representation, BRep) Eingaben im STL-Format.
NETGEN beinhaltet Module zur Optimierung und hierarchischen Verfeinerung
der Gitter.
|
|
normaliz
math computing tools for affine monoids, rational polytopes and cones
|
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 is a mathematical tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
This dummy package provides the standard installation.
|
|
octave
GNU Octave - Sprache für numerische Berechnungen
|
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 | 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 |
buster | 4.4.1-5 | amd64,arm64,armhf,i386 |
bookworm | 7.3.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch-backports | 4.4.1-4~bpo9+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el |
stretch-backports | 4.4.0-3~bpo9+1 | s390x |
Debtags of package octave: |
field | mathematics |
role | program |
suite | gnu |
|
License: DFSG free
|
Octave ist eine (zum größten Teil zu MATLAB® kompatible) höhere
Programmiersprache, die hauptsächlich für numerische Berechnungen
gedacht ist. Sie stellt eine komfortable Kommandozeilenschnittstelle
zur numerischen Lösung linearer und nichtlinearer Probleme bereit.
Octave kann dynamisch mittels vom Anwender bereitgestellter
C++-Dateien erweitert werden.
|
|
palp
Paket zum Analysieren von Gitterpolytopen
|
Versions of package palp |
Release | Version | Architectures |
trixie | 2.21-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2.21-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 2.1-2 | amd64,armel,armhf,i386 |
stretch | 2.1-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 2.1-5 | amd64,arm64,armhf,i386 |
bullseye | 2.20-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.20-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package palp: |
role | program |
use | analysing |
|
License: DFSG free
|
Dieses Paket enthält verschiedene Hilfsprogramme um mit Gitterpolytopen zu
arbeiten:
- mori.x berechnet Stern-Triangulationen eines Polytops
- cws.x erzeugt Gewichtungssysteme und kombinierte Gewichtungssysteme
- class.x klassifiziert reflexive Polytope
- poly.x berechnet Daten eines Polytops
- nef.x berechnet Hodge-Zahlen einer nef-Partition
|
|
pari-gp
PARI/GP Computeralgebrasystem
|
Versions of package pari-gp |
Release | Version | Architectures |
bullseye | 2.13.1-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 |
bullseye-backports-sloppy | 2.15.4-2~bpo11+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye-backports | 2.15.2-1~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 |
jessie | 2.7.2-1 | amd64,armel,armhf,i386 |
buster-backports | 2.13.1-1~bpo10+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.15.2-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.11.1-2 | amd64,arm64,armhf,i386 |
stretch-backports | 2.11.1-2~bpo9+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 2.17.0-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 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 ist ein weit verbreitetes Computeralgebrasystem. Ausgelegt für
schnelle Berechnungen aus der Zahlentheorie (Faktorisierungen, Algebraische
Zahlentheorie, Elliptische Kurven,...), enthält es auch eine große Anzahl
anderer nützlicher Funktionen zur Manipulation mathematischer Objekte wie
Matrizen, Polynome, Potenzreihen, algebraische Zahlen usw. sowie eine Reihe
transzendenter Funktionen. PARI steht auch als C-Bibliothek zur
Implementierung schneller Berechnungen zur Verfügung.
Ursprünglich von Henri Cohen und seinen Mitarbeitern (Universität
Bordeaux I, Frankreich) entwickelt, steht PARI jetzt unter der GPL und
wird von Karim Belabas mit der Hilfe vieler freiwilliger Beitragender
gewartet.
Dieses Paket enthält den GP-Rechner.
The package is enhanced by the following packages:
texmacs-bin
|
|
persalys
GUI for uncertainty treatment and variabilities management
|
Versions of package persalys |
Release | Version | Architectures |
trixie | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
sid | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
bookworm | 13.1.1+ds-1 | amd64,arm64,mips64el,ppc64el,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.
|
|
phcpack
general-purpose solver for polynomial systems (command line)
|
Versions of package phcpack |
Release | Version | Architectures |
bookworm | 2.4.86+dfsg-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
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 |
|
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 |
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 |
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 |
|
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
Verschiedene Werkzeuge, die libpolylib nutzen
|
Versions of package polylib-utils |
Release | Version | Architectures |
stretch | 5.22.5-3+dfsg | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 5.22.5-4+dfsg | amd64,arm64,armhf,i386 |
bullseye | 5.22.5-4+dfsg | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
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 |
jessie | 5.22.5-3+dfsg | amd64,armel,armhf,i386 |
Debtags of package polylib-utils: |
role | program |
|
License: DFSG free
|
PolyLib ist eine freie C-Bibliothek für Berechnungen auf Polyedern. Die
Bibliothek bearbeitet Objekte wie Vektoren, Matrizen, Gitter, Polyeder,
Z-Polyeder, Vereinigungsmengen von Polyedern und andere dazwischen liegende
Strukturen.
Sie stellt Funktionen für alle wichtigen Operationen auf diesen Strukturen
bereit.
Dieses Paket enthält verschiedene Werkzeuge für die Arbeit mit Polyedern.
|
|
proofgeneral
Generisches Frontend für Beweisassistenten
|
Versions of package proofgeneral |
Release | Version | Architectures |
bookworm | 4.4.1~pre170114-1.2 | all |
trixie | 4.5-3 | all |
sid | 4.5-3 | all |
jessie | 4.3~pre131011-0.2 | all |
stretch | 4.4.1~pre170114-1 | all |
bullseye | 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
|
Der »Major Mode« Proof General verwandelt Emacs in einen interaktiven
Beweisassistenten, um mithilfe verschiedener Theorembeweiser formale
mathematische Beweise zu schreiben.
Mit diesem Paket unterstützt Proof General Coq. (Es gibt keinen anderen
Beweisassistenten, den man sinnvoll unterstützen kann.)
|
|
prover9
theorem prover and countermodel generator
|
Versions of package prover9 |
Release | Version | Architectures |
jessie | 0.0.200911a-2.1 | amd64,armel,armhf,i386 |
stretch | 0.0.200911a-2.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.0.200911a-2.1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
This package provides the Prover9 resolution/paramodulation theorem
prover and the Mace4 countermodel generator.
Prover9 is an automated theorem prover for first-order and equational
logic. It is a successor of the Otter prover. Prover9 uses the
inference techniques of ordered resolution and paramodulation with
literal selection.
The program Mace4 searches for finite structures satisfying first-order
and equational statements, the same kind of statement that Prover9
accepts. If the statement is the denial of some conjecture, any
structures found by Mace4 are counterexamples to the conjecture.
Mace4 can be a valuable complement to Prover9, looking for
counterexamples before (or at the same time as) using Prover9 to search
for a proof. It can also be used to help debug input clauses and formulas
for 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
Verteilte evolutionäre Algorithmen in Python3
|
Versions of package python3-deap |
Release | Version | Architectures |
buster | 1.0.2.post2-6 | all |
bookworm | 1.3.1-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.3.1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 1.0.1-3+deb8u1 | all |
stretch | 1.0.2.post2-2 | all |
sid | 1.4.1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.4.1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
DEAP ist ein neuartiges evolutionäres rechnergestütztes Rahmenwerk für
Rapid Prototyping und zum Testen von Ideen. Es versucht Algorithmen
klar zu formulieren und Datenstrukturen transparent zu machen. Es
arbeitet in perfekter Harmonie mit Parallelisierungsmechanismen
wie Multiprocessing und SCOOP.
Dieses Paket enthält die Module für Python3.
|
|
python3-dolfin
Base Python interface for DOLFIN (Python 3)
|
Versions of package python3-dolfin |
Release | Version | Architectures |
buster | 2018.1.0.post1-16 | amd64,arm64,armhf,i386 |
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 |
bullseye | 2019.2.0~git20201207.b495043-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
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 |
bookworm | 2019.2.0~git20210714.a20cbe7-3 | all |
trixie | 2019.2.0~legacy20230509.35df986-3 | all |
sid | 2019.2.0~legacy20230509.35df986-3 | all |
buster | 2018.1.0-5 | 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 |
buster | 0.50.3+dfsg1-8 | amd64,arm64,armhf,i386 |
sid | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 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 |
|
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 |
sid | 1.23-5 | amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.20-9 | amd64,arm64,armel,armhf,mips64el,ppc64el,s390x |
stretch | 1.7-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
trixie | 1.23-5 | amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,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 |
sid | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
trixie | 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 |
trixie | 3.4-1 | all |
bullseye | 3.2-4 | all |
sid | 3.4-1 | all |
buster | 3.2-3 | all |
bookworm | 3.2-4 | all |
stretch | 2.0-2 | 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 |
stretch | 2016.2.0-2 | all |
buster | 2018.1.0-5 | all |
trixie | 2024.2.0-2 | all |
sid | 2024.2.0-2 | all |
bookworm | 2022.2.0-2 | all |
bullseye | 2019.2.0~git20210211.d60cd09-1 | 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 |
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 |
trixie | 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
Berechnung konvexer Hüllen und verwandter Strukturen (Kommandos)
|
Versions of package qhull-bin |
Release | Version | Architectures |
buster | 2015.2-4 | amd64,arm64,armhf,i386 |
sid | 2020.2-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 2012.1-5 | amd64,armel,armhf,i386 |
stretch | 2015.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
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 |
trixie | 2020.2-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package qhull-bin: |
field | mathematics |
role | program |
scope | utility |
|
License: DFSG free
|
Qhull berechnet konvexe Hüllen, Delauny-Triangulierungen,
Halbraumschnittmengen um einen Punkt, Voronoi-Diagramme,
»weitester Nachbar«-Delaunay-Triangulierungen und
»weitester Nachbar«-Voronoi-Diagramme. Es arbeitet
in 2, 3, 4 und mehr Dimensionen.
Diese Paket enthält die qhull-Kommandos, die eine pipe-Schnittstelle
zu einigen Funktionen der Bibliothek bieten. Ebenso enthalten ist rbox.
rbox ist ein nützliches Werkzeug zum Erzeugen von Eingaben für Qhull.
Es erzeugt Hypercubes, Diamanten, Kegel, Kreise, Simplices, Spiralen,
Gitter und Zufallspunkte.
Qhull erzeugt graphische Ausgaben für Geomview. Dies hilft die Ausgaben zu
verstehen (http://www.geomview.org).
|
|
qsopt-ex
Exact linear programming solver
|
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 |
buster | 2.5.10.3-2 | amd64,arm64,armhf,i386 |
bookworm | 2.5.10.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.5.10.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2.5.10.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
QSopt-ex is an implementation of a simplex-based algorithm that returns exact
rational solutions, taking advantage of the speed of floating-point
calculations and attempting to minimize the operations performed in
rational arithmetic.
This package contains the command-line utilities.
|
|
regina-normal
mathematical software for low-dimensional topology
|
Versions of package regina-normal |
Release | Version | Architectures |
jessie | 4.96-2 | amd64,armel,armhf,i386 |
stretch | 5.1-1 | amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 5.1-6 | amd64,arm64,armhf,i386 |
bookworm | 7.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 7.3-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
bullseye | 6.0.1-4 | 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 is a software package for 3-manifold and 4-manifold topologists,
with a focus on triangulations, knots and links, normal surfaces, and
angle structures.
For 3-manifolds, it includes high-level tasks such as 3-sphere recognition,
connected sum decomposition and Hakenness testing, comes with a rich
database of census manifolds, and incorporates the SnapPea kernel for
working with hyperbolic manifolds. For 4-manifolds, it offers a range of
combinatorial and algebraic tools, plus support for normal hypersurfaces.
For knots and links, Regina can perform combinatorial manipulation,
compute knot polynomials, and work with several import/export formats.
Regina comes with a full graphical user interface, as well as Python bindings
and a low-level C++ programming interface.
This package includes the graphical user interface and the command-line
Python interface. The users' handbook and the API documentation are in
the separate package regina-normal-doc.
|
|
rheolef
efficient Finite Element environment
|
Versions of package rheolef |
Release | Version | Architectures |
bookworm | 7.2-2 | amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 6.5-1 | amd64,i386 |
sid | 7.2-3 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 7.1-6 | amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x |
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 is a computer environment that serves as a convenient laboratory for
computations in applied mathematics involving finite element-like methods.
It provides a set of commands and C++ algorithms and containers.
Most basically, containers cover the classic graph data structure for sparse
matrix formats and finite element meshes. At a higher level of abstraction,
they can handle approximate finite element spaces, discrete fields.
Flexible and powerful expressions are used to specify bilinear forms.
Current applications include:
- massively distributed memory finite element environment, based on MPI;
- elasticity, Stokes and Navier-Stokes problems in 2D and 3D;
- complex fluids applications: viscoplasticity, viscoelasticity, wall slip;
- nonlinear problems with fixed-point, Newton and continuation methods;
- high order polynomials, mixed elements and discontinuous Galerkin methods;
- auto-adaptive mesh approaches;
- axisymmetric problems;
- multi-regions and variable coefficient problems.
This package provides the rheolef commands. These support input and
output in various file formats for mesh-generators and numerical data
visualization systems such as paraview, and gnuplot.
Please cite:
Piere Saramito:
(2016)
|
|
rubiks
Small collection of Rubik's cube solvers
|
Versions of package rubiks |
Release | Version | Architectures |
stretch | 20070912-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 20070912-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 20070912-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 20070912-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 20070912-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 20070912-3 | amd64,arm64,armhf,i386 |
|
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
Quelloffene Mathematiksoftware
|
Versions of package sagemath |
Release | Version | Architectures |
bookworm | 9.5-6 | all |
bullseye | 9.2-2 | amd64,arm64,i386 |
stretch | 7.4-9 | amd64,i386 |
buster | 8.6-6 | amd64,arm64,armhf,i386 |
sid | 9.5-6 | all |
upstream | 10.5 |
|
License: DFSG free
|
SageMath ist ein freies, quelloffenes Mathematik-Softwaresystem, das
unter der GPL lizenziert ist. Es baut auf vorhandenen Open-Source-Paketen
auf: NumPy, SciPy, Matplotlib, Sympy, Maxima, GAP, FLINT, R und viele
weitere. Greifen Sie über eine gemeinsame Python-basierte Sprache oder
direkt über Schnittstellen oder Wrapper auf ihre kombinierte Leistung zu.
Mission: Schaffung einer tragfähigen, freien Open Source-Alternative
zu Magma, Maple, Mathematica und Matlab.
Dieses Paket enthält die Hauptinstallation von SageMath.
The package is enhanced by the following packages:
texmacs-bin
|
|
sagemath-database-conway-polynomials
Datenbank von Conway-Polynomen
|
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
|
Dieses Paket enthält eine kleine Datenbank mit Conway-Polynomen
für Primzahlen bis 109987 und eine variierende Anzahl von Exponenten.
Es ist ein Teil der Softwaresuite SageMath.
|
|
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
Datenbanken für elliptische Kurven
|
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
|
Dieses Paket enthält tatsächlich zwei Datenbanken:
- die Teilmenge von John Cremonas Datenbank elliptischer Kurven
bis zu einem »conductor« von höchstens 10000
- William Steins Datenbank mit interessanten elliptischen Kurven
Es ist ein Teil der Softwaresuite SageMath.
|
|
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
|
Dieses Paket enthält eine Datenbank von Graphen, die von Emily Kirkman
basierend auf der Arbeit von Jason Grout erstellt wurde. Es enthält
auch die ISGCI-Graphendatenbank.
Es ist ein Teil der Softwaresuite SageMath.
|
|
sagemath-database-mutually-combinatorial-designs
Datenbanken kombinatorischer Entwürfe
|
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
|
Dieses Paket enthält eine Datenbank mit zueinander orthogonalen
lateinischen Quadraten (mutually orthogonal Latin squares) wie
in der zweiten Auflage des Handbook of Combinatorial Designs.
Es ist ein Teil der Softwaresuite SageMath.
|
|
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
|
Dieses Paket beinhaltet eine Datenbank mit 2- und 3-dimensionalen reflexiven
Polytopen.
Es ist ein Teil der Softwaresuite SageMath.
|
|
science-statistics
»Debian Science« Statistik-Pakete
|
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
|
Dieses Metapaket ist Teil des Debian Pure Blend »Debian Science« und
installiert Pakete im Zusammenhang zum Begriff Statistiken. Dieser Task
ist
ein allgemeiner Task, welcher nützlich ist für alle wissenschaftlichen
Arbeiten. Das Paket hängt von einer Reihe von R-Paketen ab, genau so wie
von anderen Werkzeugen, die nützlich für die Anwendung von Statistik sind.
Des weiteren ist der Task Mathematik-Wissenschaften empfohlen, um
optionale
Mathematik-Software zu installieren.
|
|
scilab
Wissenschaftliches Softwarepaket für numerische Berechnungen
|
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 ist ein matrixorientiertes, wissenschaftliches Softwarepaket. Es
enthält hunderte integrierte mathematische Funktionen und reichhaltige
Datenstrukturen (einschließlich Polynome, Brüche, lineare Systeme, Listen
usw.). Beigelegt sind auch diverse spezifische Werkzeugsätze für Steuerung,
Signalverarbeitung, …
Dieses Paket enthält außerdem Xcos, einen grafischen Editor zur Erstellung
von Modellen für dynamische Hybridsysteme. Modelle können erstellt, geladen,
abgespeichert, kompiliert und simuliert werden.
Als stabile und effiziente Lösung für industrielle und akademische
Anforderungen stellt Xcos Funktionalitäten zum Modellieren von
mechanischen Systemen (Fahrzeug-, Flugtechnik, …), Hydraulikkreisläufen
(Damm-, Rohrmodelle, …), Steuerungssystemen usw. bereit. Die Verwendung
von Modelica ist möglich.
Das Paket »scilab-cli« installiert eine Minimalversion von Scilab.
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
Programme und Bibliotheken für Graph-, Intervall- und Hypergraphpartitionierung
|
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
|
Der Zweck ist die Anwendung der Graphentheorie mit einem
Teile-und-herrsche-Ansatz auf wissenschaftliche Berechnungsprobleme wie
Graph-
und Intervallpartitionierung, statisches Abbilden und sortieren
dünnbesetzter Matrizen. Dies geschieht in Anwendungsbereichen von
Strukturmechanik bis Betriebssystemen oder Biochemie.
SCOTCH ist eine Programm- und Bibliothekssammlung, die Algorithmen für
statisches Graphzeichnen und Neusortieren dünnbesetzter Matrizen
implementiert. Diese Algorithmen wurden innerhalb des Projekts SCOTCH
entwickelt.
SCOTCH hat viele interessante Merkmale:
-
Die Fähigkeiten können über eine Anzahl an eigenständigen Programmen
verwendet werden als auch über die Bibliothek libSCOTCH, die C- und
Fortran-Schnittstellen anbietet.
-
Es enthält Algorithmen zur Partitionierung von Graph- als auch
Intervallstrukturen, die als Knotenelement bipartiter Graphen definiert
sind als auch Hypergraphen darstellen können.
-
Es kann jeden gewichteten Quellgraphen auf jeden gewichteten Zielgraphen
abbilden. Die Quell- und Zielgraphen können jede beliebige Topologie
besitzen und deren Knoten und Kanten können gewichtet sein. Außerdem können
sowohl Quell- als auch Zielgraphen unterbrochen sein. Dadurch können
Programme auf die unterbrochenen Subteile einer parallelen Architektur, die
aus heterogenen Prozessoren und Kommunikationslinks besteht, abgebildet
werden.
-
Es berechnet amalgamierte Blocksortierungen von dünnbesetzten Matrizen,
bei denen zur effizienten Lösung BLAS-Routinen verwendet werden.
-
Bei Abbildungsberechnungen läuft es zeitlich linear zur Anzahl der Kanten
des Quellgraphs und logarithmisch zur Anzahl der Knoten des Zielgraphs.
-
Es kann Graph- und Intervallstrukturen, die in C- oder Fortran-Programmen
erstellt wurden, indifferent behandeln, wobei die Array-Indizes bei 0 oder
1 beginnen.
-
Es bietet Unterstützung für adaptive Graphen und Intervalle, durch
Behandlung der disjunkten Kanten-Arrays.
-
Es ist dank »strategy strings«, die zur Laufzeit interpretiert werden,
dynamisch parametrisierbar.
-
Es verwendet den Systemspeicher effizient, um große Graphen und
Intervalle zu verarbeiten, ohne Speichermangel-Fehler auszulösen.
-
Es ist hochmodular und dokumentiert. Weil es unter der Open-Source-Lizenz
CeCILL-C veröffentlicht wurde, kann es als Testumgebung für einfache und
schnelle Entwicklung sowie Testen von neuen Partitionierungs- und
Sortiermethoden verwendet werden.
-
Es kann leicht mit anderen Programmen zusammenarbeiten. Die Programme,
aus denen das Projekt SCOTCH besteht, wurden für die Befehlszeile ohne
interaktive Fragen erstellt, damit sie leicht von anderen Programmen oder
Instanzen von system() oder popen() oder mittels Pipes auf einer einzigen
Befehlszeile aufgerufen werden können. Außerdem können Knoten (Vertices)
leicht neu nummeriert werden.
-
Es enthält viele Werkzeuge zur Erstellung, Überprüfung und Anzeigen von
Graphen-, Intervall- und Matrixmustern.
-
Es ist in C geschrieben und verwendet die POSIX-Schnittstelle, wodurch es
leicht portierbar ist. PT-SCOTCH verwendet die MPI-Schnittstelle und
optional die POSIX-Threads.
|
|
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
Programm zur Erzeugung und Untersuchung hyperbolischer 3-Mannigfaltigkeiten
|
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 ist ein Werkzeug von Jeff Week für Mathematiker, die mit
niedrigdimensionalen Topologien arbeiten. Es wird verwendet, um
hyperbolische 3-Mannigfaltigkeiten zu erzeugen und zu untersuchen. Außerdem
ist es sowohl mit Python-Skripten als auch mit einer traditionellen
grafischen Benutzeroberfläche bedienbar.
|
|
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
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
|
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 is a mathematical program to compute special values of symmetric
power elliptic curve L-functions; it can compute up to about 64 digits
of precision.
This package provides the SYMPOW program itself.
|
|
tachyon
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
|
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 is a portable, high performance parallel ray tracing system
supporting MPI and multithreaded implementations. Tachyon is built as
a C callable library, which can be used within applications.
Tachyon implements all of the basic geometric primitives such as
triangles, planes, spheres, cylinders, etc. Some of the goals in
developing Tachyon were to make it fast and for it to parallelize
well. These are what set it apart from more full-featured programs
like POV-Ray, Rayshade, and others. Tachyon supports enough features
to be an excellent alternative to slower programs for demanding
animation and scientific visualization tasks.
This metapackage allows multi-variant support for tools built upon tachyon.
|
|
tetgen
Quality Tetrahedral Mesh Generator
|
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 generates the Delaunay tetrahedralization, Voronoi diagram, and convex
hull for three-dimensional point sets, generates the constrained Delaunay
tetrahedralizations and quality tetrahedral meshes for three-dimensional
domains with piecewise linear boundary.
|
|
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
Grafische Oberfläche für das Computer-Algebrasystem 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 ist eine grafische Benutzeroberfläche für das
Computer-Algebrasystem Maxima. Sie vereinfacht die Nutzung von Maxima
dadurch, dass dessen Befehle über ein Menüsystem verfügbar sind und durch
die Bereitstellung von Eingabedialogen für Befehle, die mehr als ein
Argument benötigen. Ebenso implementiert sie ein eigenes Zeichenprogramm,
das mathematische Symbole direkt ausgibt, statt diese mit ASCII-Zeichen
darzustellen.
WxMaxima bietet außerdem eingebettete Funktionsgrafen in 2D und 3D,
einfache Animationen, Kombinieren von Text und mathematischen Berechnungen
zum Erstellen von Dokumenten, Exportieren der Ein- und Ausgabe ins
TeX-Format und einen Browser für Maximas Handbuch, inklusive Befehlsindex
und Volltextsuche.
|
|
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
Computeralgebrasystem -- X-Oberfläche
|
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 ist ein Programm für Symbolisches Rechnen. Es bietet alle
Möglichkeiten der symbolischen Manipulation von Polynomen, Matrizen,
rationalen Funktionen, Integration, Todd-Coxeter-Methoden zur Analyse von
finiten Gruppen, Zeichnen von Graphen und Berechnung von Fließkommazahlen
mehrfacher Genauigkeit. Es enthält einen symbolischen Debugger auf
Quellcode-Ebene für Maxima-Programmcode. Maxima beruht auf dem in den 1970ern
am MIT entwickelten Macsyma. Es ist weitgehend verlässlich, verfügt über eine
gute Speicherbereinigung und ist frei von Speicherlecks. Es ist mit Hunderten
von Selbsttests ausgestattet.
Dieses Paket enthält eine X-Windows-Oberfläche für X unter Verwendung der
Tcl/Tk-Bibliotheken.
|
|
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 (XMDS) - erweiterbarer multidimensionaler 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 erzeugt Code, der Gleichungen integriert, die von gewöhnlichen
Differentialgleichungen bis zu stochastischen partiellen
Differentialgleichungen reichen. Man schreibt diese in einer für Menschen
lesbaren Form in eine XML-Datei, aus der XMDS ein C++-Programm schreibt
und kompiliert. Mithilfe dieses C++-Programmes werden die Gleichungen
anschließend integriert. Die Geschwindigkeit für die auszuführende
Rechenoperation ist abhängig von der vorliegenden Architektur.
XMDS 2 ist ein bedeutendes, in Python geschriebenes Upgrade, welches das
Programm schneller und bei weitem vielseitiger als vorherige Versionen
macht. Es ermöglicht die effiziente Integration fast jedes
Anfangswertproblems in regulären Definitionsbereichen.
|
|
Official Debian packages with lower relevance
ann-tools
»Approximate Nearest Neighbor«-Suchbibliothek (Werkzeuge)
|
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
|
Approximate Nearest Neighbor (ANN) ist eine C++-Bibliothek, die
Datenstrukturen und -algorithmen für Exact- und
Approximate-Nearest-Neighbor-Suchen in beliebig hohen Dimensionen
unterstützt. ANN nimmt an, dass die Messung aller Abstände mit
Distanzfunktionen erfolgt, die zu den Minkowski-Metriken gehören. Das
schließt den bekannten euklidischen Abstand, die Manhattan- sowie die
Maximum-Distanz ein. ANN arbeitet ziemlich effizient mit Datensätzen in der
Größenordnung von tausenden bis hunderttausenden Punkten und bis zu 20
Dimensionen.
Dieses Paket enthält die Programme ann2fig und ann_sample. Ersteres zeigt
die Ausgabe von ANN im fig-Format an, letzteres ist ein beispielhaftes
Demonstrationsprogramm für ANN.
|
|
evolver-nox
Surface Evolver - with no X support
|
Versions of package evolver-nox |
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 |
trixie | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,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
|
The Surface Evolver is an interactive program for the modelling of liquid
surfaces shaped by various forces and constraints.
This package provides evolver variants built with different floating point
formats (double, long double, quadruple) but with no X support.
The package is enhanced by the following packages:
evolver-doc
|
|
evolver-ogl
Surface Evolver - with OpenGL display
|
Versions of package evolver-ogl |
Release | Version | Architectures |
stretch | 2.70+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x |
bookworm | 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 |
bullseye | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2.70+ds-4 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
The Surface Evolver is an interactive program for the modelling of liquid
surfaces shaped by various forces and constraints.
This package provides evolver variants built with different floating point
formats (double, long double, quadruple) and with an OpenGL/GLUT display.
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
low level C library IO bindings for 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 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 allows GAP to access UNIX I/O C-library functions.
|
|
gap-online-help
Computeralgebra-System GAP, Onlinehilfe
|
Versions of package gap-online-help |
Release | Version | Architectures |
buster | 4r10p0-7 | all |
trixie | 4.13.1-1 | all |
bookworm | 4.12.1-2 | all |
stretch | 4r8p6-2 | all |
jessie | 4r7p5-2 | all |
bullseye | 4.11.0-4 | all |
sid | 4.14.0-1 | all |
Debtags of package gap-online-help: |
field | mathematics |
made-of | tex |
role | documentation |
|
License: DFSG free
|
GAP ist ein System für diskrete Computeralgebra, mit besonderem Schwerpunkt
auf rechnergestützter Gruppentheorie. GAP bietet eine Programmiersprache,
eine in der GAP-Sprache geschriebene Bibliothek mit tausenden von
Funktionen, die algebraische Algorithmen umsetzen sowie große
Datenbibliotheken von algebraischen Objekten. GAP wird in Forschung und
Lehre für die Untersuchung von Gruppen und ihren Darstellungen, Ringen,
Vektorräumen, Algebren, kombinatorischen Strukturen und vielem mehr
verwendet.
Dieses Paket enthält die Dokumentation im TeX-Format, die für das
Online-Hilfssystem benötigt wird.
|
|
gap-scscp
|
Versions of package gap-scscp |
Release | Version | Architectures |
bookworm | 2.4.0+ds-1 | all |
stretch | 2.1.4+ds-3 | all |
jessie | 2.1.4+ds-1 | all |
trixie | 2.4.3+ds-1 | all |
sid | 2.4.3+ds-1 | all |
buster | 2.2.3+ds-2 | all |
bullseye | 2.3.1+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 implements the Symbolic Computation Software
Composability Protocol (SCSCP) for GAP.
|
|
gmp-ecm
Factor integers using the Elliptic Curve Method
|
Versions of package gmp-ecm |
Release | Version | Architectures |
trixie | 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 |
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 |
sid | 7.0.6+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 7.0.4+ds-5 | amd64,arm64,armhf,i386 |
bookworm | 7.0.5+ds-1 | 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 is a free implementation of the Elliptic Curve Method (ECM)
for integer factorization.
The original purpose of the ECMNET project was to make Richard Brent's
prediction true, i.e. to find a factor of 50 digits or more by
ECM. This goal was attained on September 14, 1998, when Conrad Curry
found a 53-digit factor of 2^677-1 c150 using George Woltman's mprime
program. The new goal of ECMNET is now to find other large factors by
ecm, mainly by contributing to the Cunningham project, most likely the
longest, ongoing computational project in history according to Bob
Silverman. A new record was set by Nik Lygeros and Michel Mizony, who
found in December 1999 a prime factor of 54 digits using GMP-ECM.
See http://www.loria.fr/~zimmerma/records/ecmnet.html for more
information about ecmnet.
This package provides the command line utility.
|
|
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
Generator zur automatischen Erzeugung von 3D-Tetraedergittern - Dokumentation
|
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 erzeugt automatisch 3D-Tetraedergitter. Es akzeptiert
geometrisch-konstruktive (constructive solid geometry, CSG) oder durch
Grenzflächen bestimmte (boundary representation, BRep) Eingaben im
STL-Format.
NETGEN beinhaltet Module zur Optimierung und hierarchischen Verfeinerung
der Gitter.
Dieses Paket enthält das Benutzerhandbuch (im PDF-Format) und
Beispieldateien.
|
|
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-Funktionen für Extremwertverteilungen
|
Versions of package r-cran-evd |
Release | Version | Architectures |
trixie | 2.3-7.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2.3-3-2 | amd64,arm64,armhf,i386 |
bullseye | 2.3-3-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.3-6.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 2.3-0-1 | amd64,armel,armhf,i386 |
stretch | 2.3-2-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 2.3-7.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Erweitert Simulations-, Verteilungs-, Quantil- und Dichtefunktionen auf
ein- und mehrdimensionale parametrische Extremwertverteilungen. Außerdem
stellt das Paket passende Funktionen bereit, die
Maximum-Likelihood-Schätzungen für ein- und zweidimensionale Maxima- und
Grenzwertmodelle berechnen.
|
|
sagetex
Einbettung von Sage-Code und Plots in 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
|
Mit dem LaTeX-Paket SageTeX können Sie Code, Berechnungsergebnisse und
Diagramme aus der mathematischen Softwaresuite SageMath in LaTeX-Dokumente
einbetten. SageMath ist ein quelloffenes System für Computeralgebra (CAS).
Dieses Paket enthält das LaTeX-Paket.
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.
|
|