» Ubuntu » Paketler » focal » math

"focal" İçindeki Yazılım Paketleri, Altbölüm math

4ti2 (1.6.9+ds-2build1) [universe]
mathematical tool suite for problems on linear spaces -- tools
acl2 (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: main binary
acl2-books (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: library sources
acl2-emacs (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: infix source
acl2-source (8.2dfsg-3build1) [universe]
Computational Logic for Applicative Common Lisp: source files
admesh (0.98.4-1) [universe]
Tool for processing triangulated solid meshes. Binary
alt-ergo (2.0.0-5build1) [universe]
Automatic theorem prover dedicated to program verification
ann-tools (1.1.2+doc-7build1) [universe]
Approximate Nearest Neighbor Searching library (tools)
apcalc (2.12.7.2-4) [universe]
transitional package
apcalc-common (2.12.7.2-4) [universe]
transitional package
apophenia-bin (1.0+ds-8) [universe]
Apophenia Statistical C Library -- binary package
aribas (1.64-6) [universe]
interpreter for arithmetic
auto-07p (0.9.2+dfsg-2) [universe]
software for continuation and bifurcation problems in ODE
autoclass (3.3.6.dfsg.1-1build1) [universe]
automatic classification or clustering
axiom (20170501-4) [universe]
General purpose computer algebra system: main binary and modules
axiom-databases (20170501-4) [universe]
General purpose computer algebra system: generated text databases
axiom-graphics (20170501-4) [universe]
General purpose computer algebra system: graphics subsystem
axiom-graphics-data (20170501-4) [universe]
General purpose computer algebra system: graphics subsystem
axiom-hypertex (20170501-4) [universe]
General purpose computer algebra system: hypertex subsystem
axiom-hypertex-data (20170501-4) [universe]
General purpose computer algebra system: hypertex subsystem
axiom-source (20170501-4) [universe]
General purpose computer algebra system: source files
axiom-test (20170501-4) [universe]
General purpose computer algebra system: regression test inputs
axiom-tex (20170501-4) [universe]
General purpose computer algebra system: style file for TeX
bc (1.07.1-2build1)
GNU bc arbitrary precision calculator language
bindechexascii (0.0+20140524.git7dcd86-4) [universe]
simple ASCII,binary,decimal and hex converter
bliss (0.73-4build1) [universe]
tool to compute graph automorphisms and labelings -- bin
braillegraph (0.3-1) [universe]
simple histogram tool producing text dot-matrix graphs
bytes-circle (2.6-1) [universe]
Show byte statistics as an ASCII circle graph
c-graph (2.0.1-3.1ubuntu2) [universe]
interactive visualization tool for the convolution theorem
cadabra (1.46-5build1) [universe]
field-theory motivated computer algebra system
calc (2.12.7.2-4) [universe]
Arbitrary precision calculator
calc-common (2.12.7.2-4) [universe]
Arbitrary precision calculator (common files)
calligrasheets (1:3.1.0+dfsg-6ubuntu7) [universe]
spreadsheet for the Calligra Suite
calligrasheets-data (1:3.1.0+dfsg-6ubuntu7) [universe]
data files for Sheets spreadsheet
cantor (4:19.12.3-0ubuntu1) [universe]
interface for mathematical applications
cantor-backend-julia (4:19.12.3-0ubuntu1) [universe]
Julia backend for Cantor
cantor-backend-kalgebra (4:19.12.3-0ubuntu1) [universe]
KAlgebra backend for Cantor
cantor-backend-lua (4:19.12.3-0ubuntu1) [universe]
Lua backend for Cantor
cantor-backend-maxima (4:19.12.3-0ubuntu1) [universe]
Maxima backend for Cantor
cantor-backend-octave (4:19.12.3-0ubuntu1) [universe]
Octave backend for Cantor
cantor-backend-python3 (4:19.12.3-0ubuntu1) [universe]
Python3 backend for Cantor
cantor-backend-qalculate (4:19.12.3-0ubuntu1) [universe]
Qalculate! backend for Cantor
cantor-backend-r (4:19.12.3-0ubuntu1) [universe]
R backend for Cantor
cantor-backend-sage (4:19.12.3-0ubuntu1) [universe]
Sage backend for Cantor
cantor-backend-scilab (4:19.12.3-0ubuntu1) [universe]
Scilab backend for Cantor
carmetal (3.5.2+dfsg-1.1) [universe]
dynamic geometry software with highly ergonomic UI
cauchy-tools (0.9.0-0ubuntu4) [universe]
library for transforming Matlab/Octave files to C++ - toold
cimg-dev (2.4.5+dfsg-1) [universe]
powerful image processing library
cliquer (1.21-2) [universe]
clique searching program
cohomcalg (0.32+ds-2build1) [universe]
sheaf cohomology of line bundles on toric varieties
cohomcalg-common (0.32+ds-2build1) [universe]
sheaf cohomology of line bundles on toric varieties (common files)
concalc (0.9.2-2build2) [universe]
console calculator
coq (8.11.0-1) [universe]
proof assistant for higher-order logic (toplevel and compiler)
coq-theories (8.11.0-1) [universe]
proof assistant for higher-order logic (theories)
coqide (8.11.0-1) [universe]
proof assistant for higher-order logic (gtk interface)
cvc4 (1.6-2build2) [universe]
automated theorem prover for SMT problems
dc (1.07.1-2build1)
GNU dc arbitrary precision reverse-polish calculator
deepin-calculator (5.0.1-1build1) [universe]
Calculator for DDE (Deepin Desktop Environment)
dicelab (0.7-5) [universe]
evaluate the statistical distribution of dice rolls
dolfin-bin (2019.1.0-10build2) [universe]
Executable scripts for DOLFIN
dynare (4.6.0+dfsg-2) [universe]
platform for handling a wide class of economic models
dynare-matlab (4.6.0+dfsg-2) [multiverse]
MATLAB support for Dynare
eclib-tools (20190909-2build2) [universe]
Programs for modular symbols and elliptic curves over Q
edenmath.app (1.1.1a-8build2) [universe]
Scientific calculator for GNUstep
ess (18.10.2-2) [universe]
Transition Package, ess to elpa-ess
eukleides (1.5.4-4.1build1) [universe]
Euclidean geometry drawing language
euler (1.61.0-11build1) [universe]
interactive mathematical programming environment
euler-doc (1.61.0-11build1) [universe]
documentation for the mathematical programming environment Euler
evolver (2.70+ds-4build2) [universe]
Surface Evolver
evolver
sanal paketi sağlayan evolver-ogl, evolver-nox
evolver-nox (2.70+ds-4build2) [universe]
Surface Evolver - with no X support
evolver-ogl (2.70+ds-4build2) [universe]
Surface Evolver - with OpenGL display
fenics (1:2019.1.0.3) [universe]
Automated Solution of Differential Equations
fflas-ffpack (2.4.3-1) [universe]
Finite field linear algebra subroutines/package
fflas-ffpack-common (2.4.3-1) [universe]
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-3build1) [universe]
Program using quadratic sieve to factor integers
fplll-tools (5.3.2-1build1) [universe]
Tools to compute LLL-reduction of Euclidian lattices
freefem (3.5.8-7build1) [universe]
PDE oriented language using Finite Element Method
freefem++ (3.61.1+dfsg1-5build2) [universe]
Provides the binaries of the FreeFem++ FE suite
freefem-examples (3.5.8-7build1) [universe]
Example files for FreeFEM
frobby (0.9.0-5ubuntu1) [universe]
Computations with monomial ideals
galculator (2.1.4-1build1) [universe]
scientific calculator
gap (4r10p2-2) [universe]
computer algebra system for Groups, Algorithms and Programming
gap-alnuth (3.1.1-1) [universe]
GAP Alnuth - Algebraic number theory and an interface to PARI/GP
gap-atlasrep (1.5.1-2) [universe]
GAP AtlasRep - A GAP Interface to the Atlas of Group Representations
gap-autodoc (2019.05.20-1) [universe]
GAP AutoDoc - Generate documentation from GAP source code
gap-autpgrp (1.10-1) [universe]
GAP AutPGrp - Computing the Automorphism Group of a p-Group
gap-character-tables (1r2p2.dfsg.0-3) [universe]
GAP Library of character tables
gap-core (4r10p2-2) [universe]
GAP computer algebra system, core components
gap-design (1.7+ds-2) [universe]
block designs for GAP
gap-factint (1.6.3+ds-1) [universe]
advanced methods for factoring integers for GAP
gap-float (0.9.1+ds-5build1) [universe]
multi-precision floating-point computation for GAP
gap-gapdoc (1.6.2-1) [universe]
GAPDoc - A Meta Package for GAP Documentation
gap-grape (4.8.3+ds-1) [universe]
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.15+ds-1) [universe]
coding theory library for GAP
gap-guava-bin (3.15+ds-1) [universe]
coding theory library for GAP (arch-dep files)
gap-io (4.7.0+ds-1ubuntu1) [universe]
low level C library IO bindings for GAP
gap-laguna (3.9.3+ds-2) [universe]
LAGUNA GAP package
gap-libs (4r10p2-2) [universe]
GAP computer algebra system, essential GAP libraries
gap-online-help (4r10p2-2) [universe]
GAP computer algebra system, online help
gap-openmath (11.4.2+ds-5) [universe]
OpenMath phrasebook for GAP
gap-polycyclic (2.14-1) [universe]
GAP Polycyclic - Computation with polycyclic groups
gap-primgrp (3.3.2-1) [universe]
GAP PrimGrp - GAP Primitive Permutation Groups Library
gap-radiroot (2.8-1) [universe]
GAP RadiRoot - Roots of a Polynomial as Radicals
gap-scscp (2.3.0+ds-2) [universe]
SCSCP protocol in GAP
gap-smallgrp (1.3-1) [universe]
GAP SmallGrp - The GAP Small Groups Library
gap-smallgrp-extra (1.3-1) [universe]
GAP SmallGrp - The GAP Small Groups Library
gap-sonata (2.9.1+ds-3) [universe]
Systems Of Nearrings And Their Applications for GAP
gap-table-of-marks (1.2.8-1) [universe]
GAP TomLib - The GAP Library of Tables of Marks
gap-toric (1.9.5+ds-1) [universe]
toric variety for GAP
gap-transgrp (2.0.4-1) [universe]
GAP TransGrp - Transitive Groups Library
gbase (0.5-2.2build1) [universe]
small numeric base converter
geg (2.0.9-3) [universe]
GTK+ Equation Grapher
geneagrapher (1.0c2+git20180919-2) [universe]
Create tree from Mathematics Genealogy Project
geomview (1.9.5-3build1) [universe]
interactive geometry viewing program
geophar (18.08.4+dfsg1-2) [universe]
Swiss army knife for the math teacher
gerris (20131206+dfsg-19) [universe]
Fluid Flow Solver
getdp (3.2.0+dfsg1-1build2) [universe]
general environment for the treatment of discrete problems
getdp-sparskit (3.2.0+dfsg1-1build2) [universe]
general environment for the treatment of discrete problems
gfan (0.6.2-2build1) [universe]
program for computing with Groebner fans
gfm (1.08-1) [universe]
Texas Instruments hand-helds file manipulation program for X
ggobi (2.1.11-2build1) [universe]
Data visualization system for high-dimensional data
ginac-tools (1.7.8-2build1) [universe]
GiNaC symbolic framework support tools
gliese (3.0.95-2) [multiverse]
stellar data set from the Third Catalogue of Nearby Stars
glpk-utils (4.65-2) [universe]
linear programming kit - utility files
gmp-ecm (7.0.4+ds-5) [universe]
Factor integers using the Elliptic Curve Method
gmsh (4.4.1+ds1-2build1) [universe]
Three-dimensional finite element mesh generator
gnome-calculator (1:3.36.0-1ubuntu1)
GNOME desktop calculator
gnumeric (1.12.46-1ubuntu2) [universe]
spreadsheet application for GNOME - main program
gnumeric-common (1.12.46-1ubuntu2) [universe]
spreadsheet application for GNOME - common files
gnumeric-plugins-extra (1.12.46-1ubuntu2) [universe]
spreadsheet application for GNOME - additional plugins
gnuplot (5.2.8+dfsg1-2) [universe]
Command-line driven interactive plotting program.
gnuplot
sanal paketi sağlayan gnuplot-nox, gnuplot-qt, gnuplot-x11
gnuplot-mode (1:0.7.0-2014-12-31-2) [universe]
Transition Package, gnuplot-mode to elpa-gnuplot-mode
gnuplot-mode
sanal paketi sağlayan elpa-gnuplot-mode
gnuplot-nox (5.2.8+dfsg1-2) [universe]
Command-line driven interactive plotting program. No-X package
gnuplot-nox
sanal paketi sağlayan gnuplot-x11, gnuplot-qt
gnuplot-qt (5.2.8+dfsg1-2) [universe]
Command-line driven interactive plotting program. QT-package
gnuplot-x11 (5.2.8+dfsg1-2) [universe]
Command-line driven interactive plotting program. X-package
gnuplot-x11
sanal paketi sağlayan gnuplot-qt
grace (1:5.1.25-7build1) [universe]
XY graphing and plotting tool
graphmonkey (1.7-4) [universe]
a GTK#-based graphing calculator
gretl (2019d-2build1) [universe]
GNU Regression, Econometric & Time-Series Library
gretl-common (2019d-2build1) [universe]
GNU Regression, Econometric & Time-Series Library -- scripts package
gretl-data (2019d-2build1) [universe]
GNU Regression, Econometric & Time-Series Library -- data package
gretl-doc (2019d-2build1) [universe]
GNU Regression, Econometric & Time-Series Library -- doc package
grpn (1.4.1-1) [universe]
GTK+ reverse polish notation calculator
gsl-bin (2.5+dfsg-6+deb10u1build0.20.04.1 [amd64, i386], 2.5+dfsg-6build1 [arm64, armhf, ppc64el, riscv64, s390x]) [universe] [security]
GNU Scientific Library (GSL) -- binary package
gsl-ref-html (2.3-1) [universe]
GNU Scientific Library (GSL) Reference Manual in html
gsl-ref-psdoc (2.3-1) [universe]
GNU Scientific Library (GSL) Reference Manual in postscript
gudhi-utils (3.1.1+dfsg-1build1) [universe]
Utilities from the GUDHI library
gudhui (3.1.1+dfsg-1build1) [universe]
GUI for some of the functionality of the GUDHI library
hol-light (20190729-4build1) [universe]
HOL Light theorem prover
hol88 (2.02.19940316-35build2) [universe]
Higher Order Logic, system image
hol88-contrib-help (2.02.19940316-35build2) [universe]
Higher Order Logic, user contributed online help files
hol88-contrib-source (2.02.19940316-35build2) [universe]
Higher Order Logic, user contributed source
hol88-doc (2.02.19940316-35build2) [universe]
Documentation for hol88
hol88-help (2.02.19940316-35build2) [universe]
Higher Order Logic, online help files
hol88-library (2.02.19940316-35build2) [universe]
Higher Order Logic, binary library modules
hol88-library-help (2.02.19940316-35build2) [universe]
Higher Order Logic, library online help files
hol88-library-source (2.02.19940316-35build2) [universe]
Higher Order Logic, library source files
hol88-source (2.02.19940316-35build2) [universe]
Higher Order Logic, source files
hyantesite (1.3.0-2ubuntu1) [universe]
geomatic tool to compute neighbourhood population potential
jacal (1b9-7ubuntu1) [universe]
Interactive symbolic math system
jags (4.3.0-3build1) [universe]
Just Another Gibbs Sampler for Bayesian MCMC - binary
jfractionlab (0.92-2) [universe]
Educative program to practice fractions
jgraph (83-23build1) [universe]
Jim Plank's program for producing PostScript graphs
jsurf-alggeo (0.4.1+ds-3) [universe]
Java based visualization library for real algebraic geometry
kalgebra-common (4:19.12.3-0ubuntu1) [universe]
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:19.12.3-0ubuntu1) [universe]
algebraic graphing calculator for small touch based interfaces
kali (3.1-18) [universe]
Draw tilings, frieze patterns, and so on
kbruch (4:19.12.3-0ubuntu1) [universe]
fraction learning aid for KDE
kig (4:19.12.3-0ubuntu1) [universe]
interactive geometry tool
kmplot (4:19.12.3-0ubuntu1) [universe]
mathematical function plotter for KDE
labplot (2.7.0-1build2) [universe]
interactive graphing and analysis of scientific data
labplot-data (2.7.0-1build2) [universe]
data files for labplot
lbt (1.2.2-6) [universe]
converts from LTL formulas to Büchi automata
lcalc (1.23+dfsg-11build1) [universe]
program for calculating with L-functions
libaac-tactics-coq (8.11.0-1) [universe]
Coq tactics for reasoning modulo AC (theories)
libadmesh1 (0.98.4-1) [universe]
Tool for processing triangulated solid meshes. Shared library
libcantor-pythonbackend (4:19.12.3-0ubuntu1) [universe]
Base Python backend for Cantor
libcdd-tools (094j-2) [universe]
Programs using libcdd
libfloat-coq (1:8.10.0-1) [universe]
Coq library on floating-point arithmetic
libfrobby0 (0.9.0-5ubuntu1) [universe]
Computations with monomial ideals (shared library)
libgeomview-dev (1.9.5-3build1) [universe]
geomview library development package
libglpk40 (4.65-2) [universe]
linear programming kit with integer (MIP) support
libgts-bin (0.7.6+darcs121130-4) [universe]
utility binaries for libgts
liblfunction0 (1.23+dfsg-11build1) [universe]
library for calculating with L-functions
liblpsolve55-dev (5.5.0.15-4build1)
Solve (mixed integer) linear programming problems - library
liblrcalc1 (1.2-2) [universe]
library for calculating Littlewood-Richardson coefficients
liblrs0 (0.70-3) [universe]
package to enumerate vertices and extreme rays (shared libraries)
libmeschach1.2 (1.2b-14) [universe]
library for performing operations on matrices and vectors
libquadrule1 (0~20121001-2build1) [universe]
Quadrature rules and numerical integration routines
libreoffice-nlpsolver (0.9+LibO6.4.7-0ubuntu0.20.04.9) [security]
"Solver for Nonlinear Programming" extension for LibreOffice
librw0 (0.8+ds-1) [universe]
Compute rank-width and rank-decompositions of graphs
libsbml5-octave (5.18.0+dfsg-1build1) [universe]
System Biology Markup Language library - Octave bindings
libsprng2 (2.0a-12) [universe]
SPRNG Scalable Parallel RNG library -- library package
libssreflect-coq (1.10.0+dfsg-2) [universe]
Mathematical Components library for Coq
lie (2.2.2+dfsg-3build1) [universe]
Computer algebra package for Lie group computations
littler (0.3.9-1) [universe]
GNU R scripting and command-line front-end -- transition package
littler
sanal paketi sağlayan r-cran-littler
lp-solve (5.5.0.15-4build1)
Solve (mixed integer) linear programming problems
lrcalc (1.2-2) [universe]
programs for calculating Littlewood-Richardson coefficients
lrslib (0.70-3) [universe]
package to enumerate vertices and extreme rays of a convex polyhedron
lybniz (3.0.4-3) [universe]
mathematical function graph plotter
mandelbulber2 (2.20-1build1) [universe]
3D fractal renderer and animator
mandelbulber2-data (2.20-1build1) [universe]
3D fractal renderer and animator - data files
maria (1.3.5-4.1build2) [universe]
reachability analyzer for Algebraic System Nets
mate-calc (1.24.0-1) [universe]
MATE desktop calculator
mate-calc-common (1.24.0-1) [universe]
MATE desktop calculator (common files)
mathomatic (16.0.5-2build1) [universe]
portable Computer Algebra System (CAS)
mathomatic-primes (16.0.5-2build1) [universe]
prime number tools for mathomatic
matlab2tikz (1.1.0-6) [universe]
converter of Octave plots to TikZ figures (for integration into LaTeX)
maxima (5.43.2-3) [universe]
Computer algebra system -- base system
maxima-doc (5.43.2-3) [universe]
Computer algebra system -- documentation
maxima-emacs (5.43.2-3) [universe]
Computer algebra system -- emacs interface
maxima-sage (5.42.2-2build1) [universe]
Computer algebra system -- base system
maxima-sage-share (5.42.2-2build1) [universe]
Computer algebra system -- extra code
maxima-share (5.43.2-3) [universe]
Computer algebra system -- extra code
maxima-src (5.43.2-3) [universe]
Computer algebra system -- source code
maxima-test (5.43.2-3) [universe]
Computer algebra system -- test suite
mcl (1:14-137+ds-4) [universe]
Markov Cluster algorithm
metamath (0.180-1) [universe]
Language for mathematical proofs
metis (5.1.0.dfsg-5) [universe]
Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
metis-edf (4.1-2-4build2) [multiverse]
Family of Multilevel Partitioning Algorithms
ministat (20150715-1build1) [universe]
simple tool for statistical comparison of data sets
minlog (4.0.99.20100221-6) [universe]
Proof assistant based on first order natural deduction calculus
mlucas (17.1-3ubuntu2) [universe]
program to perform Lucas-Lehmer test on a Mersenne number
mongoose (1:5.7.1+dfsg-2) [universe]
graph partitioning tool that can quickly compute edge cuts (executable)
mrbayes (3.2.6+dfsg-2ubuntu2) [universe]
Bayesian Inference of Phylogeny
mumps-test (5.2.1-2build1) [universe]
Example/test binaries using MUMPS
nauty (2.6r10+ds-1ubuntu1) [universe]
library for graph automorphisms -- interface and tools
nco (4.9.1-1build2) [universe]
Command-line operators to analyze netCDF files
netgen (6.2.1804+dfsg1-3build2) [universe]
Automatic 3d tetrahedral mesh generator
normaliz (3.8.3+ds-2build1) [universe]
math computing tools for affine monoids, rational polytopes and cones
normaliz-bin (3.8.3+ds-2build1) [universe]
math computing tools for affine monoids, rational polytopes and cones - bin
num-utils (0.5-12) [universe]
programs for dealing with numbers from the command line
octave (5.2.0-1) [universe]
GNU Octave language for numerical computations
octave-arduino (0.4.0-1) [universe]
Octave Arduino Toolkit
octave-bim (1.1.5-6) [universe]
PDE solver using a finite element/volume approach in Octave
octave-bsltl (1.3.1-2) [universe]
biospeckle laser tool library for Octave
octave-cgi (0.1.2-2) [universe]
Common Gateway Interface for Octave
octave-common (5.2.0-1) [universe]
architecture-independent files for octave
octave-communications (1.2.2-1build1) [universe]
communications package for Octave
octave-communications-common (1.2.2-1build1) [universe]
communications package for Octave (arch-indep files)
octave-control (3.2.0-3build1) [universe]
computer-aided control system design (CACSD) for Octave
octave-data-smoothing (1.3.0-7) [universe]
functions to do data smoothing on noisy data
octave-database (2.4.4-2build1) [universe]
interface to SQL databases in Octave
octave-dataframe (1.2.0-4) [universe]
manipulate data in Octave similar to R data.frame
octave-dicom (0.2.2-5build1) [universe]
manipulate DICOM files in Octave
octave-divand (1.1.2+dfsg-4) [universe]
n-dimensional interpolation for Octave
octave-doctest (0.7.0-2) [universe]
documentation tests for Octave
octave-econometrics (1:1.1.2-2build1) [universe]
econometrics functions for Octave
octave-financial (0.5.3-2) [universe]
financial package for Octave
octave-fits (1.0.7-5build1) [universe]
manipulation of FITS files in Octave
octave-fpl (1.3.5-5) [universe]
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-fuzzy-logic-toolkit (0.4.5-2) [universe]
fuzzy logic toolkit for Octave
octave-ga (0.10.1-1) [universe]
genetic optimization code for Octave
octave-general (2.1.0-3build1) [universe]
provide extra general functions for Octave
octave-geometry (3.0.0-10build1) [universe]
geometric computing functions for Octave
octave-gsl (2.1.1-3build1) [universe]
GSL binding for Octave
octave-image (2.12.0-2) [universe]
image manipulation for Octave
octave-image-acquisition (0.2.2-3build1) [universe]
image acquisition package for Octave
octave-instrument-control (0.4.0-4build1) [universe]
instrument control for Octave
octave-interval (3.2.0-5build1) [universe]
real-valued interval arithmetic for Octave
octave-io (2.4.13-2build1) [universe]
input/output data functions for Octave
octave-level-set (0.3.0-8build1) [universe]
level-set toolbox for Octave
octave-linear-algebra (2.2.3-1) [universe]
additional linear-algebra functions for Octave
octave-lssa (0.1.3-3build1) [universe]
least squares spectral analysis for Octave
octave-ltfat (2.3.1+dfsg-3build1) [universe]
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.3.1+dfsg-3build1) [universe]
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.2.1-5build2) [universe]
geographical mapping functions for Octave
octave-miscellaneous (1.3.0-1build1) [universe]
miscellaneous tools for Octave
octave-missing-functions (1.0.2-8) [universe]
finds functions that are in Matlab but not in Octave
octave-msh (1.0.10-8build1) [universe]
create and manage meshes for FE or FV solvers in Octave
octave-mvn (1.1.0-2) [universe]
multivariate normal distribution clustering for Octave
octave-nan (3.4.5-2) [universe]
handles data with and without missing values in Octave
octave-ncarray (1.0.4-2) [universe]
access NetCDF files as a multi-dimensional array in Octave
octave-netcdf (1.0.12-3build2) [universe]
Matlab compatible NetCDF interface for Octave
octave-nurbs (1.3.13-6build1) [universe]
non-uniform rational B-splines for Octave
octave-octclip (1.0.8-8build1) [universe]
boolean operations with polygons in Octave
octave-octproj (1.1.5-6build1) [universe]
GNU Octave bindings to PROJ.4
octave-optics (0.1.4-1) [universe]
optics functions for Octave
octave-optim (1.6.0-3build1) [universe]
unconstrained non-linear optimization toolkit for Octave
octave-optiminterp (0.3.6-1) [universe]
optimal interpolation package for Octave
octave-parallel (3.1.3-4build1) [universe]
parallel execution of Octave in clusters of computers
octave-pfstools (2.1.0-5build3) [universe]
octave bindings for pfstools
octave-plplot (5.15.0+dfsg-12ubuntu1) [universe]
Octave support for PLplot, a plotting library
octave-quaternion (2.4.0-6build1) [universe]
quaternion package for Octave
octave-queueing (1.2.6-5) [universe]
Queueing Networks and Markov chains analysis for Octave
octave-secs1d (0.0.9-6build1) [universe]
semi conductor simulator in 1D for Octave
octave-secs2d (0.0.8-11build1) [universe]
semi conductor simulator in 2D for Octave
octave-secs3d (0.0.1-2build1) [universe]
Drift-Diffusion simulator for 3d semiconductor devices in Octave
octave-signal (1.4.1-3build1) [universe]
signal processing functions for Octave
octave-sockets (1.2.0-5build1) [universe]
communication through Internet sockets in Octave
octave-sparsersb (1.0.6-3build1) [universe]
RSB sparse matrix manipulation for Octave
octave-specfun (1.1.0-6) [universe]
special mathematical functions for Octave
octave-splines (1.3.3-1) [universe]
cubic spline functions for Octave
octave-statistics (1.4.1-3) [universe]
additional statistical functions for Octave
octave-stk (2.6.1-2build1) [universe]
(not so) Small Toolbox for Kriging
octave-strings (1.2.0-6build1) [universe]
additional string manipulation functions for Octave
octave-struct (1.0.16-3build1) [universe]
additional structure manipulation functions for Octave
octave-symbolic (2.8.0-2) [universe]
symbolic package for Octave
octave-tsa (4.6.2-1) [universe]
time series analysis in Octave
octave-vibes (0.2.0-5build1) [universe]
VIBes API to easily display results in Octave
octave-video (1.2.4-4build1) [universe]
wrapper for libavformat and libavcodec in Octave
octave-vrml (1.0.13-5) [universe]
VRML functions for Octave
octave-zenity (0.5.7-9) [universe]
simple graphical user interfaces using zenity in Octave
octave-zeromq (1.5.0-2build1) [universe]
ZeroMQ binding for Octave
orpie (1.6.0-3) [universe]
RPN calculator for the terminal
palp (2.1-5) [universe]
Package for Analyzing Lattice Polytopes
pari-elldata (0.20190911-1) [universe]
PARI/GP Computer Algebra System elliptic curves (elldata)
pari-galdata (0.20080411-2) [universe]
PARI/GP Computer Algebra System Galois resolvents (galdata)
pari-galpol (4.0-1) [universe]
PARI/GP Computer Algebra System Galois polynomial database
pari-gp (2.11.2-2) [universe]
PARI/GP Computer Algebra System binaries
pari-gp2c (0.0.11pl2-3) [universe]
PARI/GP GP to C compiler
pari-seadata (0.20090618-1) [universe]
PARI/GP Computer Algebra System modular polynomials (seadata)
parmetis-test (4.0.3-5build1) [multiverse]
Parallel Graph Partitioning and Sparse Matrix Ordering Tests
pdl (1:2.020-3) [universe]
perl data language: Perl extensions for numerics
pgplot5 (5.2.2-19.3build3) [multiverse]
large subroutine library for plotting scientific data
phat-utils (1.5-3build2) [universe]
Utilities from the PHAT library
pi (1.3.6-4build1) [universe]
Compute Archimedes' constant Pi to arbitrary precision
plotdrop (0.5.4-1) [universe]
minimal GNOME frontend to GNUPlot
plotutils (2.6-10build1) [universe]
GNU plotutils command line tools based on libplot
plplot-tcl (5.15.0+dfsg-12ubuntu1) [universe]
Tcl/Tk support for PLplot, a plotting library
plplot-tcl-bin (5.15.0+dfsg-12ubuntu1) [universe]
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.15.0+dfsg-12ubuntu1) [universe]
Tcl/Tk development support for PLplot, a plotting library
polylib-utils (5.22.5-4+dfsg) [universe]
Various tools using libpolylib
polymake (4.0-2ubuntu1) [universe]
Tool for algorithmic discrete geometry
polymake-common (4.0-2ubuntu1) [universe]
Tool for algorithmic discrete geometry -- shared files
primesieve (7.5+ds-3ubuntu1) [universe]
fast prime number generator C/C++ library
primesieve-bin (7.5+ds-3ubuntu1) [universe]
fast prime number generator C/C++ library -- bin
psignifit (2.5.6-5) [universe]
Fitting and testing hypotheses about psychometric functions
ptscotch (6.0.9-1) [universe]
MPI programs and libraries for graph, mesh and hypergraph partitioning
pyecm (2.0.3-1) [universe]
integer factorization with the Elliptic Curve Method (ECM)
pyxplot (0.9.2-11) [universe]
data plotting program producing publication-quality output
qalc (2.8.2-1build3) [universe]
Powerful and easy to use command line calculator
qalculate-gtk (2.8.2-1build1) [universe]
Powerful and easy to use desktop calculator - GTK+ version
qhull-bin (2015.2-4) [universe]
calculate convex hulls and related structures (utilities)
qsopt-ex (2.5.10.3-2) [universe]
Exact linear programming solver
quickplot (1.0.1~rc-1build3) [universe]
fast interactive 2D plotter and data viewer
r-base (3.6.3-2) [universe]
GNU R statistical computation and graphics system
r-base-core (3.6.3-2) [universe]
GNU R core of statistical computation and graphics system
r-base-core-dbg (3.6.3-2) [universe]
GNU R debug symbols for statistical comp. language and environment
r-base-html (3.6.3-2) [universe]
GNU R html docs for statistical computing system functions
r-bioc-hilbertvis (1.44.0-1) [universe]
GNU R package to visualise long vector data
r-cran-abind (1.4-5-1.2) [universe]
GNU R abind multi-dimensional array combination function
r-cran-bayesm (3.1-4+dfsg-1build1) [universe]
GNU R package for Bayesian inference
r-cran-bitops (1.0-6-4) [universe]
GNU R package implementing bitwise operations
r-cran-boot (1.3-24-2) [universe]
GNU R package for bootstrapping functions from Davison and Hinkley
r-cran-cairodevice (2.28-1) [universe]
GNU R Cairo/Gtk2 device driver package
r-cran-car (3.0-6-2) [universe]
GNU R Companion to Applied Regression by John Fox
r-cran-catools (1.18.0-1build1) [universe]
GNU R package providing various utility functions
r-cran-chron (2.3-55-1) [universe]
GNU R package for chronologically ordered objects
r-cran-cluster (2.1.0-2) [universe]
GNU R package for cluster analysis by Rousseeuw et al
r-cran-coda (0.19-3-1) [universe]
Output analysis and diagnostics for MCMC simulations in R
r-cran-codetools (0.2-16-1) [universe]
GNU R package providing code analysis tools
r-cran-combinat (0.0-8-6) [universe]
GNU R package with utilities for combinatorics
r-cran-date (1.2.39-1) [universe]
GNU R package for date handling
r-cran-dbi (1.1.0-2) [universe]
GNU R package providing a generic database interface
r-cran-eco (4.0-1-2) [universe]
GNU R routines for Bayesian ecological inference
r-cran-effects (4.1.4-1) [universe]
GNU R graphical and tabular effects display for glm models
r-cran-fasianoptions (3042.82-1build1) [universe]
GNU R package for financial engineering -- fAsianOptions
r-cran-fassets (3042.84-1build1) [universe]
GNU R package for financial engineering -- fAssets
r-cran-fbasics (3042.89-2) [universe]
GNU R package for financial engineering -- fBasics
r-cran-fbonds (3042.78-3) [universe]
GNU R package for financial engineering -- fBonds
r-cran-fcopulae (3042.82-1build1) [universe]
GNU R package for financial engineering -- fCopulae
r-cran-fexoticoptions (3042.80-2) [universe]
GNU R package for financial engineering -- fExoticOptions
r-cran-fextremes (3042.82-2) [universe]
GNU R package for financial engineering -- fExtremes
r-cran-fgarch (3042.83.1-1) [universe]
GNU R package for financial engineering -- fGarch
r-cran-fimport (3042.85-2) [universe]
GNU R package for financial engineering -- fImport
r-cran-fmultivar (3042.80-2) [universe]
GNU R package for financial engineering -- fMultivar
r-cran-fnonlinear (3042.79-1build1) [universe]
GNU R package for financial engineering -- fNonlinear
r-cran-foptions (3042.86-1build1) [universe]
GNU R package for financial engineering -- fOptions
r-cran-foreign (0.8.75-1) [universe]
GNU R package to read/write data from other stat. systems
r-cran-fportfolio (3042.83-1build1) [universe]
GNU R package for financial engineering -- fPortfolio
r-cran-fregression (3042.82-1build1) [universe]
GNU R package for financial engineering -- fRegression
r-cran-ftrading (3042.79-2) [universe]
GNU R package for financial engineering -- fTrading
r-cran-funitroots (3042.79-1build1) [universe]
GNU R package for financial engineering -- fUnitRoots
r-cran-gdata (2.18.0-2) [universe]
GNU R package with data manipulation tools by Greg Warnes et al
r-cran-getopt (1.20.3-2) [universe]
GNU R package providing command-line parsing functionality
r-cran-gmaps (0.2-4) [universe]
GNU R support for producing geographic maps with grid graphics
r-cran-gmodels (2.18.1-1) [universe]
GNU R package with tools for model fitting by Greg Warnes et al
r-cran-gplots (3.0.1.2-2) [universe]
GNU R package with tools for plotting data by Greg Warnes et al
r-cran-gregmisc (2.1.5-2) [universe]
GNU R package with miscellaneous functions by Greg Warnes et al
r-cran-gtools (3.8.1-1) [universe]
GNU R package with R programming tools by Greg Warnes et al
r-cran-hdf5 (1.6.10-4.1build2) [universe]
GNU R package interfacing the NCSA HDF5 library
r-cran-hmisc (4.3-1-1) [universe]
GNU R miscellaneous functions by Frank Harrell
r-cran-its (1.1.8-7) [universe]
GNU R package for handling irregular time series
r-cran-kernsmooth (2.23-16-1+1) [universe]
GNU R package for kernel smoothing and density estimation
r-cran-lattice (0.20-40-1) [universe]
GNU R package for 'Trellis' graphics
r-cran-latticeextra (0.6-29-2) [universe]
GNU R package of additional graphical displays based on lattice
r-cran-lme4 (1.1-21-2build1) [universe]
GNU R package for linear mixed effects model fitting
r-cran-lmtest (0.9.37-2) [universe]
GNU R package for diagnostic checking in linear models
r-cran-lpsolve (5.6.15-1) [universe]
GNU R package providing linear program solvers
r-cran-mapdata (2.3.0-2) [universe]
GNU R support for producing geographic maps (supplemental data)
r-cran-mapproj (1.2.7-1) [universe]
GNU R support for cartographic projections of map data
r-cran-maps (3.3.0-2) [universe]
GNU R support for producing geographic maps
r-cran-matchit (3.0.2-2) [universe]
GNU R package of nonparametric matching methods
r-cran-matrix (1.2-18-1) [universe]
GNU R package of classes for dense and sparse matrices
r-cran-mcmcpack (1.4-6-1) [universe]
R routines for Markov chain Monte Carlo model estimation
r-cran-mgcv (1.8-31-1) [universe]
GNU R package for multiple parameter smoothing estimation
r-cran-misc3d (0.8-4-4) [universe]
GNU R collection of 3d plot functions and rgl-based isosurfaces
r-cran-mnormt (1.5-6-1) [universe]
GNU R package providing multivariate normal and t distribution
r-cran-mnp (3.1-0-2) [universe]
GNU R package for fitting multinomial probit (MNP) models
r-cran-multcomp (1.4-12-2) [universe]
GNU R package for multiple comparison procedures
r-cran-mvtnorm (1.1-0-1) [universe]
GNU R package to compute multivariate Normal and T distributions
r-cran-nlme (3.1.144-1) [universe]
GNU R package for (non-)linear mixed effects models
r-cran-plotrix (3.7-7-1) [universe]
GNU R package providing various plotting functions
r-cran-polspline (1.1.17-1) [universe]
GNU R package providing polynomial spline fitting
r-cran-psy (1.1-4) [universe]
GNU R procedures for psychometrics
r-cran-qtl (1.45-11-1) [universe]
GNU R package for genetic marker linkage analysis
r-cran-quadprog (1.5-8-1) [universe]
GNU R package for solving quadratic programming problems
r-cran-rcmdr (2.6-2-1) [universe]
GNU R platform-independent basic-statistics GUI
r-cran-rcolorbrewer (1.1-2-2) [universe]
GNU R package providing suitable color palettes
r-cran-rcpp (1.0.3-1build1) [universe]
GNU R package for Seamless R and C++ Integration
r-cran-relimp (1.0-5-3) [universe]
GNU R package for inference on relative importance of regressors
r-cran-rggobi (2.1.22-1) [universe]
GNU R package for the GGobi data visualization system
r-cran-rgl (0.100.50-1) [universe]
GNU R package for three-dimensional visualisation using OpenGL
r-cran-rglpk (0.6-4-1) [universe]
GNU R interface to the GNU Linear Programming Kit
r-cran-rgtk2 (2.20.36-2) [universe]
GNU R binding for Gtk2
r-cran-rjava (0.9-11-2) [universe]
GNU R low-level interface to Java
r-cran-rmpi (0.6-9-1) [universe]
GNU R package interfacing MPI libraries for distributed computing
r-cran-rmysql (0.10.19-1) [universe]
GNU R package providing a DBI-compliant interface to MySQL
r-cran-robustbase (0.93-5-2) [universe]
GNU R package providing basic robust statistics
r-cran-rocr (1.0-7-4) [universe]
GNU R package to prepare and display ROC curves
r-cran-rodbc (1.3-16-1) [universe]
GNU R package for ODBC database access
r-cran-rpart (4.1-15-2) [universe]
GNU R package for recursive partitioning and regression trees
r-cran-rquantlib (0.4.11-2build1) [universe]
GNU R package interfacing the QuantLib finance library
r-cran-rserve (1.7-3.1-2) [universe]
GNU R Rserve tcp/ip server and sample clients
r-cran-rsprng (1.0-5build2) [universe]
GNU R interface to SPRNG (Scalable Parallel RNGs)
r-cran-runit (0.4.32-2) [universe]
GNU R package providing unit testing framework
r-cran-sandwich (2.5-1-2) [universe]
GNU R package for model-robust standard error estimates
r-cran-sm (2.2-5.6-1build1) [universe]
GNU R package for kernel smoothing methods
r-cran-sn (1.5-5-1) [universe]
GNU R package providing skew-normal and skew-t distributions
r-cran-snow (1:0.4.3-1) [universe]
GNU R package for 'simple network of workstations'
r-cran-strucchange (1.5-2-1+1) [universe]
GNU R package for structural change regression estimation
r-cran-survival (3.1-8-1) [universe]
GNU R package for survival analysis
r-cran-timedate (3043.102-1build1) [universe]
GNU R package for financial engineering -- timeDate
r-cran-timeseries (3062.100-1) [universe]
GNU R package for financial engineering -- timeSeries
r-cran-tkrplot (0.0.24-1) [universe]
GNU R embedded Tk plotting device package
r-cran-tseries (0.10-47-2) [universe]
GNU R package for time-series analysis and comp. finance
r-cran-urca (1.3-0-3) [universe]
GNU R package providing unit root and cointegration tests
r-cran-vgam (1.1-2-1) [universe]
GNU R package for estimating vector generalized additive models
r-cran-xml (3.99-0.3-2) [universe]
GNU R package for XML parsing and generation
r-cran-zelig (5.1.6.1-1) [universe]
GNU R package providing a unified front-end for estimating statistical models
r-cran-zoo (1.8-7-2) [universe]
GNU R package for totally ordered indexed observations
r-mathlib (3.6.3-2) [universe]
GNU R standalone mathematics library
r-recommended (3.6.3-2) [universe]
GNU R collection of recommended packages [metapackage]
regina-normal (5.1-6ubuntu1) [universe]
mathematical software for low-dimensional topology
regina-normal-mpi (5.1-6ubuntu1) [universe]
MPI utilities for Regina, the topology software
relational-cli (2.5-2) [universe]
Educational tool for relational algebra (command line interface)
rheolef (7.1-1) [universe]
efficient Finite Element environment
ries (2018.08.05-1) [universe]
find algebraic equations, given their solution
rkward (0.7.0b-2build1) [universe]
KDE frontend to the R statistics language
rkward-data (0.7.0b-2build1) [universe]
KDE frontend to the R statistics language - data files
rubiks (20070912-5build1) [universe]
Small collection of Rubik's cube solvers
sagemath (9.0-1ubuntu4) [universe]
Open Source Mathematical Software
sagemath-common (9.0-1ubuntu4) [universe]
Open Source Mathematical Software - architecture-independent files
sagemath-database-conway-polynomials (0.5-7) [universe]
Database of Conway polynomials
sagemath-database-elliptic-curves (0.8.1-4) [universe]
Databases for elliptic curves
sagemath-database-graphs (20161026+dfsg-4) [universe]
Databases of graphs
sagemath-database-mutually-combinatorial-designs (20140630-5) [universe]
Databases of combinatorial designs
sagemath-database-polytopes (20170220-4) [universe]
Databases of polytopes
sagemath-doc (9.0-1ubuntu4) [universe]
Open Source Mathematical Software - documentation
sagemath-jupyter (9.0-1ubuntu4) [universe]
Open Source Mathematical Software - Jupyter kernel
sc (7.16-4ubuntu3) [universe]
Text-based spreadsheet with VI-like keybindings
scalapack-mpi-test (2.1.0-2build1) [universe]
Scalable Linear Algebra Package - Test files for MPI
scilab (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package for numerical computations
scilab-cli (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package - Command Line Interpreter
scilab-data (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package for numerical computations (data files)
scilab-doc (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package (English documentations)
scilab-full-bin (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package for numerical computations (all binary files)
scilab-include (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package for numerical computations (include files)
scilab-minimal-bin (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package for numerical computations (minimal binary files)
scilab-test (6.1.0+dfsg1-1ubuntu3) [universe]
Scientific software package for numerical computations (test files)
scotch (6.0.9-1) [universe]
programs and libraries for graph, mesh and hypergraph partitioning
sdpa (7.3.14+dfsg-1) [universe]
High-performance package for SemiDefinite Programs
sdpam (7.3.14+dfsg-1) [universe]
Matlab/Octave interface of SDPA
sdpb (1.0-3build6) [universe]
Semidefinite program solver
sgb (1:20090810-1build1) [multiverse]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.1.1-p2+ds-4build2) [universe]
Computer Algebra System for Polynomial Computations
singular-data (1:4.1.1-p2+ds-4build2) [universe]
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.1.1-p2+ds-4build2) [universe]
Computer Algebra System for Polynomial Computations -- console user interface
singular-ui-emacs (1:4.1.1-p2+ds-4build2) [universe]
Computer Algebra System for Polynomial Computations -- emacs user interface
singular-ui-xterm (1:4.1.1-p2+ds-4build2) [universe]
Computer Algebra System for Polynomial Computations -- xterm user interface
socnetv (2.4-1build1) [universe]
Social Network Analysis and Visualisation application
sollya (7.0+ds-3build1) [universe]
library for safe floating-point code development -- tool
spigot (0.2017-01-15.gdad1bbc6-1build2) [universe]
Exact real calculator
spline (1.2-4) [universe]
Akima spline interpolation
st-console (1.1.4-3) [universe]
simple mathematics statistics from the command line interface
stda (1.3.1-2) [universe]
simple tools for data analysis (stda)
surf-alggeo (1.0.6+ds-5build1) [universe]
visualization of real algebraic geometry
surf-alggeo-nox (1.0.6+ds-5build1) [universe]
visualization of real algebraic geometry -- no X support
sympow (2.023.5-2) [universe]
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
sympow-data (2.023.5-2) [universe]
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6+dsx-9) [universe]
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
tachyon-bin-nox (0.99~b6+dsx-9) [universe]
Parallel/Multiprocessor Standalone Ray Tracer - with no X support
tachyon-bin-ogl (0.99~b6+dsx-9) [universe]
Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
tapecalc (20070214-2build3) [universe]
a full-screen tape editor that lets the user edit a calculation
testu01-bin (1.2.3+ds1-1) [multiverse]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3+ds1-1) [multiverse]
testing suite for uniform random number generators -- data
tetgen (1.5.0-5build1) [universe]
Quality Tetrahedral Mesh Generator
tiemu (3.04~git20110801-nogdb+dfsg1-2) [multiverse]
Texas Instruments calculators emulator (without GDB)
tiemu-skinedit (1.27-3) [universe]
skin editor for TiEmu
tilem (2.0-3) [universe]
GTK+ TI Z80 calculator emulator
tilem-data (2.0-3) [universe]
GTK+ TI Z80 calculator emulator (data files)
tilp2 (1.18-3) [universe]
Texas Instruments hand-helds <-> PC communication program for X
twinvoicerecalc (0.0.20170711-1) [universe]
Taiwan invoice reverse calculator
vspline-dev (0.4.1-1) [universe]
header-only C++ template library for uniform b-spline processing
wcalc (2.5-3build1) [universe]
Flexible command-line scientific calculator
why3 (1.2.1-6) [universe]
Software verification platform
why3-coq (1.2.1-6) [universe]
Coq support for the why3 verification platform
why3-doc-html (1.2.1-6) [universe]
HTML Documentation of the why3 verification platform
why3-doc-pdf (1.2.1-6) [universe]
PDF Documentation of the why3 verification platform
why3-examples (1.2.1-6) [universe]
Examples for the why3 verification platform
wxmaxima (19.07.0-1.1build1) [universe]
GUI for the computer algebra system Maxima
wzip (1.1.5) [universe]
Lossy compression and denoising
xmaxima (5.43.2-3) [universe]
Computer algebra system -- x interface
yacas (1.3.6-2build1) [universe]
Computer Algebra System
yale (5.0.95-2) [multiverse]
stellar data set from the Yale Bright Star Catalog
yorick (2.2.04+dfsg1-10) [universe]
interpreted language and scientific graphics
yorick-cubeview (2.2-2) [universe]
3D FITS data viewer specialized in spectro-imaging
yorick-curses (0.1-6build2) [universe]
interface to the (n)curses library for the Yorick language
yorick-data (2.2.04+dfsg1-10) [universe]
interpreted library for the Yorick language
yorick-dev (2.2.04+dfsg1-10) [universe]
development files for the Yorick interpreted language
yorick-gl (1.1+cvs20070922+dfsg-6.1) [universe]
OpenGL 3D graphics support for the Yorick language
yorick-hdf5 (0.8.0-8build1) [universe]
Hierarchical Data Format 5 interface for the Yorick language
yorick-imutil (0.5.7-3) [universe]
fast image manipulation routines for the Yorick language
yorick-ml4 (0.6.0-3) [universe]
Matlab file format support for the Yorick language
yorick-optimpack (1.3.2+dfsg+1.4.0-1) [universe]
optimization of large scale problems for the Yorick language
yorick-soy (1.4.0-3) [universe]
sparse matrix operations for the Yorick language
yorick-yeti (6.4.0-1) [universe]
utility plugin for the Yorick language
yorick-yeti-fftw (6.4.0-1) [universe]
FFT plugin for the Yorick language
yorick-yeti-regex (6.4.0-1) [universe]
POSIX regular expressions for the Yorick language
yorick-yeti-tiff (6.4.0-1) [universe]
TIFF image format input for the Yorick language
yorick-yutils (1.5.2-1) [universe]
various utilities for the Yorick language
yorick-z (1.2.0+cvs20080115-5build1) [universe]
zlib, jpeg and png support for the Yorick language