Software-Pakete in »stretch«, Unterbereich math

4ti2 (1.6.7+ds-2+b3)
mathematical tool suite for problems on linear spaces -- tools
acl2 (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
acl2-books (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: kompilierte Bibliotheken
acl2-books-certs (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate
acl2-books-source (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der Bibliotheken
acl2-emacs (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle
acl2-infix (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Infix-Schnittstelle
acl2-infix-source (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Infix-Quelltexte
acl2-source (7.2dfsg-3)
Rechenbetonte Logik für applikatives Common Lisp: Quelltextdateien
admesh (0.98.2-3+deb9u1 [amd64, arm64, armel, armhf, i386], 0.98.2-3+b1 [mips, mips64el, mipsel, ppc64el, s390x]) [security]
Werkzeug zum Verarbeiten von Drahtgittermodellen. Programm
alt-ergo (1.30-1)
Automatischer Theorembeweiser zur Programmverifikation
ann-tools (1.1.2+doc-6)
»Approximate Nearest Neighbor«-Suchbibliothek (Werkzeuge)
apcalc (2.12.5.0-1+b3)
Taschenrechner mit beliebiger Präzision (Originalname: calc)
apcalc-common (2.12.5.0-1)
Rechner mit beliebiger Genauigkeit (gemeinsame Dateien)
apophenia-bin (1.0+ds-7)
Apophenia Statistical C Library -- binary package
aribas (1.64-6)
Interpreter für Arithmetik
auto-07p (0.9.1+dfsg-3+b1 [mips, mipsel], 0.9.1+dfsg-3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x])
software for continuation and bifurcation problems in ODE
autoclass (3.3.6.dfsg.1-1+b2)
Automatische Klassifikation bzw. Clustering
axiom (20140801-12+b2 [amd64], 20140801-12 [arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x])
Allzweck-Computeralgebrasystem: Hauptprogramme und Module
axiom-databases (20140801-12)
Allzweck-Computeralgebrasystem: generierte Textdatenbanken
axiom-graphics (20140801-12+b2 [amd64], 20140801-12 [arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x])
Allzweck-Computeralgebrasystem: Grafik-Subsystem
axiom-graphics-data (20140801-12)
Allzweck-Computeralgebrasystem: Grafik-Subsystem
axiom-hypertex (20140801-12+b2 [amd64], 20140801-12 [arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x])
Allzweck-Computeralgebrasystem: Hypertex-Subsystem
axiom-hypertex-data (20140801-12)
Allzweck-Computeralgebrasystem: Hypertex-Teilsystem
axiom-source (20140801-12)
Allzweck-Computeralgebrasystem: Quelltextdateien
axiom-test (20140801-12)
Allzweck-Computeralgebrasystem: Eingaben für Regressionstests
axiom-tex (20140801-12)
Allzweck-Computeralgebrasystem: TeX-Stil-Datei
bc (1.06.95-9+b3)
GNU bc - Rechnersprache mit beliebiger Genauigkeit
bindechexascii (0.0+20140524.git7dcd86-4)
simple ASCII,binary,decimal and hex converter
blacs-mpi-test (1.1-38)
Basic Linear Algebra Comm. Subprograms - Test files for MPI
blacs-test-common (1.1-38)
Testdaten für BLACS-Tester
bliss (0.73-1)
tool to compute graph automorphisms and labelings -- bin
bytes-circle (2.5-1)
Show byte statistics as an ASCII circle graph
cadabra (1.46-3)
Durch Feldtheorie motiviertes Computeralgebrasystem
calligrasheets (1:2.9.11+dfsg-4+b2 [mips, mips64el, mipsel], 1:2.9.11+dfsg-4+b1 [amd64, arm64, armel, armhf, i386, ppc64el, s390x])
Tabellenkalkulation der Programmsammlung Calligra
cantor (4:16.08.3-1)
interface for mathematical applications
cantor-backend-kalgebra (4:16.08.3-1)
KAlgebra-Backend für Cantor
cantor-backend-lua (4:16.08.3-1)
Lua backend for Cantor
cantor-backend-maxima (4:16.08.3-1)
Maxima-Backend für Cantor
cantor-backend-octave (4:16.08.3-1)
Octave-Backend für Cantor
cantor-backend-python2 (4:16.08.3-1)
Python2 backend for Cantor
cantor-backend-python3 (4:16.08.3-1)
Python3 backend for Cantor
cantor-backend-qalculate (4:16.08.3-1)
Qalculate! backend for Cantor
cantor-backend-r (4:16.08.3-1)
R-Backend für Cantor
cantor-backend-sage (4:16.08.3-1)
Sage-Backend für Cantor
carmetal (3.5.2+dfsg-1.1)
dynamic geometry software with highly ergonomic UI
cimg-dev (1.7.9+dfsg-1+deb9u2) [security]
Leistungsfähige Bildbearbeitungs-Bibliothek
cliquer (1.21-1+b2)
Programm zur Suche nach Cliquen
concalc (0.9.2-2+b2)
Taschenrechner für die Konsole
coq (8.6-4)
Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
coq-theories (8.6-4)
Beweis-Assistent für Logik höherer Ordnung (Theorien)
coqide (8.6-4)
Beweis-Assistent für Logik höherer Ordnung (Gtk-Schnittstelle)
cvc3 (2.4.1-5.1)
Automatic theorem prover for SMT problems
cvc3-el (2.4.1-5.1)
Emacs mode for CVC3
dc (1.06.95-9+b3)
GNU dc - beliebig genauer Rechner mit Umgekehrter Polnischer Notation
dicelab (0.7-4)
evaluate the statistical distribution of dice rolls
dolfin-bin (2016.2.0-2)
Ausführbare Skripte für DOLFIN
dynare (4.4.3-3+b4)
platform for handling a wide class of economic models
dynare-matlab (4.4.3-3) [contrib]
MATLAB support for Dynare
eclib-tools (20160720-2)
Programs for modular symbols and elliptic curves over Q
eukleides (1.5.4-4+b2)
Sprache zum Zeichnen euklidischer Geometrie
euler (1.61.0-11+b1)
Interaktive mathematische Programmierumgebung
evolver (2.70+ds-2)
Surface Evolver
evolver
virtuelles Paket, bereitgestellt durch evolver-ogl, evolver-nox
evolver-nox (2.70+ds-2+b1)
Surface Evolver - with no X support
evolver-ogl (2.70+ds-2+b1)
Surface Evolver - with OpenGL display
fenics (1:2016.2.0.1)
Automatisches Lösen von Differentialgleichungen
fflas-ffpack (2.2.2-4)
Finite field linear algebra subroutines/package
fflas-ffpack-common (2.2.2-4)
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-1+b1)
Program using quadratic sieve to factor integers
fplll-tools (5.0.3-1)
Werkzeuge zur Berechnung von LLL-Reduktionen euklidischer Gitter
freefem (3.5.8-5.1+b2)
PDE-orientierte Sprache unter Verwendung der Finite-Elemente-Methode
freefem++ (3.47+dfsg1-1+b2)
Provides the binaries of the FreeFem++ FE suite
freefem-examples (3.5.8-5.1)
Beispiel-Dateien für FreeFEM
freefem3d (1.0pre10-3.4)
Sprache und Löser für dreidimensionale partielle Differentialgleichungen
freemat (4.2+dfsg1-4)
Mathematik-Framework (größtenteils zu MATLAB kompatibel)
freemat-data (4.2+dfsg1-4)
freemat data files
freemat-help (4.2+dfsg1-4)
freemat help files
frobby (0.9.0-2+b1)
Computations with monomial ideals
galculator (2.1.4-1+b1)
Wissenschaftlicher Taschenrechner
gap (4r8p6-2)
Computeralgebra-System für Gruppen, Algorithmen und Programmierung (GAP)
gap-alnuth (3.0.0-5)
GAP Alnuth - Algebraic number theory and an interface to PARI/GP
gap-atlasrep (1.5.1-1)
GAP AtlasRep - A GAP Interface to the Atlas of Group Representations
gap-autpgrp (1.5-2)
GAP AutPGrp - Computing the Automorphism Group of a p-Group
gap-character-tables (1r2p2.dfsg.0-3)
GAP Library of character tables
gap-core (4r8p6-2)
GAP Computer-Algebra-System, Kernkomponenten
gap-float (0.7.4+ds-3)
multi-precision floating-point computation for GAP
gap-gapdoc (1.5.1-3)
GAPDoc - A Meta Package for GAP Documentation
gap-grape (4r7+ds-3)
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.13+ds-2)
coding theory library for GAP
gap-guava-bin (3.13+ds-2)
coding theory library for GAP (arch-dep files)
gap-io (4.4.6+ds-2)
low level C library IO bindings for GAP
gap-laguna (3.7.0+ds-1)
LAGUNA GAP package
gap-libs (4r8p6-2)
GAP Computer-Algebra-System, grundlegende GAP-Bibliotheken
gap-online-help (4r8p6-2)
Computeralgebra-System GAP, Onlinehilfe
gap-openmath (11.3.1+ds-2)
OpenMath phrasebook for GAP
gap-polycyclic (2.11-3)
GAP Polycyclic - Computation with polycyclic groups
gap-prim-groups (4r8p5-1)
Database of primitive groups for GAP
gap-radiroot (2.7-2)
GAP RadiRoot - Roots of a Polynomial as Radicals
gap-scscp (2.1.4+ds-3)
SCSCP protocol in GAP
gap-small-groups (4r8p5-1)
Database of small groups for GAP
gap-small-groups-extra (4r8p5-1)
Große Datenbank kleiner Gruppen für GAP
gap-table-of-marks (1r2p5-2)
GAP TomLib - The GAP Library of Tables of Marks
gap-trans-groups (4r8p5-1)
Datenbank von transitiven Gruppen für GAP
gbase (0.5-2.2+b2)
Kleiner Zahlsystem-Wandler
geg (2.0.8-1+b1)
GTK+ Equation Grapher
geneagrapher (1.0c2+git20120704-2)
Create tree from Mathematics Genealogy Project
geomview (1.9.5-1+b2)
Interaktiver Geometriebetrachter
geophar (16.08.4~dfsg1-1)
Swiss army knife for the math teacher
getdp (2.9.2+dfsg1-1+b4)
general environment for the treatment of discrete problems
getdp-sparskit (2.9.2+dfsg1-1+b4)
general environment for the treatment of discrete problems
gfan (0.5+dfsg-6)
program for computing with Groebner fans
gfm (1.07-2)
Texas Instruments hand-helds file manipulation program for X
ggobi (2.1.11-2)
Datenvisualisierungssystem für hochdimensionale Daten
ginac-tools (1.7.2-2)
Das symbolische Rahmenwerk GiNaC (Werkzeuge)
glpk-utils (4.61-1)
linear programming kit - utility files
gmp-ecm (7.0.4+ds-1)
Factor integers using the Elliptic Curve Method
gmsh (2.15.0+dfsg1-3)
Generator für dreidimensionale Finite-Elemente-Netze
gnome-calculator (3.22.3-1)
Taschenrechner für die GNOME-Arbeitsfläche
gnumeric (1.12.32-1+b1)
GNOME-Tabellenkalkulation - Hauptprogramm
gnumeric-common (1.12.32-1)
GNOME-Tabellenkalkulation - gemeinsame Dateien
gnumeric-plugins-extra (1.12.32-1+b1)
GNOME-Tabellenkalkulation - zusätzliche Erweiterungen
gnuplot (5.0.5+dfsg1-6+deb9u1)
Kommandozeilengesteuertes, interaktives Plot-Programm - Version 5
gnuplot-mode (1:0.7.0-1)
Gnuplot mode for Emacs
gnuplot-nox (5.0.5+dfsg1-6+deb9u1)
Kommandozeilengesteuertes, interaktives Plot-Programm - Paket ohne X
gnuplot-nox
virtuelles Paket, bereitgestellt durch gnuplot-qt, gnuplot-x11
gnuplot-qt (5.0.5+dfsg1-6+deb9u1)
Kommandozeilengesteuertes, interaktives Plot-Programm - QT-Paket
gnuplot-x11 (5.0.5+dfsg1-6+deb9u1)
Kommandozeilengesteuertes, interaktives Plot-Programm - X-Paket
grace (1:5.1.25-3)
Werkzeug für graphische XY-Darstellungen und Auswertungen
graphmonkey (1.7-4)
Taschenrechner auf Basis von GTK#, zeichnet Kurven
gretl (2016d-1)
GNU Regression, Econometric & Time-Series Library
gretl-common (2016d-1)
GNU Regression, Econometric & Time-Series Library -- scripts package
gretl-data (2016d-1)
GNU Regression, Econometric & Time-Series Library -- data package
grpn (1.1.2-3.2+b1)
GTK+-RPN-Rechner
gsl-bin (2.3+dfsg-1)
GNU Scientific Library (GSL) -- binary package
hol-light (20170109-1)
HOL Light theorem prover
hol88 (2.02.19940316-33)
Logik höherer Ordnung - Systemabbild
hol88-contrib-help (2.02.19940316-33)
Logik höherer Ordnung - Benutzererstellte Online-Hilfsdateien
hol88-contrib-source (2.02.19940316-33)
Logik höherer Ordnung - von Anwendern beigetragener Quelltext
hol88-help (2.02.19940316-33)
Logik höherer Ordnung - Online-Hilfsdateien
hol88-library (2.02.19940316-33)
Logik höherer Ordnung - binäre Bibliotheksmodule
hol88-library-help (2.02.19940316-33)
Logik höherer Ordnung - Online-Hilfsdateien für die Bibliotheken
hol88-library-source (2.02.19940316-33)
Logik höherer Ordnung, Bibliotheks-Quelldateien
hol88-source (2.02.19940316-33)
Logik höherer Ordnung - Quellcode-Dateien
hyantesite (1.3.0-1.1)
geomatic tool to compute neighbourhood population potential
jacal (1b9-7)
Interactive symbolic math system
jags (4.2.0-2)
Just Another Gibbs Sampler for Bayesian MCMC - binary
jfractionlab (0.91-3)
Educative program to practice fractions
jgraph (83-23+b1)
Jim Planks Programm zur Erzeugung von PostScript-Graphen
jsurf-alggeo (0.3.0+ds-1)
Java based visualization library for real algebraic geometry
kalgebra (4:16.08.3-1)
Algebraischer grafikfähiger Taschenrechner
kalgebra-common (4:16.08.3-1)
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:16.08.3-1)
algebraic graphing calculator for small touch based interfaces
kali (3.1-17)
Zeichnet Kacheln, Frostmuster etc.
kbruch (4:16.08.3-1)
KDE-Lernhilfe für die Bruchrechnung
kcalc (4:16.08.3-1)
Einfacher wissenschaftlicher Taschenrechner
kig (4:16.08.3-1)
interactive geometry tool
kmplot (4:16.08.3-1)
Mathematischer Funktionsplotter für KDE
labplot (2.3.0-2+b1)
interactive graphing and analysis of scientific data
labplot-data (2.3.0-2)
data files for labplot
ladr4-apps (0.0.200911a-2.1+b2)
the LADR deduction library, miscellaneous applications
lcalc (1.23+dfsg-6+b1)
Programm zum Rechnen mit L-Funktionen
libaac-tactics-coq (8.6.1-1)
Coq tactics for reasoning modulo AC (theories)
libadmesh1 (0.98.2-3+deb9u1 [amd64, arm64, armel, armhf, i386], 0.98.2-3+b1 [mips, mips64el, mipsel, ppc64el, s390x]) [security]
Tool for processing triangulated solid meshes. Shared library
libcantor-pythonbackend (4:16.08.3-1)
Base Python backend for Cantor
libcdd-test (094h-1)
Übergangspaket
libcdd-tools (094h-1+b1)
Programs using libcdd
libec2 (20160720-2)
Library for modular symbols and elliptic curves over Q
libflint-2.5.2 (2.5.2-15)
C-Bibliothek für Zahlentheorie, Laufzeitbibliothek
libfrobby0 (0.9.0-2+b1)
Computations with monomial ideals (shared library)
libgf2x1 (1.1-2)
Routines for fast arithmetic in GF(2)[x]
libglpk40 (4.61-1)
linear programming kit with integer (MIP) support
libgts-bin (0.7.6+darcs121130-4)
Bibliothek zur Berechnung von 3D-Oberflächennetzen - binäre Dienstprogramme
liblfunction0 (1.23+dfsg-6+b1)
Bibliothek zum Rechnen mit L-Funktionen
liblrsgmp0 (0.51-2+b1)
Paket für das Zählen von Ecken und Extremalstrahlen (Laufzeitibliotheken)
libquadrule1 (0~20121001-2)
Quadrature rules and numerical integration routines
libreoffice-nlpsolver (0.9+LibO5.2.7-1+deb9u11)
»Löser für nichtlineare Programmierung« für LibreOffice
librw0 (0.8+ds-1)
Compute rank-width and rank-decompositions of graphs
libsbml5-octave (5.13.0+dfsg-1)
System Biology Markup Language library - Octave bindings
libssreflect-coq (1.6.1-2)
small scale reflection library for Coq (theories)
lie (2.2.2+dfsg-2+b2)
Computeralgebrapaket für Lie-Gruppenberechnungen
lp-solve (5.5.0.15-4+b1)
Lösung (gemischt-ganzzahliger) linearer Optimierungsprobleme
lrcalc (1.2-2+b1)
Programme zur Berechnung von Littlewood-Richardson-Koeffizienten
lrslib (0.51-2+b1)
Paket für das Zählen von Ecken und Extremalstrahlen eines konvexen Polyeders
lybniz (1.3.2-2.1)
Mathematischer Funktionsgraphen-Plotter
mandelbulber (1:1.21.1-1.1+b4)
3D fractal renderer and animator
mandelbulber2 (2.08.3-1)
3D fractal renderer and animator
mandelbulber2-data (2.08.3-1)
3D fractal renderer and animator - data files
maria (1.3.5-4.1)
Erreichbarkeitsanalyse für Netze algebraischer Systeme
mathicgb (1.0~git20170104-1)
Compute Groebner bases (command line tool)
mathomatic (15.8.2-2+b2)
Portables Computeralgebrasystem (CAS)
mathomatic-primes (15.8.2-2+b2)
Mathomatics Primzahl-Werkzeuge
mathpiper (0.81f+svn4469+dfsg3-3)
Java-Computeralgebrasystem
matita (0.99.3-1+b1)
Interaktiver Beweiser von Lehrsätzen
matlab2tikz (1.1.0-1)
converter of Octave plots to TikZ figures (for integration into LaTeX)
maxima (5.38.1-8+b1)
Computer-Algebra-System -- grundlegendes System
maxima-emacs (5.38.1-8)
Computeralgebrasystem -- Emacs-Schnittstelle
maxima-sage (5.35.1-2)
Computer algebra system -- base system
maxima-sage-share (5.35.1-2)
Computer algebra system -- extra code
maxima-share (5.38.1-8)
Computeralgebrasystem -- zusätzlicher Code
maxima-src (5.38.1-8)
Computeralgebrasystem -- Quelltext
maxima-test (5.38.1-8)
Computeralgebrasystem -- Testprogramme
mcl (1:14-137-1+b1)
Markov-Cluster-Algorithmus
metis (5.1.0.dfsg-5+b2)
Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
metis-edf (4.1-2-3) [non-free]
Family of Multilevel Partitioning Algorithms
ministat (20150715-1+b1)
simple tool for statistical comparison of data sets
minlog (4.0.99.20100221-6)
Proof assistant based on first order natural deduction calculus
mlucas (14.1-2)
program to perform Lucas-Lehmer test on a Mersenne number
model-builder (0.4.1-6.2)
Grafischer Simulator für gewöhnliche Differentialgleichungen
mumps-test (4.10.0.dfsg-4+b2)
Beispiel-/Testprogramme mit MUMPS
nauty (2.6r7+ds-1)
library for graph automorphisms -- interface and tools
normaliz (3.1.1+ds-1)
math computing tools for affine monoids, rational polytopes and cones
normaliz-bin (3.1.1+ds-1)
math computing tools for affine monoids, rational polytopes and cones - bin
num-utils (0.5-12)
Programme für den Umgang mit Zahlen auf der Kommandozeile
octave (4.0.3-3)
GNU Octave - Sprache für numerische Berechnungen
octave-bim (1.1.5-2)
PDE solver using a finite element/volume approach in Octave
octave-common (4.0.3-3)
architecture-independent files for octave
octave-communications (1.2.1-2+b2 [i386], 1.2.1-2+b1 [amd64, arm64, armel, armhf, mips, mips64el, mipsel, ppc64el, s390x])
communications package for Octave
octave-communications-common (1.2.1-2)
communications package for Octave (arch-indep files)
octave-control (3.0.0-2+b1 [i386], 3.0.0-2 [amd64, arm64, armel, armhf, mips, mips64el, mipsel, ppc64el, s390x])
computer-aided control system design (CACSD) for Octave
octave-data-smoothing (1.3.0-4)
functions to do data smoothing on noisy data
octave-dataframe (1.1.0-1)
manipulate data in Octave similar to R data.frame
octave-econometrics (1:1.1.1-2+b5 [i386], 1:1.1.1-2+b3 [amd64, armel, armhf, mips, mipsel, s390x], 1:1.1.1-2+b2 [arm64, ppc64el], 1:1.1.1-2 [mips64el])
econometrics functions for Octave
octave-financial (0.5.0-1)
financial package for Octave
octave-fpl (1.3.5-1)
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-ga (0.10.0-2)
genetic optimization code for Octave
octave-general (2.0.0-1+b3 [i386], 2.0.0-1+b2 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 2.0.0-1 [mips64el])
provide extra general functions for Octave
octave-geometry (2.1.1-1)
geometric computing functions for Octave
octave-gsl (2.0.0-1)
GSL-Anbindungen für Octave
octave-image (2.6.1-1)
Bildbearbeitung für Octave
octave-interval (2.1.0-2)
real-valued interval arithmetic for Octave
octave-io (2.4.5-1)
input/output data functions for Octave
octave-linear-algebra (2.2.2-2+b1 [i386], 2.2.2-2 [amd64, arm64, armel, armhf, mips, mips64el, mipsel, ppc64el, s390x])
Zusätzliche Funktionen für Lineare Algebra für Octave
octave-ltfat (2.2.0+dfsg-3)
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.2.0+dfsg-3)
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.2.1-1+b1)
geographical mapping functions for Octave
octave-miscellaneous (1.2.1-2+b4 [i386], 1.2.1-2+b3 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 1.2.1-2 [mips64el])
miscellaneous tools for Octave
octave-missing-functions (1.0.2-5)
finds functions that are in Matlab but not in Octave
octave-mpi (1.2.0-2+b4 [i386], 1.2.0-2+b3 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 1.2.0-2+b2 [mips64el])
Octave toolbox for parallel computing using MPI
octave-msh (1.0.10-2)
create and manage meshes for FE or FV solvers in Octave
octave-nan (3.1.1-1)
handles data with and without missing values in Octave
octave-netcdf (1.0.11-1+b1)
Matlab compatible NetCDF interface for Octave
octave-nlopt (2.4.2+dfsg-2+b2)
nonlinear optimization library -- GNU Octave package
octave-nurbs (1.3.10-2)
non-uniform rational B-splines for Octave
octave-ocs (0.1.5-2+deb9u1)
circuit simulator for Octave
octave-octclip (1.0.8-1)
boolean operations with polygons in Octave
octave-odepkg (0.8.5-1+b3 [i386], 0.8.5-1+b2 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 0.8.5-1 [mips64el])
solve differential equations and initial value problems in Octave
octave-optim (1.5.2-1)
unconstrained non-linear optimization toolkit for Octave
octave-optiminterp (0.3.4-2+b3 [i386], 0.3.4-2+b2 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 0.3.4-2 [mips64el])
optimal interpolation package for Octave
octave-parallel (3.1.1-1)
parallel execution of Octave in clusters of computers
octave-pfstools (2.0.5-2+b2)
Werkzeuge zum Lesen und Schreiben von PFS-Dateien (Octave-Anbindung)
octave-quaternion (2.4.0-1+b1 [i386], 2.4.0-1 [amd64, arm64, armel, armhf, mips, mips64el, mipsel, ppc64el, s390x])
quaternion package for Octave
octave-secs1d (0.0.9-3)
semi conductor simulator in 1D for Octave
octave-secs2d (0.0.8-6+b3 [i386], 0.0.8-6+b2 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 0.0.8-6 [mips64el])
semi conductor simulator in 2D for Octave
octave-signal (1.3.2-1+b2 [i386], 1.3.2-1+b1 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 1.3.2-1 [mips64el])
signal processing functions for Octave
octave-sockets (1.2.0-1+b3 [i386], 1.2.0-1+b2 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 1.2.0-1 [mips64el])
communication through Internet sockets in Octave
octave-specfun (1.1.0-2)
special mathematical functions for Octave
octave-splines (1.3.2-1)
cubic spline functions for Octave
octave-statistics (1.3.0-1)
additional statistical functions for Octave
octave-stk (2.3.4-1)
(not so) Small Toolbox for Kriging
octave-strings (1.2.0-1+b2 [i386], 1.2.0-1+b1 [amd64, arm64, armel, armhf, mips, mipsel, ppc64el, s390x], 1.2.0-1 [mips64el])
additional string manipulation functions for Octave
octave-struct (1.0.14-1)
additional structure manipulation functions for Octave
octave-symbolic (2.4.0-2)
symbolic package for Octave
octave-tsa (4.4.5-1)
time series analysis in Octave
octave-vrml (1.0.13-2)
VRML functions for Octave
octave-zenity (0.5.7-6)
simple graphical user interfaces using zenity in Octave
orpie (1.5.2-1)
RPN-Taschenrechner fürs Terminal
palp (2.1-3+b1)
Paket zum Analysieren von Gitterpolytopen
pari-elldata (0.20161017-1)
PARI/GP Computer Algebra System elliptic curves (elldata)
pari-galdata (0.20080411-2)
PARI/GP Computer Algebra System Galois resolvents (galdata)
pari-galpol (3.0-1)
PARI/GP Computer Algebra System Galois polynomial database
pari-gp (2.9.1-1)
PARI/GP Computeralgebrasystem
pari-gp2c (0.0.10-1)
PARI/GP-Übersetzung von GP-Skripten nach C
pari-seadata (0.20090618-1)
PARI/GP Computer Algebra System modular polynomials (seadata)
parmetis-test (4.0.3-4+b4) [non-free]
Parallel Graph Partitioning and Sparse Matrix Ordering Tests
pdl (1:2.017-1)
perl data language: Perl extensions for numerics
pgplot5 (5.2.2-19.3) [non-free]
large subroutine library for plotting scientific data
pi (1.3.4-2+b1)
Berechnung von Pi mit beliebiger Genauigkeit
planarity (3.0.0.5-1+b1)
Program for planarity-related graph algorithms
plotdrop (0.5.4-1)
minimal GNOME frontend to GNUPlot
plotutils (2.6-7)
GNU plotutils - Befehlszeilenprogramme auf Basis von libplot
plplot-tcl (5.10.0+dfsg2-0.4+b2)
Tcl/Tk support for PLplot, a plotting library
plplot-tcl-bin (5.10.0+dfsg2-0.4+b2)
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.10.0+dfsg2-0.4+b2)
Tcl/Tk-Entwicklungsunterstützung für PLplot, eine Plot-Bibliothek
polylib-utils (5.22.5-3+dfsg+b1)
Verschiedene Werkzeuge, die libpolylib nutzen
polymake (3.0r2-2+b1)
Tool for algorithmic discrete geometry
primesieve (5.7.2+ds-2)
fast prime number generator C/C++ library
primesieve-bin (5.7.2+ds-2)
fast prime number generator C/C++ library -- bin
prover9 (0.0.200911a-2.1+b2)
theorem prover and countermodel generator
prover9-mace4 (0.5.dfsg-3)
GUI for Prover9 and Mace4
psignifit (2.5.6-3.1)
Anpassung und Test von Hypothesen über psychometrische Funktionen
pspp (0.10.2-1+b1)
Statistical analysis tool
ptscotch (5.1.12b.dfsg-2.1)
MPI programs and libraries for graph, mesh and hypergraph partitioning
pyecm (2.0.2-2)
integer factorization with the Elliptic Curve Method (ECM)
pyomo (4.3.11388+git20160622.d3e3f0a-1)
PYthon Optimization Modeling Objects
pyxplot (0.9.2-6+b4)
Daten-Visualisierungsprogramm mit veröffentlichungsreifer Ausgabe
qalc (0.9.7-9.2)
Powerful and easy to use command line calculator
qalculate-gtk (0.9.7-6+b1 [amd64, arm64, armel, armhf, i386, mips, mipsel, ppc64el, s390x], 0.9.7-6 [mips64el])
Mächtiger und einfach zu benutzender Taschenrechner für die Arbeitsfläche - GTK+-Variante
qhull-bin (2015.2-2)
Berechnung konvexer Hüllen und verwandter Strukturen (Kommandos)
qsopt-ex (2.5.10.3-1+b1)
Exact linear programming solver
qtiplot (0.9.8.9-15+b2 [amd64, arm64, armel, armhf, i386, mips, mipsel, ppc64el, s390x], 0.9.8.9-15+b1 [mips64el])
Datenanalyse und wissenschaftliche Plots
quickplot (1.0.1~rc-1+b2)
schneller, interaktiver 2D-Plotter und Datenbetrachter
r-bioc-hilbertvis (1.32.0-1)
GNU-R-Paket zur Visualisierung langer Datenvektoren
regina-normal (5.1-1)
mathematical software for low-dimensional topology
regina-normal-mpi (5.1-1)
MPI utilities for Regina, the topology software
relational (2.5-1)
Educational tool for relational algebra (graphical user interface)
relational-cli (2.5-1)
Educational tool for relational algebra (command line interface)
rheolef (6.7-1+b4)
Effiziente Finite-Elemente-Umgebung
rkward (0.6.5-1+b1)
KDE-Frontend für die Statistiksprache R
rkward-data (0.6.5-1)
KDE frontend to the R statistics language
rlplot (1.5-3)
GUI application for generating publication quality graphs
rocs (4:16.08.1-1+b1)
Integrierte Entwicklungsumgebung (IDE) für Graphentheorie
rubiks (20070912-2+b1)
Small collection of Rubik's cube solvers
sagemath (7.4-9)
Open Source Mathematical Software
sagemath-common (7.4-9)
Open Source Mathematical Software - architecture-independent files
sagemath-database-conway-polynomials (0.4.p0+dfsg-2)
Database of Conway polynomials
sagemath-database-elliptic-curves (0.8-1)
Datenbanken für elliptische Kurven
sagemath-database-graphs (20161026+dfsg-1)
Datenbank von Graphen
sagemath-database-mutually-combinatorial-designs (20140630-2)
Databases of combinatorial designs
sagemath-database-polytopes (20120220+dfsg-2)
Polytopendatenbank
sagemath-doc-ca (7.4-9)
Open Source Mathematical Software - documentation (Catalan; Valencian)
sagemath-doc-de (7.4-9)
Open Source Mathematical Software - documentation (German)
sagemath-doc-en (7.4-9)
Open Source Mathematical Software - documentation (English)
sagemath-doc-es (7.4-9)
Open Source Mathematical Software - documentation (Spanish; Castilian)
sagemath-doc-fr (7.4-9)
Open Source Mathematical Software - documentation (French)
sagemath-doc-hu (7.4-9)
Open Source Mathematical Software - documentation (Hungarian)
sagemath-doc-it (7.4-9)
Open Source Mathematical Software - documentation (Italian)
sagemath-doc-ja (7.4-9)
Open Source Mathematical Software - documentation (Japanese)
sagemath-doc-pt (7.4-9)
Open Source Mathematical Software - documentation (Portuguese)
sagemath-doc-ru (7.4-9)
Open Source Mathematical Software - documentation (Russian)
sagemath-doc-tr (7.4-9)
Open Source Mathematical Software - documentation (Turkish)
sagemath-jupyter (7.4-9)
Open Source Mathematical Software - Jupyter kernel
sc (7.16-4+b2)
Textbasierte Tabellenkalkulation mit Vi-ähnlichen Tastenkürzeln
scalapack-mpi-test (1.8.0-13)
Scalable Linear Algebra Package - Test files for MPICH
scalapack-pvm-test (1.8.0-13)
Skalierbares Paket für Lineare Algebra - Testdateien für PVM
scilab (5.5.2-4+deb9u1) [security]
Wissenschaftliches Softwarepaket für numerische Berechnungen
scilab-ann (0.4.2.4-1)
Scilab module for artificial neural networks
scilab-celestlab (3.0.0-1-2)
Library of space flight dynamics functions based on Scilab.
scilab-cli (5.5.2-4+deb9u1) [security]
Wissenschaftliches Softwarepaket für numerische Berechnungen - Befehlszeileninterpreter
scilab-data (5.5.2-4+deb9u1) [security]
Wissenschaftliches Softwarepaket für numerische Berechnungen (Datendateien)
scilab-full-bin (5.5.2-4+deb9u1 [amd64, arm64, armel, armhf, i386], 5.5.2-4+b1 [mips, mipsel, ppc64el, s390x]) [security]
Scientific software package for numerical computations (all binary files)
scilab-include (5.5.2-4+deb9u1 [amd64, arm64, armel, armhf, i386], 5.5.2-4+b1 [mips, mipsel, ppc64el, s390x]) [security]
Scientific software package for numerical computations (include files)
scilab-minimal-bin (5.5.2-4+deb9u1 [amd64, arm64, armel, armhf, i386], 5.5.2-4+b1 [mips, mipsel, ppc64el, s390x]) [security]
Wissenschaftliches Softwarepaket für numerische Berechnungen - Basispaket
scilab-plotlib (0.42-1)
»Matlab-ähnliche« Plottingbibliothek für Scilab
scilab-test (5.5.2-4+deb9u1) [security]
Scientific software package for numerical computations (test files)
scotch (5.1.12b.dfsg-2.1)
Programme und Bibliotheken für Graph-, Intervall- und Hypergraphpartitionierung
sdpa (7.3.9+dfsg-1+b3 [amd64, armel, armhf, i386, mips, mipsel, s390x], 7.3.9+dfsg-1+b2 [arm64, ppc64el], 7.3.9+dfsg-1 [mips64el])
High-performance package for SemiDefinite Programs
sdpam (7.3.9+dfsg-1+b3 [amd64, armel, armhf, i386, mips, mipsel, s390x], 7.3.9+dfsg-1+b2 [arm64, ppc64el], 7.3.9+dfsg-1 [mips64el])
Matlab/Octave interface of SDPA
sgb (1:20090810-1) [non-free]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.0.3-p3+ds-5)
Computer Algebra System for Polynomial Computations
singular-data (1:4.0.3-p3+ds-5)
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.0.3-p3+ds-5)
Computer Algebra System for Polynomial Computations -- console user interface
singular-ui-emacs (1:4.0.3-p3+ds-5)
Computer Algebra System for Polynomial Computations -- emacs user interface
singular-ui-xterm (1:4.0.3-p3+ds-5)
Computer Algebra System for Polynomial Computations -- xterm user interface
snappea (3.0d3-24)
Programm zur Erzeugung und Untersuchung hyperbolischer 3-Mannigfaltigkeiten
socnetv (2.1-1.1)
Social Network Analysis and Visualisation application
sollya (6.0+ds-1)
library for safe floating-point code development -- tool
speedcrunch (0.12.0-1)
Sehr genauer Taschenrechner
spigot (0.2017-01-15.gdad1bbc6-1)
Exact real calculator
spline (1.2-2)
Akima spline interpolation
stda (1.3.1-2)
simple tools for data analysis (stda)
surf-alggeo (1.0.6+ds-4)
visualization of real algebraic geometry
surf-alggeo-nox (1.0.6+ds-4)
visualization of real algebraic geometry -- no X support
sympow (1.023-8)
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
sympow-data (1.023-8)
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6+dsx-8)
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
tachyon-bin-nox (0.99~b6+dsx-8)
Parallel/Multiprocessor Standalone Ray Tracer - with no X support
tachyon-bin-ogl (0.99~b6+dsx-8)
Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
tapecalc (20070214-2+b2)
Ein Vollbildschirm-Editor, mit dem der Benutzer eine Berechnung verändern kann
testu01-bin (1.2.3+ds-2) [non-free]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3+ds-2) [non-free]
testing suite for uniform random number generators -- data
tetgen (1.5.0-4+b2)
Quality Tetrahedral Mesh Generator
tiemu (3.03-nogdb+dfsg-3+b1)
Texas Instruments calculators emulator (without GDB)
tiemu-skinedit (1.27-2+b2)
Skin-Editor für TiEmu
tilem (2.0-2+b1)
GTK+ TI Z80 calculator emulator
tilem-data (2.0-2)
GTK+ TI Z80 calculator emulator (data files)
tilp2 (1.17-2)
Texas Instruments hand-helds <-> PC communication program for X
wcalc (2.5-2+b2)
Flexible command-line scientific calculator
why3 (0.87.3-2+b1)
Software verification platform
why3-coq (0.87.3-2+b1)
Coq support for the why3 verification platform
why3-doc-html (0.87.3-2)
HTML Documentation of the why3 verification platform
why3-doc-pdf (0.87.3-2)
PDF Documentation of the why3 verification platform
why3-examples (0.87.3-2)
Examples for the why3 verification platform
wxmaxima (16.04.2-1)
Grafische Oberfläche für das Computer-Algebrasystem Maxima
wzip (1.1.4+b1)
Verlustbehaftete Kompression und Entrauschung
xmaxima (5.38.1-8+b1)
Computeralgebrasystem -- X-Oberfläche
yacas (1.3.6-2+b1)
Computer Algebra System