属于 "stretch" 发行版 math 子版面的软件包

4ti2 (1.6.7+ds-2+b3)

mathematical tool suite for problems on linear spaces -- tools

acl2 (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: main binary

acl2-books (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: library sources

acl2-emacs (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: emacs interface

acl2-infix (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: infix source

acl2-source (7.2dfsg-3)

Computational Logic for Applicative Common Lisp: source files

admesh (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. Binary

alt-ergo (1.30-1)

Automatic theorem prover dedicated to program verification

ann-tools (1.1.2+doc-6)

Approximate Nearest Neighbor Searching library (tools)

apcalc (2.12.5.0-1+b3)

任意精度计算器 （原名： calc）

apcalc-common (2.12.5.0-1)

任意精度计算器 （公用文件）

apophenia-bin (1.0+ds-7)

Apophenia Statistical C Library -- binary package

aribas (1.64-6)

arithmetic 解释器

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)

automatic classification or clustering

axiom (20140801-12+b2 [amd64], 20140801-12 [arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x])

General purpose computer algebra system: main binary and modules

axiom-databases (20140801-12)

General purpose computer algebra system: generated text databases

axiom-graphics (20140801-12+b2 [amd64], 20140801-12 [arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x])

General purpose computer algebra system: graphics subsystem

axiom-graphics-data (20140801-12)

General purpose computer algebra system: graphics subsystem

axiom-hypertex (20140801-12+b2 [amd64], 20140801-12 [arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x])

General purpose computer algebra system: hypertex subsystem

axiom-hypertex-data (20140801-12)

General purpose computer algebra system: hypertex subsystem

axiom-source (20140801-12)

General purpose computer algebra system: source files

axiom-test (20140801-12)

General purpose computer algebra system: regression test inputs

axiom-tex (20140801-12)

General purpose computer algebra system: style file for TeX

bc (1.06.95-9+b3)

GNU bc 任意精度的计算语言

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)

Test data for BLACS testers

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)

field-theory motivated computer algebra system

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

spreadsheet for the Calligra Suite

cantor (4:16.08.3-1)

interface for mathematical applications

cantor-backend-kalgebra (4:16.08.3-1)

KAlgebra backend for Cantor

cantor-backend-lua (4:16.08.3-1)

Lua backend for Cantor

cantor-backend-maxima (4:16.08.3-1)

Maxima backend for Cantor

cantor-backend-octave (4:16.08.3-1)

Octave backend for 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 for Cantor

cantor-backend-sage (4:16.08.3-1)

Sage backend for Cantor

carmetal (3.5.2+dfsg-1.1)

dynamic geometry software with highly ergonomic UI

cimg-dev (1.7.9+dfsg-1+deb9u2) [security]

powerful image processing library

cliquer (1.21-1+b2)

clique searching program

concalc (0.9.2-2+b2)

console calculator

coq (8.6-4)

proof assistant for higher-order logic (toplevel and compiler)

coq-theories (8.6-4)

proof assistant for higher-order logic (theories)

coqide (8.6-4)

proof assistant for higher-order logic (gtk interface)

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 arbitrary precision reverse-polish calculator

dicelab (0.7-4)

evaluate the statistical distribution of dice rolls

dolfin-bin (2016.2.0-2)

Executable scripts for 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)

Euclidean geometry drawing language

euler (1.61.0-11+b1)

交互式数学编程环境

evolver (2.70+ds-2)

Surface Evolver

evolver

本虚包由这些包填实： 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)

Automated Solution of Differential Equations

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)

Tools to compute LLL-reduction of Euclidian lattices

freefem (3.5.8-5.1+b2)

PDE oriented language using Finite Element Method

freefem++ (3.47+dfsg1-1+b2)

Provides the binaries of the FreeFem++ FE suite

freefem-examples (3.5.8-5.1)

Example files for FreeFEM

freefem3d (1.0pre10-3.4)

Language and solver for partial differential equations in 3D

freemat (4.2+dfsg1-4)

mathematics framework (mostly matlab compatible)

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)

scientific calculator

gap (4r8p6-2)

computer algebra system for Groups, Algorithms and Programming

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, core components

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, essential GAP libraries

gap-online-help (4r8p6-2)

GAP computer algebra system, online help

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)

Large database of small groups for GAP

gap-table-of-marks (1r2p5-2)

GAP TomLib - The GAP Library of Tables of Marks

gap-trans-groups (4r8p5-1)

Database of transitive groups for GAP

gbase (0.5-2.2+b2)

small numeric base converter

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)

interactive geometry viewing program

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)

Data visualization system for high-dimensional data

ginac-tools (1.7.2-2)

GiNaC symbolic framework support tools

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)

Three-dimensional finite element mesh generator

gnome-calculator (3.22.3-1)

GNOME desktop calculator

gnumeric (1.12.32-1+b1)

为 GNOME 设计的电子表格 - 主程序

gnumeric-common (1.12.32-1)

spreadsheet application for GNOME - common files

gnumeric-plugins-extra (1.12.32-1+b1)

spreadsheet application for GNOME - additional plugins

gnuplot (5.0.5+dfsg1-6+deb9u1)

Command-line driven interactive plotting program, version 5

gnuplot-mode (1:0.7.0-1)

Gnuplot mode for Emacs

gnuplot-nox (5.0.5+dfsg1-6+deb9u1)

Command-line driven interactive plotting program. No-X package

gnuplot-nox

本虚包由这些包填实： gnuplot-x11, gnuplot-qt

gnuplot-qt (5.0.5+dfsg1-6+deb9u1)

Command-line driven interactive plotting program. QT-package

gnuplot-x11 (5.0.5+dfsg1-6+deb9u1)

Command-line driven interactive plotting program. X-package

grace (1:5.1.25-3)

XY graphing and plotting tool

graphmonkey (1.7-4)

数学图形/曲线绘制软件，基于 GTK#

gretl (2016d-1)

GNU 回归分析、计量经济学和时间序列软件

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+ 逆波兰表示法计算器

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)

Higher Order Logic, system image

hol88-contrib-help (2.02.19940316-33)

Higher Order Logic, user contributed online help files

hol88-contrib-source (2.02.19940316-33)

Higher Order Logic, user contributed source

hol88-help (2.02.19940316-33)

Higher Order Logic, online help files

hol88-library (2.02.19940316-33)

Higher Order Logic, binary library modules

hol88-library-help (2.02.19940316-33)

Higher Order Logic, library online help files

hol88-library-source (2.02.19940316-33)

Higher Order Logic, library source files

hol88-source (2.02.19940316-33)

Higher Order Logic, source files

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 Plank's program for producing PostScript graphs

jsurf-alggeo (0.3.0+ds-1)

Java based visualization library for real algebraic geometry

kalgebra (4:16.08.3-1)

algebraic graphing calculator

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)

Draw tilings, frieze patterns, and so on

kbruch (4:16.08.3-1)

fraction learning aid for KDE

kcalc (4:16.08.3-1)

simple and scientific calculator

kig (4:16.08.3-1)

interactive geometry tool

kmplot (4:16.08.3-1)

mathematical function plotter for 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)

program for calculating with L-functions

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)

transitional dummy package

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 library for number theory, shared library

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)

utility binaries for libgts

liblfunction0 (1.23+dfsg-6+b1)

library for calculating with L-functions

liblrsgmp0 (0.51-2+b1)

package to enumerate vertices and extreme rays (shared libraries)

libquadrule1 (0~20121001-2)

Quadrature rules and numerical integration routines

libreoffice-nlpsolver (0.9+LibO5.2.7-1+deb9u11)

"Solver for Nonlinear Programming" extension for 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)

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.51-2+b1)

package to enumerate vertices and extreme rays of a convex polyhedron

lybniz (1.3.2-2.1)

mathematical function graph 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)

reachability analyzer for Algebraic System Nets

mathicgb (1.0~git20170104-1)

Compute Groebner bases (command line tool)

mathomatic (15.8.2-2+b2)

portable Computer Algebra System (CAS)

mathomatic-primes (15.8.2-2+b2)

prime number tools for mathomatic

mathpiper (0.81f+svn4469+dfsg3-3)

Java Computer Algebra System

matita (0.99.3-1+b1)

interactive theorem prover

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 -- base system

maxima-emacs (5.38.1-8)

Computer algebra system -- emacs interface

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)

Computer algebra system -- extra code

maxima-src (5.38.1-8)

Computer algebra system -- source code

maxima-test (5.38.1-8)

Computer algebra system -- test suite

mcl (1:14-137-1+b1)

Markov Cluster algorithm

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)

graphical ODE simulator

mumps-test (4.10.0.dfsg-4+b2)

Example/test binaries using 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)

programs for dealing with numbers from the command line

octave (4.0.3-3)

GNU Octave 语言，用于数值计算

octave-bim (1.1.5-2)

PDE solver using a finite element/volume approach in Octave

octave-common (4.0.3-3)

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 binding for Octave

octave-image (2.6.1-1)

image manipulation for 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])

additional linear-algebra functions for 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)

octave bindings for pfstools

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 calculator for the terminal

palp (2.1-3+b1)

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

PARI/GP Computer Algebra System Galois polynomial database

pari-gp (2.9.1-1)

PARI/GP Computer Algebra System binaries

pari-gp2c (0.0.10-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-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)

Compute Archimedes' constant Pi to arbitrary precision

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 command line tools based on 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 development support for PLplot, a plotting library

polylib-utils (5.22.5-3+dfsg+b1)

Various tools using libpolylib

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)

Fitting and testing hypotheses about psychometric functions

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)

data plotting program producing publication-quality output

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

Powerful and easy to use desktop calculator - GTK+ version

qhull-bin (2015.2-2)

calculate convex hulls and related structures (utilities)

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

data analysis and scientific plotting

quickplot (1.0.1~rc-1+b2)

fast interactive 2D plotter and data viewer

r-bioc-hilbertvis (1.32.0-1)

GNU R package to visualise long vector data

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)

efficient Finite Element environment

rkward (0.6.5-1+b1)

KDE frontend to the R statistics language

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)

graph theory IDE

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)

Databases for elliptic curves

sagemath-database-graphs (20161026+dfsg-1)

Databases of graphs

sagemath-database-mutually-combinatorial-designs (20140630-2)

Databases of combinatorial designs

sagemath-database-polytopes (20120220+dfsg-2)

Databases of polytopes

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)

Text-based spreadsheet with VI-like keybindings

scalapack-mpi-test (1.8.0-13)

Scalable Linear Algebra Package - Test files for MPICH

scalapack-pvm-test (1.8.0-13)

Scalable Linear Algebra Package - Test files for PVM

scilab (5.5.2-4+deb9u1) [security]

用于数值计算的科学软件包

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]

Scientific software package - Command Line Interpreter

scilab-data (5.5.2-4+deb9u1) [security]

Scientific software package for numerical computations (data files)

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]

Scientific software package for numerical computations (minimal binary files)

scilab-plotlib (0.42-1)

"Matlab-like" Plotting library for Scilab

scilab-test (5.5.2-4+deb9u1) [security]

Scientific software package for numerical computations (test files)

scotch (5.1.12b.dfsg-2.1)

programs and libraries for graph, mesh and hypergraph partitioning

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)

program for creating and studying hyperbolic 3-manifolds

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)

High precision calculator

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)

a full-screen tape editor that lets the user edit a calculation

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

GUI for the computer algebra system Maxima

wzip (1.1.4+b1)

Lossy compression and denoising

xmaxima (5.38.1-8+b1)

Computer algebra system -- x interface

yacas (1.3.6-2+b1)

Computer Algebra System