Software Packages in "buster", Subsection math

4ti2 (1.6.9 ds-1)
mathematical tool suite for problems on linear spaces -- tools
acl2 (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: main binary
acl2-books (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: library sources
acl2-emacs (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: infix source
acl2-source (8.0dfsg-1)
Computational Logic for Applicative Common Lisp: source files
admesh (0.98.3-3)
Tool for processing triangulated solid meshes. Binary
alt-ergo (2.0.0-3)
Automatic theorem prover dedicated to program verification
ann-tools (1.1.2 doc-7)
Approximate Nearest Neighbor Searching library (tools)
apcalc (2.12.7.2-2)
Arbitrary precision calculator (original name: calc)
apcalc-common (2.12.7.2-2)
Arbitrary precision calculator (common files)
apophenia-bin (1.0 ds-7 b13)
Apophenia Statistical C Library -- binary package
aribas (1.64-6)
interpreter for arithmetic
auto-07p (0.9.1 dfsg-7)
software for continuation and bifurcation problems in ODE
autoclass (3.3.6.dfsg.1-1 b2)
automatic classification or clustering
axiom (20170501-4)
General purpose computer algebra system: main binary and modules
axiom-databases (20170501-4)
General purpose computer algebra system: generated text databases
axiom-graphics (20170501-4)
General purpose computer algebra system: graphics subsystem
axiom-graphics-data (20170501-4)
General purpose computer algebra system: graphics subsystem
axiom-hypertex (20170501-4)
General purpose computer algebra system: hypertex subsystem
axiom-hypertex-data (20170501-4)
General purpose computer algebra system: hypertex subsystem
axiom-source (20170501-4)
General purpose computer algebra system: source files
axiom-test (20170501-4)
General purpose computer algebra system: regression test inputs
axiom-tex (20170501-4)
General purpose computer algebra system: style file for TeX
bc (1.07.1-2 b1)
GNU bc arbitrary precision calculator language
bindechexascii (0.0 20140524.git7dcd86-4)
simple ASCII,binary,decimal and hex converter
bliss (0.73-2)
tool to compute graph automorphisms and labelings -- bin
braillegraph (0.3-1)
simple histogram tool producing text dot-matrix graphs
bytes-circle (2.6-1)
Show byte statistics as an ASCII circle graph
c-graph (2.0.1-3.1)
interactive visualization tool for the convolution theorem
cadabra (1.46-5)
field-theory motivated computer algebra system
calligrasheets (1:3.1.0 dfsg-5)
spreadsheet for the Calligra Suite
calligrasheets-data (1:3.1.0 dfsg-5)
data files for Sheets spreadsheet
cantor (4:18.12.0-2)
interface for mathematical applications
cantor-backend-kalgebra (4:18.12.0-2)
KAlgebra backend for Cantor
cantor-backend-lua (4:18.12.0-2)
Lua backend for Cantor
cantor-backend-maxima (4:18.12.0-2)
Maxima backend for Cantor
cantor-backend-octave (4:18.12.0-2)
Octave backend for Cantor
cantor-backend-python2 (4:18.12.0-2)
Python2 backend for Cantor
cantor-backend-python3 (4:18.12.0-2)
Python3 backend for Cantor
cantor-backend-qalculate (4:18.12.0-2)
Qalculate! backend for Cantor
cantor-backend-r (4:18.12.0-2)
R backend for Cantor
cantor-backend-sage (4:18.12.0-2)
Sage backend for Cantor
cantor-backend-scilab (4:18.12.0-2)
Scilab backend for Cantor
carmetal (3.5.2 dfsg-1.1)
dynamic geometry software with highly ergonomic UI
cimg-dev (2.4.5 dfsg-1 deb10u1)
powerful image processing library
cliquer (1.21-2)
clique searching program
cohomcalg (0.32 ds-2)
sheaf cohomology of line bundles on toric varieties
cohomcalg-common (0.32 ds-2)
sheaf cohomology of line bundles on toric varieties (common files)
concalc (0.9.2-2 b2)
console calculator
coq (8.9.0-1)
proof assistant for higher-order logic (toplevel and compiler)
coq-theories (8.9.0-1)
proof assistant for higher-order logic (theories)
cvc4 (1.6-2 b1)
automated theorem prover for SMT problems
dc (1.07.1-2 b1)
GNU dc arbitrary precision reverse-polish calculator
deepin-calculator (1.0.10-1)
Calculator for DDE (Deepin Desktop Environment)
dicelab (0.7-5)
evaluate the statistical distribution of dice rolls
dolfin-bin (2018.1.0.post1-16)
Executable scripts for DOLFIN
dynare (4.5.7-1)
platform for handling a wide class of economic models
dynare-matlab (4.5.7-1) [contrib]
MATLAB support for Dynare
eclib-tools (20180815-2)
Programs for modular symbols and elliptic curves over Q
eukleides (1.5.4-4.1)
Euclidean geometry drawing language
euler (1.61.0-11 b1)
interactive mathematical programming environment
evolver (2.70 ds-4)
Surface Evolver
evolver
virtual package provided by evolver-nox, evolver-ogl
evolver-nox (2.70 ds-4)
Surface Evolver - with no X support
evolver-ogl (2.70 ds-4)
Surface Evolver - with OpenGL display
fenics (1:2018.1.0.6)
Automated Solution of Differential Equations
fflas-ffpack (2.3.2-3)
Finite field linear algebra subroutines/package
fflas-ffpack-common (2.3.2-3)
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-3)
Program using quadratic sieve to factor integers
fplll-tools (5.2.1-2)
Tools to compute LLL-reduction of Euclidian lattices
freefem (3.5.8-7)
PDE oriented language using Finite Element Method
freefem (3.61.1 dfsg1-4)
Provides the binaries of the FreeFem FE suite
freefem-examples (3.5.8-7)
Example files for FreeFEM
freemat (4.2 dfsg1-6 b3)
mathematics framework (mostly matlab compatible)
freemat-data (4.2 dfsg1-6)
freemat data files
freemat-help (4.2 dfsg1-6)
freemat help files
frobby (0.9.0-5 b11)
Computations with monomial ideals
galculator (2.1.4-1 b1)
scientific calculator
gap (4r10p0-7)
computer algebra system for Groups, Algorithms and Programming
gap-alnuth (3.1.0-3)
GAP Alnuth - Algebraic number theory and an interface to PARI/GP
gap-atlasrep (1.5.1-2)
GAP AtlasRep - A GAP Interface to the Atlas of Group Representations
gap-autodoc (2018.09.20-1)
GAP AutoDoc - Generate documentation from GAP source code
gap-autpgrp (1.10-1)
GAP AutPGrp - Computing the Automorphism Group of a p-Group
gap-character-tables (1r2p2.dfsg.0-3)
GAP Library of character tables
gap-core (4r10p0-7)
GAP computer algebra system, core components
gap-design (1r6 ds-2)
block designs for GAP
gap-factint (1.6.2 ds-1)
advanced methods for factoring integers for GAP
gap-float (0.9.1 ds-4)
multi-precision floating-point computation for GAP
gap-gapdoc (1.6.2-1)
GAPDoc - A Meta Package for GAP Documentation
gap-grape (4.8.1 ds-3)
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.14 ds-1)
coding theory library for GAP
gap-guava-bin (3.14 ds-1)
coding theory library for GAP (arch-dep files)
gap-io (4.5.4 ds-3)
low level C library IO bindings for GAP
gap-laguna (3.9.1 ds-1)
LAGUNA GAP package
gap-libs (4r10p0-7)
GAP computer algebra system, essential GAP libraries
gap-online-help (4r10p0-7)
GAP computer algebra system, online help
gap-openmath (11.4.2 ds-3)
OpenMath phrasebook for GAP
gap-polycyclic (2.14-1)
GAP Polycyclic - Computation with polycyclic groups
gap-prim-groups (4r8p5-2)
Database of primitive groups for GAP
gap-primgrp (3.3.2-1)
GAP PrimGrp - GAP Primitive Permutation Groups Library
gap-radiroot (2.8-1)
GAP RadiRoot - Roots of a Polynomial as Radicals
gap-scscp (2.2.3 ds-2)
SCSCP protocol in GAP
gap-small-groups (4r8p5-2)
Database of small groups for GAP
gap-small-groups-extra (4r8p5-2)
Large database of small groups for GAP
gap-smallgrp (1.3-1)
GAP SmallGrp - The GAP Small Groups Library
gap-smallgrp-extra (1.3-1)
GAP SmallGrp - The GAP Small Groups Library
gap-sonata (2.9.1 ds-2)
Systems Of Nearrings And Their Applications for GAP
gap-table-of-marks (1.2.7-2)
GAP TomLib - The GAP Library of Tables of Marks
gap-toric (1.9.4 ds-1)
toric variety for GAP
gap-trans-groups (4r8p5-2)
Database of transitive groups for GAP
gap-transgrp (2.0.4-1)
GAP TransGrp - Transitive Groups Library
gbase (0.5-2.2 b2)
small numeric base converter
geg (2.0.9-3)
GTK Equation Grapher
geneagrapher (1.0c2 git20180919-1)
Create tree from Mathematics Genealogy Project
geomview (1.9.5-2)
interactive geometry viewing program
geophar (18.08.2 dfsg1-2)
Swiss army knife for the math teacher
getdp (3.0.4 dfsg1-1)
general environment for the treatment of discrete problems
getdp-sparskit (3.0.4 dfsg1-1)
general environment for the treatment of discrete problems
gfan (0.6.2-2)
program for computing with Groebner fans
gfm (1.08-1)
Texas Instruments hand-helds file manipulation program for X
ggobi (2.1.11-2)
Data visualization system for high-dimensional data
ginac-tools (1.7.5-1)
GiNaC symbolic framework support tools
glpk-utils (4.65-2)
linear programming kit - utility files
gmp-ecm (7.0.4 ds-5)
Factor integers using the Elliptic Curve Method
gmsh (4.1.5 really4.1.3 ds1-1)
Three-dimensional finite element mesh generator
gnome-calculator (3.30.1-2)
GNOME desktop calculator
gnumeric (1.12.44-1)
spreadsheet application for GNOME - main program
gnumeric-common (1.12.44-1)
spreadsheet application for GNOME - common files
gnumeric-plugins-extra (1.12.44-1)
spreadsheet application for GNOME - additional plugins
gnuplot (5.2.6 dfsg1-1 deb10u1)
Command-line driven interactive plotting program.
gnuplot
virtual package provided by gnuplot-x11, gnuplot-qt, gnuplot-nox
gnuplot-mode (1:0.7.0-2014-12-31-1)
Transition Package, gnuplot-mode to elpa-gnuplot-mode
gnuplot-mode
virtual package provided by elpa-gnuplot-mode
gnuplot-nox (5.2.6 dfsg1-1 deb10u1)
Command-line driven interactive plotting program. No-X package
gnuplot-nox
virtual package provided by gnuplot-x11, gnuplot-qt
gnuplot-qt (5.2.6 dfsg1-1 deb10u1)
Command-line driven interactive plotting program. QT-package
gnuplot-x11 (5.2.6 dfsg1-1 deb10u1)
Command-line driven interactive plotting program. X-package
gnuplot-x11
virtual package provided by gnuplot-qt
grace (1:5.1.25-6)
XY graphing and plotting tool
graphmonkey (1.7-4)
a GTK#-based graphing calculator
gretl (2019a-1)
GNU Regression, Econometric & Time-Series Library
gretl-common (2019a-1)
GNU Regression, Econometric & Time-Series Library -- scripts package
gretl-data (2019a-1)
GNU Regression, Econometric & Time-Series Library -- data package
grpn (1.4.1-1)
GTK reverse polish notation calculator
gsl-bin (2.5 dfsg-6 deb10u1) [security]
GNU Scientific Library (GSL) -- binary package
gudhi-utils (2.3.0 dfsg-2 b1)
Utilities from the GUDHI library
gudhui (2.3.0 dfsg-2 b1)
GUI for some of the functionality of the GUDHI library
hol88 (2.02.19940316-35)
Higher Order Logic, system image
hol88-contrib-help (2.02.19940316-35)
Higher Order Logic, user contributed online help files
hol88-contrib-source (2.02.19940316-35)
Higher Order Logic, user contributed source
hol88-help (2.02.19940316-35)
Higher Order Logic, online help files
hol88-library (2.02.19940316-35)
Higher Order Logic, binary library modules
hol88-library-help (2.02.19940316-35)
Higher Order Logic, library online help files
hol88-library-source (2.02.19940316-35)
Higher Order Logic, library source files
hol88-source (2.02.19940316-35)
Higher Order Logic, source files
jacal (1b9-7)
Interactive symbolic math system
jags (4.3.0-2)
Just Another Gibbs Sampler for Bayesian MCMC - binary
jfractionlab (0.92-1)
Educative program to practice fractions
jgraph (83-23 b1)
Jim Plank's program for producing PostScript graphs
jsurf-alggeo (0.4.1 ds-3)
Java based visualization library for real algebraic geometry
kalgebra (4:17.08.3-2)
algebraic graphing calculator
kalgebra-common (4:17.08.3-2)
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:17.08.3-2)
algebraic graphing calculator for small touch based interfaces
kali (3.1-18)
Draw tilings, frieze patterns, and so on
kbruch (4:17.08.3-1)
fraction learning aid for KDE
kcalc (4:18.04.1-1)
simple and scientific calculator
kig (4:17.08.3-1 b1)
interactive geometry tool
kmplot (4:17.08.3-1)
mathematical function plotter for KDE
labplot (2.5.0-2 b2)
interactive graphing and analysis of scientific data
labplot-data (2.5.0-2)
data files for labplot
ladr4-apps (0.0.200911a-2.1 b2)
the LADR deduction library, miscellaneous applications
lcalc (1.23 dfsg-11)
program for calculating with L-functions
libcantor-pythonbackend (4:18.12.0-2)
Base Python backend for Cantor
libcdd-tools (094j-2)
Programs using libcdd
libgts-bin (0.7.6 darcs121130-4)
utility binaries for libgts
liblrs0 (0.70-3)
package to enumerate vertices and extreme rays (shared libraries)
libreoffice-nlpsolver (0.9 LibO6.1.5-3 deb10u12) [security]
"Solver for Nonlinear Programming" extension for LibreOffice
libsbml5-octave (5.17.2 dfsg-3)
System Biology Markup Language library - Octave bindings
lie (2.2.2 dfsg-3)
Computer algebra package for Lie group computations
lp-solve (5.5.0.15-4 b1)
Solve (mixed integer) linear programming problems
lrcalc (1.2-2 b1)
programs for calculating Littlewood-Richardson coefficients
lrslib (0.70-3)
package to enumerate vertices and extreme rays of a convex polyhedron
mandelbulber2 (2.13.2-5)
3D fractal renderer and animator
mandelbulber2-data (2.13.2-5)
3D fractal renderer and animator - data files
maria (1.3.5-4.1 b1)
reachability analyzer for Algebraic System Nets
mate-calc (1.20.3-1)
MATE desktop calculator
mate-calc-common (1.20.3-1)
MATE desktop calculator (common files)
mathomatic (16.0.5-1)
portable Computer Algebra System (CAS)
mathomatic-primes (16.0.5-1)
prime number tools for mathomatic
mathpiper (0.81f svn4469 dfsg3-3)
Java Computer Algebra System
matlab2tikz (1.1.0-6)
converter of Octave plots to TikZ figures (for integration into LaTeX)
maxima (5.42.1-1)
Computer algebra system -- base system
maxima-emacs (5.42.1-1)
Computer algebra system -- emacs interface
maxima-sage (5.41.0 ds-4)
Computer algebra system -- base system
maxima-sage-share (5.41.0 ds-4)
Computer algebra system -- extra code
maxima-share (5.42.1-1)
Computer algebra system -- extra code
maxima-src (5.42.1-1)
Computer algebra system -- source code
maxima-test (5.42.1-1)
Computer algebra system -- test suite
mcl (1:14-137 ds-3)
Markov Cluster algorithm
mcrl2 (201409.0-1 b2)
formal specification language toolset
metis (5.1.0.dfsg-5 b2)
Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
metis-edf (4.1-2-4 b1) [non-free]
Family of Multilevel Partitioning Algorithms
ministat (20150715-1 b1)
simple tool for statistical comparison of data sets
minlog (4.0.99.20100221-6)
Proof assistant based on first order natural deduction calculus
mlucas (17.1-3)
program to perform Lucas-Lehmer test on a Mersenne number
model-builder (0.4.1-6.2)
graphical ODE simulator
mongoose (1:5.4.0 dfsg-1)
graph partitioning tool that can quickly compute edge cuts (executable)
mumps-test (5.1.2-4 b2)
Example/test binaries using MUMPS
nauty (2.6r10 ds-1)
library for graph automorphisms -- interface and tools
netgen (6.2.1804 dfsg1-3)
Automatic 3d tetrahedral mesh generator
normaliz (3.6.3 ds-1)
math computing tools for affine monoids, rational polytopes and cones
normaliz-bin (3.6.3 ds-1)
math computing tools for affine monoids, rational polytopes and cones - bin
num-utils (0.5-12)
programs for dealing with numbers from the command line
octave (4.4.1-5)
GNU Octave language for numerical computations
octave-arduino (0.3.0-2)
Octave Arduino Toolkit
octave-bim (1.1.5-6)
PDE solver using a finite element/volume approach in Octave
octave-bsltl (1.1.1-2)
biospeckle laser tool library for Octave
octave-cgi (0.1.2-2)
Common Gateway Interface for Octave
octave-common (4.4.1-5)
architecture-independent files for octave
octave-communications (1.2.1-7)
communications package for Octave
octave-communications-common (1.2.1-7)
communications package for Octave (arch-indep files)
octave-control (3.1.0-3)
computer-aided control system design (CACSD) for Octave
octave-data-smoothing (1.3.0-7)
functions to do data smoothing on noisy data
octave-dataframe (1.2.0-4)
manipulate data in Octave similar to R data.frame
octave-dicom (0.2.1-5)
manipulate DICOM files in Octave
octave-divand (1.1.2 dfsg-4)
n-dimensional interpolation for Octave
octave-doctest (0.6.1-2)
documentation tests for Octave
octave-econometrics (1:1.1.1-6)
econometrics functions for Octave
octave-financial (0.5.3-2)
financial package for Octave
octave-fits (1.0.7-3)
manipulation of FITS files in Octave
octave-fpl (1.3.5-5)
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-fuzzy-logic-toolkit (0.4.5-2)
fuzzy logic toolkit for Octave
octave-ga (0.10.0-6)
genetic optimization code for Octave
octave-general (2.1.0-2)
provide extra general functions for Octave
octave-geometry (3.0.0-9)
geometric computing functions for Octave
octave-gsl (2.1.1-2)
GSL binding for Octave
octave-image (2.10.0-2)
image manipulation for Octave
octave-image-acquisition (0.2.2-2)
image acquisition package for Octave
octave-instrument-control (0.3.1-2)
instrument control for Octave
octave-interval (3.2.0-4)
real-valued interval arithmetic for Octave
octave-io (2.4.12-2)
input/output data functions for Octave
octave-level-set (0.3.0-6)
level-set toolbox for Octave
octave-linear-algebra (2.2.2-7)
additional linear-algebra functions for Octave
octave-lssa (0.1.3-2)
least squares spectral analysis for Octave
octave-ltfat (2.3.1 dfsg-2)
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.3.1 dfsg-2)
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.2.1-4)
geographical mapping functions for Octave
octave-miscellaneous (1.2.1-5)
miscellaneous tools for Octave
octave-missing-functions (1.0.2-8)
finds functions that are in Matlab but not in Octave
octave-mpi (1.2.0-6)
Octave toolbox for parallel computing using MPI
octave-msh (1.0.10-7)
create and manage meshes for FE or FV solvers in Octave
octave-mvn (1.1.0-2)
multivariate normal distribution clustering for Octave
octave-nan (3.1.4-5)
handles data with and without missing values in Octave
octave-ncarray (1.0.4-2)
access NetCDF files as a multi-dimensional array in Octave
octave-netcdf (1.0.12-2)
Matlab compatible NetCDF interface for Octave
octave-nlopt (2.4.2 dfsg-8 b1)
nonlinear optimization library -- GNU Octave package
octave-nurbs (1.3.13-5)
non-uniform rational B-splines for Octave
octave-octclip (1.0.8-5)
boolean operations with polygons in Octave
octave-octproj (1.1.5-4)
GNU Octave bindings to PROJ.4
octave-optics (0.1.3-2)
optics functions for Octave
octave-optim (1.5.3-2)
unconstrained non-linear optimization toolkit for Octave
octave-optiminterp (0.3.5-2)
optimal interpolation package for Octave
octave-parallel (3.1.3-2)
parallel execution of Octave in clusters of computers
octave-pfstools (2.1.0-3 b5)
octave bindings for pfstools
octave-plplot (5.14.0 dfsg-3)
Octave support for PLplot, a plotting library
octave-quaternion (2.4.0-5)
quaternion package for Octave
octave-queueing (1.2.6-5)
Queueing Networks and Markov chains analysis for Octave
octave-secs1d (0.0.9-6)
semi conductor simulator in 1D for Octave
octave-secs2d (0.0.8-10)
semi conductor simulator in 2D for Octave
octave-secs3d (0.0.1-2)
Drift-Diffusion simulator for 3d semiconductor devices in Octave
octave-signal (1.4.0-3)
signal processing functions for Octave
octave-sockets (1.2.0-4)
communication through Internet sockets in Octave
octave-sparsersb (1.0.6-2)
RSB sparse matrix manipulation for Octave
octave-specfun (1.1.0-5)
special mathematical functions for Octave
octave-splines (1.3.2-6)
cubic spline functions for Octave
octave-statistics (1.4.0-5)
additional statistical functions for Octave
octave-stk (2.5.1-2)
(not so) Small Toolbox for Kriging
octave-strings (1.2.0-4)
additional string manipulation functions for Octave
octave-struct (1.0.15-2)
additional structure manipulation functions for Octave
octave-symbolic (2.7.1-2)
symbolic package for Octave
octave-tsa (4.4.5-4)
time series analysis in Octave
octave-vibes (0.2.0-3)
VIBes API to easily display results in Octave
octave-vrml (1.0.13-5)
VRML functions for Octave
octave-zenity (0.5.7-9)
simple graphical user interfaces using zenity in Octave
octave-zeromq (1.3.0-4)
ZeroMQ binding for Octave
orpie (1.5.2-2 b1)
RPN calculator for the terminal
palp (2.1-5)
Package for Analyzing Lattice Polytopes
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 (4.0-1)
PARI/GP Computer Algebra System Galois polynomial database
pari-gp (2.11.1-2)
PARI/GP Computer Algebra System binaries
pari-gp2c (0.0.11pl1-1)
PARI/GP GP to C compiler
pari-seadata (0.20090618-1)
PARI/GP Computer Algebra System modular polynomials (seadata)
parmetis-test (4.0.3-5 b1) [non-free]
Parallel Graph Partitioning and Sparse Matrix Ordering Tests
pdl (1:2.019-5 b1)
perl data language: Perl extensions for numerics
pgplot5 (5.2.2-19.3 b2) [non-free]
large subroutine library for plotting scientific data
pi (1.3.4-4)
Compute Archimedes' constant Pi to arbitrary precision
planarity (3.0.0.5-3)
Program for planarity-related graph algorithms
plotdrop (0.5.4-1)
minimal GNOME frontend to GNUPlot
plotutils (2.6-10)
GNU plotutils command line tools based on libplot
plplot-tcl (5.14.0 dfsg-3)
Tcl/Tk support for PLplot, a plotting library
plplot-tcl-bin (5.14.0 dfsg-3)
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.14.0 dfsg-3)
Tcl/Tk development support for PLplot, a plotting library
polylib-utils (5.22.5-4 dfsg)
Various tools using libpolylib
polymake (3.2r4-4)
Tool for algorithmic discrete geometry
polymake-common (3.2r4-4)
Tool for algorithmic discrete geometry -- shared files
primesieve (7.3 ds-1)
fast prime number generator C/C library
primesieve-bin (7.3 ds-1)
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-5)
Fitting and testing hypotheses about psychometric functions
pspp (1.2.0-3)
Statistical analysis tool
ptscotch (6.0.6-2)
MPI programs and libraries for graph, mesh and hypergraph partitioning
pyecm (2.0.2-4)
integer factorization with the Elliptic Curve Method (ECM)
pyxplot (0.9.2-8)
data plotting program producing publication-quality output
qalc (2.8.2-1)
Powerful and easy to use command line calculator
qalculate-gtk (2.8.2-1)
Powerful and easy to use desktop calculator - GTK version
qhull-bin (2015.2-4)
calculate convex hulls and related structures (utilities)
qsopt-ex (2.5.10.3-2)
Exact linear programming solver
qtiplot (0.9.8.9-18)
data analysis and scientific plotting
quickplot (1.0.1~rc-1 b2)
fast interactive 2D plotter and data viewer
r-bioc-hilbertvis (1.40.0-1)
GNU R package to visualise long vector data
regina-normal (5.1-6 b1)
mathematical software for low-dimensional topology
regina-normal-mpi (5.1-6 b1)
MPI utilities for Regina, the topology software
relational (2.5-2)
Educational tool for relational algebra (graphical user interface)
relational-cli (2.5-2)
Educational tool for relational algebra (command line interface)
rheolef (7.0-2 b1)
efficient Finite Element environment
ries (2018.08.05-1)
find algebraic equations, given their solution
rkward (0.7.0b-1.1)
KDE frontend to the R statistics language
rkward-data (0.7.0b-1.1)
KDE frontend to the R statistics language - data files
rlplot (1.5-4)
GUI application for generating publication quality graphs
rocs (4:17.08.3-1)
graph theory IDE
rubiks (20070912-3)
Small collection of Rubik's cube solvers
sagemath (8.6-6)
Open Source Mathematical Software
sagemath-common (8.6-6)
Open Source Mathematical Software - architecture-independent files
sagemath-database-conway-polynomials (0.5-4)
Database of Conway polynomials
sagemath-database-elliptic-curves (0.8-2)
Databases for elliptic curves
sagemath-database-graphs (20161026 dfsg-2)
Databases of graphs
sagemath-database-mutually-combinatorial-designs (20140630-3)
Databases of combinatorial designs
sagemath-database-polytopes (20170220-2)
Databases of polytopes
sagemath-doc-ca (8.6-6)
Open Source Mathematical Software - documentation (Catalan; Valencian)
sagemath-doc-de (8.6-6)
Open Source Mathematical Software - documentation (German)
sagemath-doc-en (8.6-6)
Open Source Mathematical Software - documentation (English)
sagemath-doc-es (8.6-6)
Open Source Mathematical Software - documentation (Spanish; Castilian)
sagemath-doc-fr (8.6-6)
Open Source Mathematical Software - documentation (French)
sagemath-doc-hu (8.6-6)
Open Source Mathematical Software - documentation (Hungarian)
sagemath-doc-it (8.6-6)
Open Source Mathematical Software - documentation (Italian)
sagemath-doc-ja (8.6-6)
Open Source Mathematical Software - documentation (Japanese)
sagemath-doc-pt (8.6-6)
Open Source Mathematical Software - documentation (Portuguese)
sagemath-doc-ru (8.6-6)
Open Source Mathematical Software - documentation (Russian)
sagemath-doc-tr (8.6-6)
Open Source Mathematical Software - documentation (Turkish)
sagemath-jupyter (8.6-6)
Open Source Mathematical Software - Jupyter kernel
sc (7.16-4 b3)
Szöveg-alapú táblázatkezelő VI-szerű gyorsbillentyűkkel
scalapack-mpi-test (2.0.2-7 b2)
Scalable Linear Algebra Package - Test files for MPI
scilab (6.0.1-10 deb10u1)
Scientific software package for numerical computations
scilab-cli (6.0.1-10 deb10u1)
Scientific software package - Command Line Interpreter
scilab-data (6.0.1-10 deb10u1)
Scientific software package for numerical computations (data files)
scilab-full-bin (6.0.1-10 deb10u1)
Scientific software package for numerical computations (all binary files)
scilab-include (6.0.1-10 deb10u1)
Scientific software package for numerical computations (include files)
scilab-minimal-bin (6.0.1-10 deb10u1)
Scientific software package for numerical computations (minimal binary files)
scilab-test (6.0.1-10 deb10u1)
Scientific software package for numerical computations (test files)
scotch (6.0.6-2)
programs and libraries for graph, mesh and hypergraph partitioning
sdpb (1.0-3 b4)
Semidefinite program solver
sgb (1:20090810-1) [non-free]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.1.1-p2 ds-3)
Computer Algebra System for Polynomial Computations
singular-data (1:4.1.1-p2 ds-3)
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.1.1-p2 ds-3)
Computer Algebra System for Polynomial Computations -- console user interface
singular-ui-emacs (1:4.1.1-p2 ds-3)
Computer Algebra System for Polynomial Computations -- emacs user interface
singular-ui-xterm (1:4.1.1-p2 ds-3)
Computer Algebra System for Polynomial Computations -- xterm user interface
snappea (3.0d3-24)
program for creating and studying hyperbolic 3-manifolds
socnetv (2.4-1)
Social Network Analysis and Visualisation application
sollya (7.0 ds-3)
library for safe floating-point code development -- tool
speedcrunch (0.12.0-4)
High precision calculator
spigot (0.2017-01-15.gdad1bbc6-1 b1)
Exact real calculator
spline (1.2-4)
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 (2.023.5-2)
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
sympow-data (2.023.5-2)
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6 dsx-9)
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
tachyon-bin-nox (0.99~b6 dsx-9)
Parallel/Multiprocessor Standalone Ray Tracer - with no X support
tachyon-bin-ogl (0.99~b6 dsx-9)
Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
tapecalc (20070214-2 b3)
a full-screen tape editor that lets the user edit a calculation
testu01-bin (1.2.3 ds1-1) [non-free]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3 ds1-1) [non-free]
testing suite for uniform random number generators -- data
tetgen (1.5.0-5)
Quality Tetrahedral Mesh Generator
tiemu (3.04~git20110801-nogdb dfsg1-2)
Texas Instruments calculators emulator (without GDB)
tiemu-skinedit (1.27-3)
skin editor for TiEmu
tilem (2.0-3)
GTK TI Z80 calculator emulator
tilem-data (2.0-3)
GTK TI Z80 calculator emulator (data files)
tilp2 (1.18-3)
Texas Instruments hand-helds <-> PC communication program for X
twinvoicerecalc (0.0.20170711-1)
Taiwan invoice reverse calculator
vspline-dev (0.4.1-1)
header-only C template library for uniform b-spline processing
wcalc (2.5-3)
Flexible command-line scientific calculator
why3 (1.2.0-1)
Software verification platform
why3-coq (1.2.0-1)
Coq support for the why3 verification platform
why3-doc-html (1.2.0-1)
HTML Documentation of the why3 verification platform
why3-doc-pdf (1.2.0-1)
PDF Documentation of the why3 verification platform
why3-examples (1.2.0-1)
Examples for the why3 verification platform
wxmaxima (19.01.2-1)
GUI for the computer algebra system Maxima
wzip (1.1.5)
Veszteséges tömörítés és zajszűrés
xmaxima (5.42.1-1)
Computer algebra system -- x interface
yacas (1.3.6-2 b1)
Computer Algebra System