Software Packages in "etiona", Subsection math

4ti2 (1.6.7+ds-2build2)

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

Tool for processing triangulated solid meshes. Binary

alt-ergo (1.30+dfsg1-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-1build1)

Arbitrary precision calculator (original name: calc)

apcalc-common (2.12.5.0-1build1)

Arbitrary precision calculator (common files)

apophenia-bin (1.0+ds-7build1)

Apophenia Statistical C Library -- binary package

aribas (1.64-6)

interpreter for arithmetic

auto-07p (0.9.1+dfsg-4)

software for continuation and bifurcation problems in ODE

autoclass (3.3.6.dfsg.1-1build1)

automatic classification or clustering

axiom (20170501-3)

General purpose computer algebra system: main binary and modules

axiom-databases (20170501-3)

General purpose computer algebra system: generated text databases

axiom-graphics (20170501-3)

General purpose computer algebra system: graphics subsystem

axiom-graphics-data (20170501-3)

General purpose computer algebra system: graphics subsystem

axiom-hypertex (20170501-3)

General purpose computer algebra system: hypertex subsystem

axiom-hypertex-data (20170501-3)

General purpose computer algebra system: hypertex subsystem

axiom-source (20170501-3)

General purpose computer algebra system: source files

axiom-test (20170501-3)

General purpose computer algebra system: regression test inputs

axiom-tex (20170501-3)

General purpose computer algebra system: style file for TeX

bc (1.07.1-2)

GNU bc arbitrary precision calculator language

bindechexascii (0.0+20140524.git7dcd86-4)

simple ASCII,binary,decimal and hex converter

blacs-mpi-test (1.1-40build1)

Basic Linear Algebra Comm. Subprograms - Test files for MPI

blacs-mpi-test

virtual package provided by scalapack-mpi-test

blacs-test-common (1.1-40build1)

Test data for BLACS testers

blacs-test-common

virtual package provided by scalapack-test-common

bliss (0.73-1)

tool to compute graph automorphisms and labelings -- bin

braillegraph (0.3-1)

simple histogram tool producing text dot-matrix graphs

bytes-circle (2.5-1)

Show byte statistics as an ASCII circle graph

cadabra (1.46-4)

field-theory motivated computer algebra system

calligrasheets (1:3.0.1-0ubuntu4)

spreadsheet for the Calligra Suite

cantor (4:17.12.3-0ubuntu1)

interface for mathematical applications

cantor-backend-julia (4:17.12.3-0ubuntu1)

Julia backend for Cantor

cantor-backend-kalgebra (4:17.12.3-0ubuntu1)

KAlgebra backend for Cantor

cantor-backend-lua (4:17.12.3-0ubuntu1)

Lua backend for Cantor

cantor-backend-maxima (4:17.12.3-0ubuntu1)

Maxima backend for Cantor

cantor-backend-octave (4:17.12.3-0ubuntu1)

Octave backend for Cantor

cantor-backend-python (4:17.12.3-0ubuntu1)

Python backend for Cantor -- transitional package

cantor-backend-python2 (4:17.12.3-0ubuntu1)

Python2 backend for Cantor

cantor-backend-python3 (4:17.12.3-0ubuntu1)

Python3 backend for Cantor

cantor-backend-qalculate (4:17.12.3-0ubuntu1)

Qalculate! backend for Cantor

cantor-backend-r (4:17.12.3-0ubuntu1)

R backend for Cantor

cantor-backend-sage (4:17.12.3-0ubuntu1)

Sage backend for Cantor

carmetal (3.5.2+dfsg-1.1)

dynamic geometry software with highly ergonomic UI

cauchy-tools (0.9.0-0ubuntu3)

library for transforming Matlab/Octave files to C++ - toold

cimg-dev (1.7.9+dfsg-2build1)

powerful image processing library

cliquer (1.21-2)

clique searching program

concalc (0.9.2-2build1)

console calculator

coq (8.6-5build1)

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

coq-theories (8.6-5build1)

proof assistant for higher-order logic (theories)

coqide (8.6-5build1)

proof assistant for higher-order logic (gtk interface)

cvc3 (2.4.1-5.1ubuntu1)

Automatic theorem prover for SMT problems

cvc3-el (2.4.1-5.1ubuntu1)

Emacs mode for CVC3

cvc4 (1.5-1)

automated theorem prover for SMT problems

dc (1.07.1-2)

GNU dc arbitrary precision reverse-polish calculator

deepin-calculator (1.0.2-1)

Calculator for DDE (Deepin Desktop Environment)

dicelab (0.7-4build1)

evaluate the statistical distribution of dice rolls

dolfin-bin (2017.2.0.post0-2)

Executable scripts for DOLFIN

dynare (4.5.4-1)

platform for handling a wide class of economic models

eclib-tools (20171002-1build1)

Programs for modular symbols and elliptic curves over Q

edenmath.app (1.1.1a-7.1build2)

Scientific calculator for GNUstep

ess (17.11-2)

Emacs mode for statistical programming and data analysis

eukleides (1.5.4-4.1)

Euclidean geometry drawing language

euler (1.61.0-11build1)

interactive mathematical programming environment

euler-doc (1.61.0-11build1)

documentation for the mathematical programming environment Euler

evolver (2.70+ds-3)

Surface Evolver

evolver

virtual package provided by evolver-nox, evolver-ogl

evolver-nox (2.70+ds-3)

Surface Evolver - with no X support

evolver-ogl (2.70+ds-3)

Surface Evolver - with OpenGL display

fenics (1:2017.2.0.1)

Automated Solution of Differential Equations

fflas-ffpack (2.2.2-5)

Finite field linear algebra subroutines/package

fflas-ffpack-common (2.2.2-5)

Finite field linear algebra subroutines/package - common files

flintqs (1:1.0-1)

Program using quadratic sieve to factor integers

fplll-tools (5.2.0-3build1)

Tools to compute LLL-reduction of Euclidian lattices

frama-c (20170501+phosphorus+dfsg-2build1)

Platform dedicated to the analysis of source code written in C

freefem (3.5.8-6ubuntu1)

PDE oriented language using Finite Element Method

freefem++ (3.47+dfsg1-2build1)

Provides the binaries of the FreeFem++ FE suite

freefem-examples (3.5.8-6ubuntu1)

Example files for FreeFEM

freefem3d (1.0pre10-4)

Language and solver for partial differential equations in 3D

freemat (4.2+dfsg1-6)

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)

Computations with monomial ideals

galculator (2.1.4-1build1)

scientific calculator

gap (4r8p8-3)

computer algebra system for Groups, Algorithms and Programming

gap-alnuth (3.1.0-2)

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.8-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 (4r8p8-3)

GAP computer algebra system, core components

gap-design (1r6+ds-1)

block designs for GAP

gap-factint (1.5.3+ds-1)

advanced methods for factoring integers for GAP

gap-float (0.9.0+ds-4build1)

multi-precision floating-point computation for GAP

gap-gapdoc (1.6.1-2)

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.5.1+ds-1)

low level C library IO bindings for GAP

gap-laguna (3.7.0+ds-1)

LAGUNA GAP package

gap-libs (4r8p8-3)

GAP computer algebra system, essential GAP libraries

gap-online-help (4r8p8-3)

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-sonata (2.8+ds-1)

Systems Of Nearrings And Their Applications for GAP

gap-table-of-marks (1r2p6-1)

GAP TomLib - The GAP Library of Tables of Marks

gap-toric (1.8+ds-1)

toric variety for GAP

gap-trans-groups (4r8p5-1)

Database of transitive groups for GAP

gbase (0.5-2.2build1)

small numeric base converter

geg (2.0.9-2)

GTK+ Equation Grapher

geneagrapher (1.0c2+git20120704-2)

Create tree from Mathematics Genealogy Project

geomview (1.9.5-2)

interactive geometry viewing program

geophar (16.08.4~dfsg1-1)

Swiss army knife for the math teacher

gerris (20131206+dfsg-18)

Fluid Flow Solver

getdp (2.11.3+dfsg1-1)

general environment for the treatment of discrete problems

getdp-sparskit (2.11.3+dfsg1-1)

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-2build1)

Data visualization system for high-dimensional data

ginac-tools (1.7.4-1)

GiNaC symbolic framework support tools

glpk-utils (4.65-1)

linear programming kit - utility files

gmp-ecm (7.0.4+ds-1)

Factor integers using the Elliptic Curve Method

gmsh (3.0.6+dfsg1-1)

Three-dimensional finite element mesh generator

gnome-calculator (1:3.28.1-1ubuntu1)

GNOME desktop calculator

gnumeric (1.12.35-1.1)

spreadsheet application for GNOME - main program

gnumeric-common (1.12.35-1.1)

spreadsheet application for GNOME - common files

gnumeric-plugins-extra (1.12.35-1.1)

spreadsheet application for GNOME - additional plugins

gnuplot (5.2.2+dfsg1-2ubuntu1)

Command-line driven interactive plotting program.

gnuplot

virtual package provided by gnuplot-qt, gnuplot-nox, gnuplot-x11

gnuplot-mode (1:0.7.0-1)

Gnuplot mode for Emacs

gnuplot-nox (5.2.2+dfsg1-2ubuntu1)

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

gnuplot-nox

virtual package provided by gnuplot-x11, gnuplot-qt

gnuplot-qt (5.2.2+dfsg1-2ubuntu1)

Command-line driven interactive plotting program. QT-package

gnuplot-x11 (5.2.2+dfsg1-2ubuntu1)

Command-line driven interactive plotting program. X-package

grace (1:5.1.25-5build1+9.0trisquel2)

XY graphing and plotting tool

graphmonkey (1.7-4)

a GTK#-based graphing calculator

gretl (2017d-3build1)

GNU Regression, Econometric & Time-Series Library

gretl-common (2017d-3build1)

GNU Regression, Econometric & Time-Series Library -- scripts package

gretl-data (2017d-3build1)

GNU Regression, Econometric & Time-Series Library -- data package

gretl-doc (2017d-3build1)

GNU Regression, Econometric & Time-Series Library -- doc package

grpn (1.4.1-1)

GTK+ reverse polish notation calculator

gsl-bin (2.4+dfsg-6)

GNU Scientific Library (GSL) -- binary package

gsl-ref-html (2.3-1)

GNU Scientific Library (GSL) Reference Manual in html

gsl-ref-psdoc (2.3-1)

GNU Scientific Library (GSL) Reference Manual in postscript

hol-light (20170706-0ubuntu4)

HOL Light theorem prover

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-doc (2.02.19940316-35)

Documentation for hol88

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

hyantesite (1.3.0-2ubuntu1)

geomatic tool to compute neighbourhood population potential

jacal (1b9-7ubuntu1)

Interactive symbolic math system

jags (4.3.0-1)

Just Another Gibbs Sampler for Bayesian MCMC - binary

jfractionlab (0.91-3)

Educative program to practice fractions

jgraph (83-23build1)

Jim Plank's program for producing PostScript graphs

jsurf-alggeo (0.3.0+ds-1)

Java based visualization library for real algebraic geometry

kalgebra-common (4:17.12.3-0ubuntu1)

contains files common for kalgebra and kalgebramobile

kalgebramobile (4:17.12.3-0ubuntu1)

algebraic graphing calculator for small touch based interfaces

kali (3.1-18)

Draw tilings, frieze patterns, and so on

kayali (0.3.2-0ubuntu4)

A Qt-based Computer Algebra System

kbruch (4:17.12.3-0ubuntu1)

fraction learning aid for KDE

kig (4:17.12.3-0ubuntu1)

interactive geometry tool

kmplot (4:17.12.3-0ubuntu1)

mathematical function plotter for KDE

labplot (2.4.0-1ubuntu4)

interactive graphing and analysis of scientific data

labplot-data (2.4.0-1ubuntu4)

data files for labplot

ladr4-apps (0.0.200911a-2.1build1)

the LADR deduction library, miscellaneous applications

lbt (1.2.2-6)

converts from LTL formulas to Büchi automata

lcalc (1.23+dfsg-6build1)

program for calculating with L-functions

libaac-tactics-coq (8.6.1-2)

Coq tactics for reasoning modulo AC (theories)

libadmesh1 (0.98.3-2)

Tool for processing triangulated solid meshes. Shared library

libcantor-pythonbackend (4:17.12.3-0ubuntu1)

Base Python backend for Cantor

libcdd-test (094h-1)

transitional dummy package

libcdd-tools (094h-1)

Programs using libcdd

libfrobby0 (0.9.0-5)

Computations with monomial ideals (shared library)

libgeomview-dev (1.9.5-2)

geomview library development package

libgf2x1 (1.2-5)

Routines for fast arithmetic in GF(2)[x]

libglpk40 (4.65-1)

linear programming kit with integer (MIP) support

libgts-bin (0.7.6+darcs121130-4)

utility binaries for libgts

liblfunction0 (1.23+dfsg-6build1)

library for calculating with L-functions

liblpsolve55-dev (5.5.0.15-4build1)

Solve (mixed integer) linear programming problems - library

liblrcalc1 (1.2-2)

library for calculating Littlewood-Richardson coefficients

liblrsgmp1 (0.62-2)

package to enumerate vertices and extreme rays (shared libraries)

libmeschach1.2 (1.2b-14)

library for performing operations on matrices and vectors

libplplotada2 (5.13.0+dfsg-6ubuntu2)

Ada support for PLplot, a plotting library

libquadrule1 (0~20121001-2)

Quadrature rules and numerical integration routines

libreoffice-nlpsolver (0.9+LibO6.0.3-0ubuntu1)

"Solver for Nonlinear Programming" extension for LibreOffice

librw0 (0.8+ds-1)

Compute rank-width and rank-decompositions of graphs

libsbml5-octave (5.16.0+dfsg-1)

System Biology Markup Language library - Octave bindings

libsprng2 (2.0a-11)

SPRNG Scalable Parallel RNG library -- library package

libssreflect-coq (1.6.1-3build1)

small scale reflection library for Coq (theories)

lie (2.2.2+dfsg-3)

Computer algebra package for Lie group computations

littler (0.3.3-1)

GNU R scripting and command-line front-end -- transition package

littler

virtual package provided by r-cran-littler

lp-solve (5.5.0.15-4build1)

Solve (mixed integer) linear programming problems

lrcalc (1.2-2)

programs for calculating Littlewood-Richardson coefficients

lrslib (0.62-2)

package to enumerate vertices and extreme rays of a convex polyhedron

mandelbulber (1:1.21.1-1.1build2)

3D fractal renderer and animator

mandelbulber2 (2.08.3-1build1)

3D fractal renderer and animator

mandelbulber2-data (2.08.3-1build1)

3D fractal renderer and animator - data files

maria (1.3.5-4.1)

reachability analyzer for Algebraic System Nets

mate-calc (1.20.1-1)

MATE desktop calculator

mate-calc-common (1.20.1-1)

MATE desktop calculator (common files)

mathicgb (1.0~git20170606-1)

Compute Groebner bases (command line tool)

mathomatic (16.0.4-1build1)

portable Computer Algebra System (CAS)

mathomatic-primes (16.0.4-1build1)

prime number tools for mathomatic

matlab2tikz (1.1.0-4)

converter of Octave plots to TikZ figures (for integration into LaTeX)

maxima (5.41.0-3)

Computer algebra system -- base system

maxima-doc (5.41.0-3)

Computer algebra system -- documentation

maxima-emacs (5.41.0-3)

Computer algebra system -- emacs interface

maxima-sage (5.39.0+ds-3)

Computer algebra system -- base system

maxima-sage-share (5.39.0+ds-3)

Computer algebra system -- extra code

maxima-share (5.41.0-3)

Computer algebra system -- extra code

maxima-src (5.41.0-3)

Computer algebra system -- source code

maxima-test (5.41.0-3)

Computer algebra system -- test suite

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

Markov Cluster algorithm

mcrl2 (201409.0-1ubuntu3)

formal specification language toolset

metis (5.1.0.dfsg-5)

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

ministat (20150715-1build1)

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

mrbayes (3.2.6+dfsg-2)

Bayesian Inference of Phylogeny

mumps-test (5.1.2-4)

Example/test binaries using MUMPS

nauty (2.6r10+ds-1)

library for graph automorphisms -- interface and tools

nco (4.7.2-1)

Command-line operators to analyze netCDF files

normaliz (3.5.1+ds-4)

math computing tools for affine monoids, rational polytopes and cones

normaliz-bin (3.5.1+ds-4)

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.2.2-1ubuntu1)

GNU Octave language for numerical computations

octave-bim (1.1.5-4)

PDE solver using a finite element/volume approach in Octave

octave-common (4.2.2-1ubuntu1)

architecture-independent files for octave

octave-communications (1.2.1-5)

communications package for Octave

octave-communications-common (1.2.1-5)

communications package for Octave (arch-indep files)

octave-control (3.0.0-5)

computer-aided control system design (CACSD) for Octave

octave-data-smoothing (1.3.0-6)

functions to do data smoothing on noisy data

octave-dataframe (1.2.0-3)

manipulate data in Octave similar to R data.frame

octave-divand (1.1.2+dfsg-3)

n-dimensional interpolation for Octave

octave-econometrics (1:1.1.1-5)

econometrics functions for Octave

octave-financial (0.5.1-2)

financial package for Octave

octave-fpl (1.3.5-4)

plot data on unstructured triangular and tetrahedral meshes in Octave

octave-ga (0.10.0-4)

genetic optimization code for Octave

octave-general (2.0.0-3)

provide extra general functions for Octave

octave-geometry (3.0.0-6)

geometric computing functions for Octave

octave-gsl (2.1.0-3)

GSL binding for Octave

octave-image (2.6.2-5)

image manipulation for Octave

octave-interval (3.1.0-5)

real-valued interval arithmetic for Octave

octave-io (2.4.10-3)

input/output data functions for Octave

octave-linear-algebra (2.2.2-4)

additional linear-algebra functions for Octave

octave-ltfat (2.2.0+dfsg-7)

Large Time/Frequency Analysis Toolbox

octave-ltfat-common (2.2.0+dfsg-7)

Large Time/Frequency Analysis Toolbox (arch-indep files)

octave-mapping (1.2.1-3)

geographical mapping functions for Octave

octave-miscellaneous (1.2.1-4)

miscellaneous tools for Octave

octave-missing-functions (1.0.2-7)

finds functions that are in Matlab but not in Octave

octave-mpi (1.2.0-4)

Octave toolbox for parallel computing using MPI

octave-msh (1.0.10-5)

create and manage meshes for FE or FV solvers in Octave

octave-nan (3.1.4-3)

handles data with and without missing values in Octave

octave-netcdf (1.0.11-3)

Matlab compatible NetCDF interface for Octave

octave-nurbs (1.3.13-4)

non-uniform rational B-splines for Octave

octave-ocs (0.1.5-6)

circuit simulator for Octave

octave-octclip (1.0.8-4)

boolean operations with polygons in Octave

octave-octproj (1.1.5-3)

GNU Octave bindings to PROJ.4

octave-odepkg (0.8.5-5)

solve differential equations and initial value problems in Octave

octave-optim (1.5.2-4)

unconstrained non-linear optimization toolkit for Octave

octave-optiminterp (0.3.4-4)

optimal interpolation package for Octave

octave-parallel (3.1.1-3)

parallel execution of Octave in clusters of computers

octave-pfstools (2.1.0-3)

octave bindings for pfstools

octave-plplot (5.13.0+dfsg-6ubuntu2)

Octave support for PLplot, a plotting library

octave-quaternion (2.4.0-4)

quaternion package for Octave

octave-secs1d (0.0.9-5)

semi conductor simulator in 1D for Octave

octave-secs2d (0.0.8-9)

semi conductor simulator in 2D for Octave

octave-signal (1.3.2-5)

signal processing functions for Octave

octave-sockets (1.2.0-3)

communication through Internet sockets in Octave

octave-sparsersb (1.0.5-3)

RSB sparse matrix manipulation for Octave

octave-specfun (1.1.0-4)

special mathematical functions for Octave

octave-splines (1.3.2-3)

cubic spline functions for Octave

octave-statistics (1.3.0-4)

additional statistical functions for Octave

octave-stk (2.5.0-1)

(not so) Small Toolbox for Kriging

octave-strings (1.2.0-3)

additional string manipulation functions for Octave

octave-struct (1.0.14-3)

additional structure manipulation functions for Octave

octave-symbolic (2.6.0-3build1)

symbolic package for Octave

octave-tisean (0.2.3-3)

nonlinear time series analysis for Octave

octave-tsa (4.4.5-3)

time series analysis in Octave

octave-vrml (1.0.13-4)

VRML functions for Octave

octave-zenity (0.5.7-8)

simple graphical user interfaces using zenity in Octave

octave-zeromq (1.2.1-3)

ZeroMQ binding for Octave

orpie (1.5.2-2)

RPN calculator for the terminal

palp (2.1-4)

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.4-1)

PARI/GP Computer Algebra System binaries

pari-gp2c (0.0.10pl1-1)

PARI/GP GP to C compiler

pari-seadata (0.20090618-1)

PARI/GP Computer Algebra System modular polynomials (seadata)

pdl (1:2.018-1ubuntu4)

perl data language: Perl extensions for numerics

pi (1.3.4-2)

Compute Archimedes' constant Pi to arbitrary precision

picviz (0.5-1ubuntu1)

Parallel coordinates plotter

plotdrop (0.5.4-1)

minimal GNOME frontend to GNUPlot

plotutils (2.6-9)

GNU plotutils command line tools based on libplot

plplot-tcl (5.13.0+dfsg-6ubuntu2)

Tcl/Tk support for PLplot, a plotting library

plplot-tcl-bin (5.13.0+dfsg-6ubuntu2)

Tcl/Tk tools for PLplot, a plotting library

plplot-tcl-dev (5.13.0+dfsg-6ubuntu2)

Tcl/Tk development support for PLplot, a plotting library

polylib-utils (5.22.5-4+dfsg)

Various tools using libpolylib

polymake (3.2r2-3)

Tool for algorithmic discrete geometry

polymake-common (3.2r2-3)

Tool for algorithmic discrete geometry -- shared files

primesieve (6.3+ds-2ubuntu1)

fast prime number generator C/C++ library

primesieve-bin (6.3+ds-2ubuntu1)

fast prime number generator C/C++ library -- bin

prover9 (0.0.200911a-2.1build1)

theorem prover and countermodel generator

prover9-mace4 (0.5.dfsg-3)

GUI for Prover9 and Mace4

psignifit (2.5.6-4)

Fitting and testing hypotheses about psychometric functions

pspp (1.0.1-1)

Statistical analysis tool

ptscotch (6.0.4.dfsg1-8)

MPI programs and libraries for graph, mesh and hypergraph partitioning

pyecm (2.0.2-3)

integer factorization with the Elliptic Curve Method (ECM)

python-gmpy (1.17-3)

interfaces GMP to Python for fast, unbound-precision computations

qalc (0.9.10-1)

Powerful and easy to use command line calculator

qalculate-gtk (0.9.9-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-1build1)

Exact linear programming solver

qtiplot (0.9.8.9-17)

data analysis and scientific plotting

quickplot (1.0.1~rc-1build2)

fast interactive 2D plotter and data viewer

r-base (3.4.4-1ubuntu1)

GNU R statistical computation and graphics system

r-base-core (3.4.4-1ubuntu1)

GNU R core of statistical computation and graphics system

r-base-core-dbg (3.4.4-1ubuntu1)

GNU R debug symbols for statistical comp. language and environment

r-base-html (3.4.4-1ubuntu1)

GNU R html docs for statistical computing system functions

r-bioc-hilbertvis (1.36.0-1)

GNU R package to visualise long vector data

r-cran-abind (1.4-5-1.1)

GNU R abind multi-dimensional array combination function

r-cran-bayesm (3.1-0.1-1)

GNU R package for Bayesian inference

r-cran-bitops (1.0-6-3)

GNU R package implementing bitwise operations

r-cran-boot (1.3-20-1.1)

GNU R package for bootstrapping functions from Davison and Hinkley

r-cran-cairodevice (2.24-2build1)

GNU R Cairo/Gtk2 device driver package

r-cran-car (2.1-6-1)

GNU R Companion to Applied Regression by John Fox

r-cran-catools (1.17.1-2)

GNU R package providing various utility functions

r-cran-chron (2.3-52-1)

GNU R package for chronologically ordered objects

r-cran-cluster (2.0.6-2build1)

GNU R package for cluster analysis by Rousseeuw et al

r-cran-coda (0.19-1-2)

Output analysis and diagnostics for MCMC simulations in R

r-cran-codetools (0.2-15-1.1)

GNU R package providing code analysis tools

r-cran-combinat (0.0-8-5)

GNU R package with utilities for combinatorics

r-cran-date (1.2.38-1)

GNU R package for date handling

r-cran-dbi (0.7-1build1)

GNU R package providing a generic database interface

r-cran-eco (4.0-1-1)

GNU R routines for Bayesian ecological inference

r-cran-effects (4.0.0-1)

GNU R graphical and tabular effects display for glm models

r-cran-fasianoptions (3042.82-1)

GNU R package for financial engineering -- fAsianOptions

r-cran-fassets (3042.84-1)

GNU R package for financial engineering -- fAssets

r-cran-fbasics (3042.89-1)

GNU R package for financial engineering -- fBasics

r-cran-fbonds (3042.78-1)

GNU R package for financial engineering -- fBonds

r-cran-fcopulae (3042.82-1)

GNU R package for financial engineering -- fCopulae

r-cran-fexoticoptions (3042.80-1)

GNU R package for financial engineering -- fExoticOptions

r-cran-fextremes (3042.82-1)

GNU R package for financial engineering -- fExtremes

r-cran-fgarch (3042.83-1)

GNU R package for financial engineering -- fGarch

r-cran-fimport (3042.85-1)

GNU R package for financial engineering -- fImport

r-cran-fmultivar (3042.80-1)

GNU R package for financial engineering -- fMultivar

r-cran-fnonlinear (3042.79-1)

GNU R package for financial engineering -- fNonlinear

r-cran-foptions (3042.86-1)

GNU R package for financial engineering -- fOptions

r-cran-foreign (0.8.69-1build1)

GNU R package to read/write data from other stat. systems

r-cran-fportfolio (3042.83-1)

GNU R package for financial engineering -- fPortfolio

r-cran-fregression (3042.82-1)

GNU R package for financial engineering -- fRegression

r-cran-ftrading (3042.79-1)

GNU R package for financial engineering -- fTrading

r-cran-funitroots (3042.79-1)

GNU R package for financial engineering -- fUnitRoots

r-cran-gdata (2.18.0-1.1)

GNU R package with data manipulation tools by Greg Warnes et al

r-cran-getopt (1.20.2-1)

GNU R package providing command-line parsing functionality

r-cran-gmaps (0.2-2build1)

GNU R support for producing geographic maps with grid graphics

r-cran-gmodels (2.16.2-2.1)

GNU R package with tools for model fitting by Greg Warnes et al

r-cran-gplots (3.0.1-2.1)

GNU R package with tools for plotting data by Greg Warnes et al

r-cran-gregmisc (2.1.5-2)

GNU R package with miscellaneous functions by Greg Warnes et al

r-cran-gtools (3.5.0-2build1)

GNU R package with R programming tools by Greg Warnes et al

r-cran-hdf5 (1.6.10-4.1)

GNU R package interfacing the NCSA HDF5 library

r-cran-hmisc (4.1-1-1)

GNU R miscellaneous functions by Frank Harrell

r-cran-its (1.1.8-6.1)

GNU R package for handling irregular time series

r-cran-kernsmooth (2.23-15-3build1)

GNU R package for kernel smoothing and density estimation

r-cran-lattice (0.20-35-1build1)

GNU R package for 'Trellis' graphics

r-cran-latticeextra (0.6-28-2build1)

GNU R package of additional graphical displays based on lattice

r-cran-lme4 (1.1-15-1)

GNU R package for linear mixed effects model fitting

r-cran-lmtest (0.9.35-2build1)

GNU R package for diagnostic checking in linear models

r-cran-lpsolve (5.6.13-3build1)

GNU R package providing linear program solvers

r-cran-mapdata (2.3.0-1)

GNU R support for producing geographic maps (supplemental data)

r-cran-mapproj (1.2.6-1)

GNU R support for cartographic projections of map data

r-cran-maps (3.3.0-1)

GNU R support for producing geographic maps

r-cran-matchit (3.0.1-1)

GNU R package of nonparametric matching methods

r-cran-matrix (1.2-12-1)

GNU R package of classes for dense and sparse matrices

r-cran-mcmcpack (1.4-0-1)

R routines for Markov chain Monte Carlo model estimation

r-cran-mgcv (1.8-23-1)

GNU R package for multiple parameter smoothing estimation

r-cran-misc3d (0.8-4-2.1)

GNU R collection of 3d plot functions and rgl-based isosurfaces

r-cran-mnormt (1.5-5-2build1)

GNU R package providing multivariate normal and t distribution

r-cran-mnp (3.1-0-1)

GNU R package for fitting multinomial probit (MNP) models

r-cran-multcomp (1.4-8-1)

GNU R package for multiple comparison procedures

r-cran-mvtnorm (1.0-7-1)

GNU R package to compute multivariate Normal and T distributions

r-cran-nlme (3.1.131-3build1)

GNU R package for (non-)linear mixed effects models

r-cran-nws (2.0.0.3-4.1)

GNU R package for distributed programming via NetWorkSpaces

r-cran-plotrix (3.6-6-1)

GNU R package providing various plotting functions

r-cran-polspline (1.1.12-3build1)

GNU R package providing polynomial spline fitting

r-cran-psy (1.1-3)

GNU R procedures for psychometrics

r-cran-qtl (1.42-8-1)

GNU R package for genetic marker linkage analysis

r-cran-quadprog (1.5-5-3build1)

GNU R package for solving quadratic programming problems

r-cran-rcmdr (2.4-1-1)

GNU R platform-independent basic-statistics GUI

r-cran-rcolorbrewer (1.1-2-1.1)

GNU R package providing suitable color palettes

r-cran-rcpp (0.12.15-1)

GNU R package for Seamless R and C++ Integration

r-cran-relimp (1.0-5-2.1)

GNU R package for inference on relative importance of regressors

r-cran-rggobi (2.1.21-2build1)

GNU R package for the GGobi data visualization system

r-cran-rgl (0.99.9-1)

GNU R package for three-dimensional visualisation using OpenGL

r-cran-rglpk (0.6-3-1build1)

GNU R interface to the GNU Linear Programming Kit

r-cran-rgtk2 (2.20.34-1)

GNU R binding for Gtk2

r-cran-rjava (0.9-9-1ubuntu2)

GNU R low-level interface to Java

r-cran-rmpi (0.6-6-4build1)

GNU R package interfacing MPI libraries for distributed computing

r-cran-rmysql (0.10.13-2)

GNU R package providing a DBI-compliant interface to MySQL

r-cran-robustbase (0.92-8-1)

GNU R package providing basic robust statistics

r-cran-rocr (1.0-7-3)

GNU R package to prepare and display ROC curves

r-cran-rodbc (1.3-15-1build1)

GNU R package for ODBC database access

r-cran-rpart (4.1-13-1)

GNU R package for recursive partitioning and regression trees

r-cran-rquantlib (0.4.4-1)

GNU R package interfacing the QuantLib finance library

r-cran-rserve (1.7-3-3build2)

GNU R Rserve tcp/ip server and sample clients

r-cran-rsprng (1.0-5build1)

GNU R interface to SPRNG (Scalable Parallel RNGs)

r-cran-runit (0.4.31-2.1)

GNU R package providing unit testing framework

r-cran-sandwich (2.4-0-1.1)

GNU R package for model-robust standard error estimates

r-cran-sm (2.2-5.4-2build2)

GNU R package for kernel smoothing methods

r-cran-sn (1.5-1-1)

GNU R package providing skew-normal and skew-t distributions

r-cran-snow (1:0.4.2-1.1)

GNU R package for 'simple network of workstations'

r-cran-strucchange (1.5-1-2.1)

GNU R package for structural change regression estimation

r-cran-survival (2.41-3-2build1)

GNU R package for survival analysis

r-cran-timedate (3043.102-1)

GNU R package for financial engineering -- timeDate

r-cran-timeseries (3042.102-1)

GNU R package for financial engineering -- timeSeries

r-cran-tkrplot (0.0.23-4build1)

GNU R embedded Tk plotting device package

r-cran-tseries (0.10-43-1)

GNU R package for time-series analysis and comp. finance

r-cran-urca (1.3-0-2build1)

GNU R package providing unit root and cointegration tests

r-cran-vgam (1.0-4-1)

GNU R package for estimating vector generalized additive models

r-cran-xml (3.98-1.10-1)

GNU R package for XML parsing and generation

r-cran-zelig (5.1.6-1ubuntu1)

GNU R package providing a unified front-end for estimating statistical models

r-cran-zoo (1.8-1-1)

GNU R package for totally ordered indexed observations

r-mathlib (3.4.4-1ubuntu1)

GNU R standalone mathematics library

r-recommended (3.4.4-1ubuntu1)

GNU R collection of recommended packages [metapackage]

regina-normal (5.1-2build1)

mathematical software for low-dimensional topology

regina-normal-mpi (5.1-2build1)

MPI utilities for Regina, the topology software

relational-cli (2.5-1)

Educational tool for relational algebra (command line interface)

rheolef (6.7-6)

efficient Finite Element environment

rkward (0.7.0-1)

KDE frontend to the R statistics language

rkward-data (0.7.0-1)

KDE frontend to the R statistics language - data files

rlplot (1.5-3)

GUI application for generating publication quality graphs

rubiks (20070912-2build1)

Small collection of Rubik's cube solvers

sagemath (8.1-7ubuntu1)

Open Source Mathematical Software

sagemath-common (8.1-7ubuntu1)

Open Source Mathematical Software - architecture-independent files

sagemath-database-conway-polynomials (0.5-3)

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

Databases of polytopes

sagemath-doc-ca (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Catalan; Valencian)

sagemath-doc-de (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (German)

sagemath-doc-en (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (English)

sagemath-doc-es (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Spanish; Castilian)

sagemath-doc-fr (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (French)

sagemath-doc-hu (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Hungarian)

sagemath-doc-it (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Italian)

sagemath-doc-ja (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Japanese)

sagemath-doc-pt (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Portuguese)

sagemath-doc-ru (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Russian)

sagemath-doc-tr (8.1-7ubuntu1)

Open Source Mathematical Software - documentation (Turkish)

sagemath-jupyter (8.1-7ubuntu1)

Open Source Mathematical Software - Jupyter kernel

sc (7.16-4ubuntu2)

Text-based spreadsheet with VI-like keybindings

scalapack-mpi-test (2.0.2-4)

Scalable Linear Algebra Package - Test files for MPI

scilab (6.0.1-1ubuntu1)

Scientific software package for numerical computations

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 (6.0.1-1ubuntu1)

Scientific software package - Command Line Interpreter

scilab-data (6.0.1-1ubuntu1)

Scientific software package for numerical computations (data files)

scilab-doc (6.0.1-1ubuntu1)

Scientific software package (English documentations)

scilab-full-bin (6.0.1-1ubuntu1)

Scientific software package for numerical computations (all binary files)

scilab-include (6.0.1-1ubuntu1)

Scientific software package for numerical computations (include files)

scilab-minimal-bin (6.0.1-1ubuntu1)

Scientific software package for numerical computations (minimal binary files)

scilab-plotlib (0.42-1)

"Matlab-like" Plotting library for Scilab

scilab-test (6.0.1-1ubuntu1)

Scientific software package for numerical computations (test files)

scotch (6.0.4.dfsg1-8)

programs and libraries for graph, mesh and hypergraph partitioning

sdpa (7.3.11+dfsg-1ubuntu1)

High-performance package for SemiDefinite Programs

sdpam (7.3.11+dfsg-1ubuntu1)

Matlab/Octave interface of SDPA

sdpb (1.0-3build3)

Semidefinite program solver

singular (1:4.1.0-p3+ds-2build1)

Computer Algebra System for Polynomial Computations

singular-data (1:4.1.0-p3+ds-2build1)

Computer Algebra System for Polynomial Computations -- shared data

singular-ui (1:4.1.0-p3+ds-2build1)

Computer Algebra System for Polynomial Computations -- console user interface

singular-ui-emacs (1:4.1.0-p3+ds-2build1)

Computer Algebra System for Polynomial Computations -- emacs user interface

singular-ui-xterm (1:4.1.0-p3+ds-2build1)

Computer Algebra System for Polynomial Computations -- xterm user interface

snappea (3.0d3-24)

program for creating and studying hyperbolic 3-manifolds

socnetv (2.2-1)

Social Network Analysis and Visualisation application

sollya (6.0+ds-6build1)

library for safe floating-point code development -- tool

spigot (0.2017-01-15.gdad1bbc6-1)

Exact real calculator

spline (1.2-3)

Akima spline interpolation

stda (1.3.1-2)

simple tools for data analysis (stda)

surf-alggeo (1.0.6+ds-4build1)

visualization of real algebraic geometry

surf-alggeo-nox (1.0.6+ds-4build1)

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-2build2)

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

tetgen (1.5.0-4)

Quality Tetrahedral Mesh Generator

tiemu-skinedit (1.27-2build1)

skin editor for TiEmu

tilem (2.0-2build1)

GTK+ TI Z80 calculator emulator

tilem-data (2.0-2build1)

GTK+ TI Z80 calculator emulator (data files)

tilp2 (1.17-3)

Texas Instruments hand-helds <-> PC communication program for X

twinvoicerecalc (0.0.20170711-1)

Taiwan invoice reverse calculator

vspline-dev (0.3.1-1)

header-only C++ template library for uniform b-spline processing

wcalc (2.5-2build2)

Flexible command-line scientific calculator

why (2.39-2build1)

Software verification tool for C and Java

why3 (0.88.3-1ubuntu4)

Software verification platform

why3-coq (0.88.3-1ubuntu4)

Coq support for the why3 verification platform

why3-doc-html (0.88.3-1ubuntu4)

HTML Documentation of the why3 verification platform

why3-doc-pdf (0.88.3-1ubuntu4)

PDF Documentation of the why3 verification platform

why3-examples (0.88.3-1ubuntu4)

Examples for the why3 verification platform

wxmaxima (18.02.0-2)

GUI for the computer algebra system Maxima

wzip (1.1.5)

Lossy compression and denoising

xmaxima (5.41.0-3)

Computer algebra system -- x interface

yacas (1.3.6-2)

Computer Algebra System

yorick (2.2.04+dfsg1-9)

interpreted language and scientific graphics

yorick-cubeview (2.2-2)

3D FITS data viewer specialized in spectro-imaging

yorick-curses (0.1-6build1)

interface to the (n)curses library for the Yorick language

yorick-data (2.2.04+dfsg1-9)

interpreted library for the Yorick language

yorick-dev (2.2.04+dfsg1-9)

development files for the Yorick interpreted language

yorick-gl (1.1+cvs20070922+dfsg-6.1)

OpenGL 3D graphics support for the Yorick language

yorick-hdf5 (0.8.0-8)

Hierarchical Data Format 5 interface for the Yorick language

yorick-imutil (0.5.7-3)

fast image manipulation routines for the Yorick language

yorick-ml4 (0.6.0-3)

Matlab file format support for the Yorick language

yorick-optimpack (1.3.2+dfsg+1.4.0-1)

optimization of large scale problems for the Yorick language

yorick-soy (1.4.0-3)

sparse matrix operations for the Yorick language

yorick-spydr (0.8.2-3)

FITS image display and simple analysis

yorick-yao (5.4.0-1)

Yorick-based adaptive optics system simulator

yorick-yeti (6.4.0-1)

utility plugin for the Yorick language

yorick-yeti-fftw (6.4.0-1)

FFT plugin for the Yorick language

yorick-yeti-regex (6.4.0-1)

POSIX regular expressions for the Yorick language

yorick-yeti-tiff (6.4.0-1)

TIFF image format input for the Yorick language

yorick-yutils (1.5.2-1)

various utilities for the Yorick language

yorick-z (1.2.0+cvs20080115-5build1)

zlib, jpeg and png support for the Yorick language