Balíky softvéru v „lucid“, Subsekcia math

acl2 (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: main binary

acl2-books (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: library sources

acl2-emacs (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: emacs interface

acl2-infix (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: infix source

acl2-source (3.6-4) [universe]

A Computational Logic for Applicative Common Lisp: source files

admesh (0.95-7) [universe]

a tool for processing triangulated solid meshes

alt-ergo (0.9-1build1) [universe]

Automatic theorem prover dedicated to program verification

ann-tools (1.1.1+doc-2.1) [universe]

Approximate Nearest Neighbor Searching library (tools)

apcalc (2.12.3.3-1ubuntu1) [universe]

Arbitrary precision calculator (original name: calc)

apcalc-common (2.12.3.3-1ubuntu1) [universe]

Arbitrary precision calculator (common files)

aribas (1.63-5) [universe]

interpreter for arithmetic

autoclass (3.3.4-7.1) [universe]

automatic classification or clustering

axiom (20091101-7) [universe]

A general purpose computer algebra system: main binary and modules

axiom-databases (20091101-7) [universe]

A general purpose computer algebra system: generated text databases

axiom-graphics (20091101-7) [universe]

A general purpose computer algebra system: graphics subsystem

axiom-graphics-data (20091101-7) [universe]

A general purpose computer algebra system: graphics subsystem

axiom-hypertex (20091101-7) [universe]

A general purpose computer algebra system: hypertex subsystem

axiom-hypertex-data (20091101-7) [universe]

A general purpose computer algebra system: hypertex subsystem

axiom-source (20091101-7) [universe]

A general purpose computer algebra system: source files

axiom-test (20091101-7) [universe]

A general purpose computer algebra system: regression test inputs

axiom-tex (20091101-7) [universe]

A general purpose computer algebra system: style file for TeX

bc (1.06.95-2)

The GNU bc arbitrary precision calculator language

blacs-mpi-test (1.1-28.2build1) [universe]

Basic Linear Algebra Comm. Subprograms - Test files for MPI

blacs-test-common (1.1-28.2build1) [universe]

Test data for BLACS testers

bugsx (1.08-12) [multiverse]

program to evolve biomorphs using genetic algorithms

cadabra (1.16-1) [universe]

field-theory motivated computer algebra system

cantor (4:4.4.2-0ubuntu2)

KDE frontend to mathematical software

carmetal (2.9.8.2-1) [universe]

dynamic geometry software with highly ergonomic UI

cimg-dev (1.3.2-2) [universe]

powerful image processing library

circlepack (5.1-6) [universe]

creation and display of circle packings

concalc (0.9.2-1) [universe]

console calculator

coq (8.2.pl1+dfsg-6) [universe]

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

coq-theories (8.2.pl1+dfsg-6) [universe]

proof assistant for higher-order logic (theories)

coqide (8.2.pl1+dfsg-6) [universe]

proof assistant for higher-order logic (gtk interface)

cpushare (0.48-4) [universe]

client and server for the CPUShare distributed computing platform

cvc3 (2.2-7) [universe]

An automatic theorem prover for SMT problems

cvc3-el (2.2-7) [universe]

Emacs mode for CVC3

dc (1.06.95-2)

The GNU dc arbitrary precision reverse-polish calculator

dicelab (0.7-1) [universe]

evaluate the statistical distribution of dice rolls

dolfin-bin (0.9.7-1) [universe]

Executable scripts for DOLFIN

drgeo (1.1.0-4) [universe]

An interactive geometry software

dynare (4.0.4-6build1) [universe]

suite for non-linear models with forward looking variables

dynare-common (4.0.4-6build1) [universe]

platform independent files for Dynare

dynare-matlab (4.0.4-6build1) [multiverse]

MEX files for MATLAB users of Dynare

edenmath.app (1.1.1a-7build2) [universe]

Scientific calculator for GNUstep

ess (5.7.1-1) [universe]

Emacs mode for statistical programming and data analysis

eukleides (1.0.3-3) [universe]

Euclidean geometry drawing language

euler (1.61.0-8) [universe]

interactive mathematical programming environment

euler-doc (1.61.0-8) [universe]

documentation for the mathematical programming environment Euler

evolver (2.30c-1) [universe]

Surface Evolver

extcalc (0.9.2-1) [universe]

multifunctional scientific graphic calculator

fenics (9.12.1) [universe]

automation of computational mathematical modeling

formed (3.3f-1) [universe]

formula editor for first-order logic formulae

frama-c (20090902+beryllium+dfsg-4) [universe]

Framework for source code analysis of software written in C

freefem (3.5.8-4.2) [universe]

A PDE oriented language using Finite Element Method

freefem-examples (3.5.8-4.2) [universe]

Example files for FreeFEM

freefem3d (1.0pre10-2.1) [universe]

A language and solver for partial differential equations in 3D

freemat (4.0-2ubuntu1) [universe]

mathematics framework (mostly matlab compatible)

freemat-data (4.0-2ubuntu1) [universe]

freemat data files

freemat-help (4.0-2ubuntu1) [universe]

freemat help files

galculator (1.3.4-1ubuntu2) [universe]

A GTK+ 2.0 based calculator

galculator-hildon (1.3.4-1ubuntu2) [universe]

A GTK+ 2.0 based calculator for Hildon-based systems

gambit (0.2006.01.20-3) [universe]

Game theory analysis software and tools

gambit-doc (0.97.0-1) [universe]

documentation for gambit

gap (4r4p12-1) [universe]

Groups, Algorithms and Programming computer algebra system

gap-character-tables (1r1p3-5) [universe]

GAP Library of character tables

gap-core (4r4p12-1) [universe]

GAP computer algebra system, core components

gap-guava (3.6-2) [universe]

Coding theory library for GAP

gap-libs (4r4p12-1) [universe]

GAP computer algebra system, essential GAP libraries

gap-online-help (4r4p12-1) [universe]

GAP computer algebra system, online help

gap-prim-groups (4r4p10-1) [universe]

Database of primitive groups for GAP

gap-small-groups (4r4p10-1) [universe]

Database of small groups for GAP

gap-small-groups-extra (4r4p10-1) [universe]

Large database of small groups for GAP

gap-table-of-marks (1r1p4-1) [universe]

GAP table of marks library

gap-trans-groups (4r4p10-1) [universe]

Database of transitive groups for GAP

gbase (0.5-2.2) [universe]

small numeric base converter

gcalctool (5.30.0.is.5.28.2-0ubuntu2)

GNOME desktop calculator

genus2reduction (0.3-2) [universe]

Conductor and Reduction Types for Genus 2 Curves

geomview (1.9.4-1) [universe]

interactive geometry viewing program

gerris (20091109-dfsg.1-1) [universe]

Gerris Flow Solver

gfan (0.3dfsg-1) [universe]

Program for computing with Groebner fans

gfm (1.03-2build1) [universe]

Texas Instruments hand-helds file manipulation program for X

ggobi (2.1.9~20091212-1) [universe]

Data visualization system for high-dimensional data

ginac-tools (1.5.5-1) [universe]

Some tools for the GiNaC symbolic framework

gliese (3.0.95-1) [multiverse]

stellar data set from the Third Catalogue of Nearby Stars

glpk (4.38-1ubuntu1) [universe]

linear programming kit

glpk-utils (4.38-1ubuntu1) [universe]

linear programming kit - utility files

gmp-ecm (6.2-1) [universe]

Factor integers using the Elliptic Curve Method

gmsh (2.4.2.dfsg-1) [universe]

three-dimensional finite element mesh generator

gnumeric (1.10.1-1ubuntu1) [universe]

spreadsheet application for GNOME - main program

gnumeric-common (1.10.1-1ubuntu1) [universe]

spreadsheet application for GNOME - common files

gnumeric-gtk (1.10.1-1ubuntu1) [universe]

spreadsheet application for GNOME - Transitional package

gnumeric-plugins-extra (1.10.1-1ubuntu1) [universe]

spreadsheet application for GNOME - additional plugins

gnuplot (4.2.6-1) [universe]

A command-line driven interactive plotting program

gnuplot-mode (1:0.6.0-4) [universe]

Yet another Gnuplot mode for Emacs

gnuplot-nox (4.2.6-1) [universe]

A command-line driven interactive plotting program

gnuplot-x11 (4.2.6-1) [universe]

A command-line driven interactive plotting program

grace (1:5.1.22-5) [universe]

An XY plotting tool

graphmonkey (1.7-2) [universe]

a GTK#-based graphing calculator

graphthing (1.3.2-2) [universe]

tool to create, manipulate and study graphs

gretl (1.8.7-1) [universe]

The GNU Regression, Econometric & Time-Series Library

gretl-common (1.8.7-1) [universe]

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

gretl-data (1.8.7-1) [universe]

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

gretl-doc (1.8.7-1) [universe]

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

grinvin (1.2-1) [multiverse]

interactive software for studying graphs and their invariants

grpn (1.1.2-3) [universe]

GTK+ reverse polish notation calculator

gsl-bin (1.13+dfsg-1) [universe]

GNU Scientific Library (GSL) -- binary package

gsl-ref-html (1.13-1) [universe]

GNU Scientific Library (GSL) Reference Manual in html

gsl-ref-psdoc (1.13-1) [universe]

GNU Scientific Library (GSL) Reference Manual in postscript

hol88 (2.02.19940316-9) [universe]

Higher Order Logic, system image

hol88-contrib-help (2.02.19940316-9) [universe]

Higher Order Logic, user contributed online help files

hol88-contrib-source (2.02.19940316-9) [universe]

Higher Order Logic, user contributed source

hol88-doc (2.02.19940316-9) [universe]

Documentation for hol88

hol88-help (2.02.19940316-9) [universe]

Higher Order Logic, online help files

hol88-library (2.02.19940316-9) [universe]

Higher Order Logic, binary library modules

hol88-library-help (2.02.19940316-9) [universe]

Higher Order Logic, library online help files

hol88-library-source (2.02.19940316-9) [universe]

Higher Order Logic, library source files

hol88-source (2.02.19940316-9) [universe]

Higher Order Logic, source files

hyantesite (1.2.1-1) [universe]

geomatic tool to compute neighbourhood population potential

jacal (1b9-2.1) [universe]

Interactive symbolic math system

jags (1.0.4-4) [universe]

Just Another Gibbs Sampler for Bayesian MCMC simulation

jgraph (83-22) [universe]

Jim Plank's program for producing PostScript graphs

kali (3.1-10) [universe]

Draw tilings, frieze patterns, and so on

kayali (0.3.2-0ubuntu3) [universe]

A Qt-based Computer Algebra System

kbruch (4:4.4.2-0ubuntu2)

fraction learning aid for KDE 4

kcalc (4:4.4.5-0ubuntu1.2) [security]

calculator for KDE 4

kig (4:4.4.2-0ubuntu2)

interactive geometry tool for KDE 4

kitsune (2.0-0ubuntu3) [universe]

Program to solve mathematical problems

kmplot (4:4.4.2-0ubuntu2)

mathematical function plotter for KDE 4

kseg (0.4.0.3-2) [universe]

Sketchpad for planar Euclidean geometry

ladr4-apps (0.0.200902a-2) [universe]

the LADR deduction library, miscellaneous applications

lbt (1.2.2-4) [universe]

converts from LTL formulas to Büchi automata

lcalc (0.0.20080205-1) [universe]

a program for calculating with L-functions

libcdd-test (094b.dfsg-4) [universe]

Test programs for libcdd-dev

libfreefem0 (3.5.8-4.2) [universe]

Shared libraries for FreeFEM

libgeomview-1.9.4 (1.9.4-1) [universe]

geomview library runtime

libgeomview-dev (1.9.4-1) [universe]

geomview library development package

libglpk0 (4.38-1ubuntu1) [universe]

linear programming kit with integer (MIP) support

libgsl0ldbl (1.13+dfsg-1)

GNU Scientific Library (GSL) -- library package

libgts-bin (0.7.6+darcs090508-1) [universe]

utility binaries for libgts

liblpsolve55-dev (5.5.0.13-7)

Solve (mixed integer) linear programming problems - library

liblrs0d (0.42c-1) [universe]

package to enumerate vertices and extreme rays (shared libraries)

libmeschach1.2 (1.2b-13) [universe]

library for performing operations on matrices and vectors

libpgapack-mpi1 (1.1.1-1) [universe]

A general-purpose genetic algorithm package

libpgapack-serial1 (1.1.1-1) [universe]

A general-purpose genetic algorithm package

libplplot-ada (5.9.5-3) [universe]

Ada support for PLplot, a plotting library

libscilab-java (5.2.1-8) [universe]

Scientific software package for numerical computations (Java API)

libsprng2 (2.0a-5) [universe]

The SPRNG Scalable Parallel RNG library -- library package

libssreflect-coq (1.2+dfsg-3build1) [universe]

small scale reflection library for Coq (theories)

libssreflect-ocaml (1.2+dfsg-3build1) [universe]

small scale reflection extension for Coq (plugin)

libtachyon-0.98 (0.98~beta.dfsg-1) [universe]

Parallel/Multiprocessor Ray Tracing Software, shared library

lie (2.2.2+dfsg-1) [universe]

Computer algebra package for Lie group computations

littler (0.1.3-1) [universe]

GNU R scripting and command-line front-end

lp-solve (5.5.0.13-7)

Solve (mixed integer) linear programming problems

lrslib (0.42c-1) [universe]

package to enumerate vertices and extreme rays of a convex polyhedron

lybniz (1.3.2-2) [universe]

mathematical function graph plotter

mace2 (3.3f-1) [universe]

program that searches for finite models of first-order statements

magnus (20060324-5.2ubuntu1) [universe]

Computational group theory software with GUI

maria (1.3.5-2) [universe]

reachability analyzer for Algebraic System Nets

mascyma (0.59-1ubuntu3) [universe]

A user-friendly frontend for MAXIMA

mathomatic (15.0.4-1) [universe]

portable Computer Algebra System (CAS)

mathomatic-primes (15.0.4-1) [universe]

prime number tools for mathomatic

matita (0.5.8-2build2) [universe]

interactive theorem prover

maxima (5.20.1-5ubuntu1) [universe]

A computer algebra system -- base system

maxima-doc (5.20.1-5ubuntu1) [universe]

A computer algebra system -- documentation

maxima-emacs (5.20.1-5ubuntu1) [universe]

A computer algebra system -- emacs interface

maxima-share (5.20.1-5ubuntu1) [universe]

A computer algebra system -- extra code

maxima-src (5.20.1-5ubuntu1) [universe]

A computer algebra system -- source code

maxima-test (5.20.1-5ubuntu1) [universe]

A computer algebra system -- test suite

mcl (1:09-308-1) [universe]

the Markov Cluster algorithm

minlog (4.0.99.20100221-5) [universe]

Proof assistant based on first order natural deduction calculus

model-builder (0.4.1-4ubuntu1) [universe]

graphical ODE simulator

mrbayes (3.1.2-0ubuntu2) [universe]

A program for the Bayesian estimation of phylogeny

multimix (19981218-12) [universe]

automatic classification or clustering

mumps-test (4.9.2.dfsg-2) [universe]

Example/test binaries using MUMPS

nauty (2.4-2) [multiverse]

command line tools to compute graph automorphisms

nco (3.9.9-1) [universe]

command-line operators to analyze netCDF files

num-utils (0.5-11) [universe]

programs for dealing with numbers from the command line

octave-ad (1.0.6-3build1) [universe]

automatic forward differentiation in Octave

octave-ann (1.0.2+dfsg-2build1) [universe]

octave binding to the approximate nearest neighbors library

octave-audio (1.1.4-2build1) [universe]

functions to work with audio files in Octave

octave-benchmark (1.1.1-1) [universe]

code to benchmark speed of Octave

octave-bim (0.1.1-2) [universe]

PDE solver using a finite element/volume approach in Octave

octave-bioinfo (0.1.2-1) [universe]

bioinformatic functions for Octave

octave-combinatorics (1.0.9-2build1) [universe]

combinatorics function for Octave

octave-communications (1.0.10-1build1) [universe]

communications package for Octave

octave-communications-common (1.0.10-1build1) [universe]

communications package for Octave (arch-indep files)

octave-control (1.0.11-2) [universe]

control functions for Octave from Octave-Forge

octave-data-smoothing (1.2.0-2) [universe]

functions to do data smoothing on noisy data

octave-econometrics (1:1.0.8-2build1) [universe]

econometrics functions for Octave

octave-epstk (2.2-14) [universe]

GNU Octave encapsulated postscript toolkit

octave-financial (0.3.2-1) [universe]

financial manipulation and plotting functions

octave-fixed (0.7.10-2build1) [universe]

fixed point computation for Octave

octave-fpl (0.1.6-2) [universe]

plot data on unstructured triangular and tetrahedral meshes in Octave

octave-ftp (1.0.2-4build1) [universe]

Octave binding for ftplib, and MATLAB compatible APIs

octave-ga (0.9.7-1) [universe]

genetic optimization code for Octave

octave-general (1.1.3-2build1) [universe]

provide extra general functions for Octave

octave-gsl (1.0.8-2build1) [universe]

GSL binding for Octave

octave-ident (1.0.7-2) [universe]

system identification functions for Octave

octave-image (1.0.10-2build1) [universe]

image manipulation for Octave

octave-informationtheory (0.1.8-1) [universe]

information theory functions for Octave

octave-integration (1.0.7-2) [universe]

numerical integration toolbox for Octave

octave-io (1.0.9-1build1) [universe]

input/output data functions for Octave

octave-irsa (1.0.7-2) [universe]

irregular sampling analysis functions for Octave

octave-linear-algebra (1.0.8-1build1) [universe]

additional linear-algebra functions for Octave

octave-mapping (1.0.7-2) [universe]

geographical mapping functions for Octave

octave-miscellaneous (1.0.9-1build1) [universe]

miscellaneous tools for Octave

octave-missing-functions (1.0.2-2) [universe]

finds functions that are in Matlab but not in Octave

octave-msh (0.1.1-2) [universe]

create and manage meshes for FE or FV solvers in Octave

octave-multicore (0.2.15-1build1) [universe]

parallel processing on multiple cores for Octave

octave-nan (1.0.9-1build1) [universe]

handles data with and without missing values in Octave

octave-nlwing2 (1.1.1-3build1) [universe]

nonlinear lifting line for wings in Octave

octave-nnet (0.1.10-2) [universe]

feed forward multi-layer neural network functions for Octave

octave-nurbs (1.0.2-1build1) [universe]

non-uniform rational B-splines for Octave

octave-ocs (0.0.4-1) [universe]

circuit simulator for Octave

octave-octcdf (1.0.13-1build1) [universe]

NetCDF data files interface for Octave

octave-octgpr (1.1.5-2build1) [universe]

functions to smooth and interpolate scattered data in Octave

octave-odepkg (0.6.7-1build1) [universe]

solve differential equations and initial value problems in Octave

octave-optim (1.0.6-1build1) [universe]

unconstrained non-linear optimization toolkit for Octave

octave-optiminterp (0.3.2-2build1) [universe]

optimal interpolation package for Octave

octave-outliers (0.13.9-2) [universe]

outliers detection function for Octave

octave-parallel (2.0.0-2build1) [universe]

parallel execution of Octave in clusters of computers

octave-pdb (1.0.7-2build1) [universe]

process files from protein databank in Octave

octave-pfstools (1.8.1-1.1build1) [universe]

octave bindings for pfstools

octave-physicalconstants (0.1.7-2) [universe]

provide physical constants values in Octave

octave-plot (1.0.7-2) [universe]

additional plotting tools for Octave

octave-plplot (5.9.5-3) [universe]

Octave support for PLplot, a plotting library

octave-secs1d (0.0.8-2build1) [universe]

semi conductor simulator in 1D for Octave

octave-secs2d (0.0.8-2build1) [universe]

semi conductor simulator in 2D for Octave

octave-signal (1.0.10-1build1) [universe]

signal processing functions for Octave

octave-simp (1.1.0-2) [universe]

single interval mathematics package for Octave

octave-sockets (1.0.6-1build1) [universe]

communication through Internet sokects in Octave

octave-sp (1:2003-10) [universe]

Semidefinite Programming functions for GNU Octave

octave-specfun (1.0.8-3build1) [universe]

special mathematical functions for Octave

octave-splines (1.0.7-2) [universe]

cubic spline functions for Octave

octave-statistics (1.0.9-1) [universe]

additional statistical functions for Octave

octave-strings (1.0.7-2) [universe]

additional string manipulation functions for Octave

octave-struct (1.0.7-2) [universe]

additional structure manipulation functions for Octave

octave-symband (1.0.10-1build1) [universe]

symmetric banded matrices for Octave

octave-symbolic (1.0.9-1build1) [universe]

symbolic package for Octave

octave-time (1.0.9-2) [universe]

date format manipulation function for Octave

octave-tsa (4.0.1-2) [universe]

time series analysis in Octave

octave-vrml (1.0.10-2) [universe]

VRML functions for Octave

octave-xraylib (1.0.8-2build1) [universe]

Octave bindings to the xraylib functions

octave-zenity (0.5.7-2) [universe]

simple graphical user interfaces using zenity in Octave

octave2.9 (1:3.0.5-7ubuntu2) [universe]

GNU Octave language for numerical computations (dummy package)

octave2.9-emacsen (1:3.0.5-7ubuntu2) [universe]

Emacs support for the GNU Octave language (dummy package)

octave2.9-headers (1:3.0.5-7ubuntu2) [universe]

header files for the GNU Octave language (dummy package)

octave2.9-info (1:3.0.5-7ubuntu2) [universe]

GNU Info documentation on the GNU Octave language (dummy package)

octave3.0 (1:3.0.5-7ubuntu2) [universe]

GNU Octave language for numerical computations (3.0 branch)

octave3.0-emacsen (1:3.0.5-7ubuntu2) [universe]

Emacs support for the GNU Octave language (3.0 branch)

octave3.0-headers (1:3.0.5-7ubuntu2) [universe]

header files for the GNU Octave language (3.0 branch)

octave3.0-htmldoc (1:3.0.5-7ubuntu2) [universe]

HTML documentation on the GNU Octave language (3.0 branch)

octave3.0-info (1:3.0.5-7ubuntu2) [universe]

GNU Info documentation on the GNU Octave language (3.0 branch)

octave3.2 (3.2.3-1build1) [universe]

GNU Octave language for numerical computations (3.2 branch)

octave3.2-emacsen (3.2.3-1build1) [universe]

Emacs support for the GNU Octave language (3.2 branch)

octave3.2-headers (3.2.3-1build1) [universe]

header files for the GNU Octave language (3.2 branch)

octave3.2-info (3.2.3-1build1) [universe]

GNU Info documentation on the GNU Octave language (3.2 branch)

otter (3.3f-1) [universe]

resolution-style theorem prover

palp (1.1-1) [universe]

A Package for Analyzing Lattice Polytopes

pari-extra (2.1-1) [universe]

PARI/GP Computer Algebra System extra data files

pari-gp (2.3.4-3) [universe]

PARI/GP Computer Algebra System binaries

pari-gp2c (0.0.5pl8-1) [universe]

PARI/GP GP to C compiler

parmetis-test (3.1.1-1) [multiverse]

Parallel Graph Partitioning and Sparse Matrix Ordering Tests

pcx (1.1.18-2) [multiverse]

primal-dual interior-point code for linear programming

pdl (1:2.4.5+dfsg-2ubuntu1) [universe]

perl data language: Perl extensions for numerics

pgapack (1.1.1-1) [universe]

A general-purpose genetic algorithm package

pgplot5 (5.2.2-15) [multiverse]

large subroutine library for plotting scientific data

pi (1.3.1-2) [universe]

Compute Archimedes' constant Pi to arbitrary precision

picviz (0.5-1) [universe]

Parallel coordinates plotter

plotdrop (0.5.2-3) [universe]

A minimal GNOME frontend to GNUPlot

plotutils (2.6-0ubuntu1) [universe]

The GNU plotutils (plotting utilities) package

plplot-bin (5.9.5-3) [universe]

Scientific plotting library (utilities)

plplot-tcl (5.9.5-3) [universe]

Tcl/Tk support for PLplot, a plotting library

plplot-tcl-dev (5.9.5-3) [universe]

Tcl/Tk development support for PLplot, a plotting library

prover9 (0.0.200902a-2) [universe]

theorem prover and countermodel generator

prover9-mace4 (0.5.dfsg-2) [universe]

GUI for Prover9 and Mace4

psignifit (2.5.6-3) [universe]

Fitting and testing hypotheses about psychometric functions

pspp (0.6.2-3) [universe]

Statistical analysis tool

pyecm (2.0-1) [universe]

Integer factorization with the Elliptic Curve Method (ECM)

python-glpk (0.1.38-1) [universe]

Python bindings to the GNU Linear Programming Kit

python-gmpy (1.10-1) [universe]

Interfaces GMP to Python for fast, unbound-precision computations

python-mpi (2.8-1.2) [universe]

MPI module for Python

pyxplot (0.7.1+1-1) [universe]

data plotting program producing publication-quality output

qalc (0.9.6-4ubuntu2) [universe]

Powerful and easy to use command line calculator

qalculate-gtk (0.9.6-3ubuntu1) [universe]

Powerful and easy to use desktop calculator - GTK+ version

qalculate-kde (0.9.6-3ubuntu2) [universe]

Powerful and easy to use desktop calculator - KDE version

qgfe (1.0-1.1) [universe]

QT based Gnuplot Front End

qhull-bin (2009.1-1) [universe]

calculate convex hulls and related structures (utilities)

qtiplot (0.9.7.10+r1453-1ubuntu2) [universe]

data analysis and scientific plotting

qtoctave (0.8.2+dfsg-2ubuntu1) [universe]

A Qt front-end to Octave

quickplot (0.8.15-1) [universe]

fast interactive 2D plotter and data viewer

r-base (2.10.1-2) [universe]

GNU R statistical computation and graphics system

r-base-core (2.10.1-2) [universe]

GNU R core of statistical computation and graphics system

r-base-core-dbg (2.10.1-2) [universe]

GNU R debug symbols for statistical comp. language and environment

r-base-core-ra (1.2.8-4) [universe]

'ra' variant of GNU R core of statistical computing language and environment

r-base-html (2.10.1-2) [universe]

GNU R html docs for statistical computing system functions

r-bioc-hilbertvis (1.5.0-2) [universe]

GNU R package to visualise long vector data

r-cran-abind (1.1.0-4) [universe]

GNU R abind multi-dimensional array combination function

r-cran-bayesm (2.2-2-1) [universe]

GNU R package for Bayesian inference

r-cran-bitops (1.0-4.1-1) [universe]

GNU R package implementing bitwise operations

r-cran-boot (1.2.41-1) [universe]

GNU R package for bootstrapping functions from Davison and Hinkley

r-cran-cairodevice (2.10-2) [universe]

GNU R Cairo/Gtk2 device driver package

r-cran-car (1.2-16-2) [universe]

GNU R Companion to Applied Regression by John Fox

r-cran-catools (1.9-1) [universe]

GNU R package providing various utility functions

r-cran-chron (2.3-33-1) [universe]

GNU R package for chronologically ordered objects

r-cran-cluster (1.12.1-2) [universe]

GNU R package for cluster analysis by Rousseeuw et al

r-cran-coda (0.13-4-2) [universe]

Output analysis and diagnostics for MCMC simulations in R

r-cran-codetools (0.2-2-2) [universe]

GNU R package providing code analysis tools

r-cran-combinat (0.0-7-1) [universe]

GNU R package with utilities for combinatorics

r-cran-date (1.2.29-1) [universe]

GNU R package for date handling

r-cran-dbi (0.2-5-1) [universe]

GNU R package providing a generic database interface

r-cran-design (2.3-0-2) [universe]

GNU R regression modeling strategies tools by Frank Harrell

r-cran-eco (3.1-4-1) [universe]

GNU R routines for Bayesian ecological inference

r-cran-effects (2.0.10-1) [universe]

GNU R graphical and tabular effects display for glm models

r-cran-farma (2100.76-2) [universe]

GNU R package for financial engineering -- fArma

r-cran-fasianoptions (2100.76-2) [universe]

GNU R package for financial engineering -- fAsianOptions

r-cran-fassets (2100.78-2) [universe]

GNU R package for financial engineering -- fAssets

r-cran-fbasics (2100.78-2) [universe]

GNU R package for financial engineering -- fBasics

r-cran-fbonds (2100.75-2) [universe]

GNU R package for financial engineering -- fBonds

r-cran-fcopulae (2110.78-1) [universe]

GNU R package for financial engineering -- fCopulae

r-cran-fecofin (290.76-2) [universe]

GNU R package for financial engineering -- fEcofin

r-cran-fexoticoptions (2110.77-1) [universe]

GNU R package for financial engineering -- fExoticOptions

r-cran-fextremes (2100.77-2) [universe]

GNU R package for financial engineering -- fExtremes

r-cran-fgarch (2110.80-1) [universe]

GNU R package for financial engineering -- fGarch

r-cran-fimport (2110.78-1) [universe]

GNU R package for financial engineering -- fImport

r-cran-fmultivar (2100.76-2) [universe]

GNU R package for financial engineering -- fMultivar

r-cran-fnonlinear (2100.76-3) [universe]

GNU R package for financial engineering -- fNonlinear

r-cran-foptions (2100.76-2) [universe]

GNU R package for financial engineering -- fOptions

r-cran-foreign (0.8.39-1) [universe]

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

r-cran-fportfolio (2100.78-2) [universe]

GNU R package for financial engineering -- fPortfolio

r-cran-fregression (2100.76-2) [universe]

GNU R package for financial engineering -- fRegression

r-cran-ftrading (2100.76-2) [universe]

GNU R package for financial engineering -- fTrading

r-cran-funitroots (2100.76-2) [universe]

GNU R package for financial engineering -- fUnitRoots

r-cran-futilities (2100.77-2) [universe]

GNU R package for financial engineering -- fUtilities

r-cran-gdata (2.7.1-1) [universe]

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

r-cran-getopt (1.14-2) [universe]

GNU R package providing command-line parsing functionality

r-cran-gmaps (0.1-2) [universe]

GNU R support for producing geographic maps with grid graphics

r-cran-gmodels (2.15.0-2) [universe]

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

r-cran-gplots (2.7.4-1) [universe]

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

r-cran-gregmisc (2.1.1-1) [universe]

GNU R package with miscellaneous functions by Greg Warnes et al

r-cran-gtools (2.6.1-2) [universe]

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

r-cran-hdf5 (1.6.9-2build1) [universe]

GNU R package interfacing the NCSA HDF5 library

r-cran-hmisc (3.7-0-3) [universe]

GNU R miscellaneous functions by Frank Harrell

r-cran-its (1.1.8-2) [universe]

GNU R package for handling irregular time series

r-cran-jit (1.0-4-2) [universe]

GNU R package just-in-time compilation support

r-cran-kernsmooth (2.23-3-2) [universe]

GNU R package for kernel smoothing and density estimation

r-cran-lattice (0.18-3-1) [universe]

GNU R package for 'Trellis' graphics

r-cran-latticeextra (0.6-5-1) [universe]

GNU R package of additional graphical displays based on lattice

r-cran-lme4 (0.999375-32-1) [universe]

GNU R package for linear mixed effects model fitting

r-cran-lmtest (0.9.26-1) [universe]

GNU R package for diagnostic checking in linear models

r-cran-lpsolve (5.6.4-2) [universe]

GNU R package providing linear program solvers

r-cran-mapdata (2.1-0-1) [universe]

GNU R support for producing geographic maps (supplemental data)

r-cran-mapproj (1.1-8.2-1) [universe]

GNU R support for cartographic projections of map data

r-cran-maps (2.1-0-1) [universe]

GNU R support for producing geographic maps

r-cran-matchit (2.4-13-1) [universe]

GNU R package of nonparametric matching methods

r-cran-matrix (0.999375-33-1) [universe]

GNU R package of classes for dense and sparse matrices

r-cran-mcmcpack (1.0-4-2) [universe]

GNU R routines for Markov chain Monte Carlo model estimation

r-cran-mgcv (1.6-1-1) [universe]

GNU R package for multiple parameter smoothing estimation

r-cran-misc3d (0.7-0-2) [universe]

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

r-cran-mnormt (1.3-3-2) [universe]

GNU R package providing multivariate normal and t distribution

r-cran-mnp (2.6-1-1) [universe]

GNU R package for fitting multinomial probit (MNP) models

r-cran-multcomp (1.1-4-1) [universe]

GNU R package for multiple comparison procedures

r-cran-mvtnorm (0.9-8-1) [universe]

GNU R package to compute multivariate Normal and T distributions

r-cran-nlme (3.1.96-1) [universe]

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

r-cran-nws (2.0.0.3-1) [universe]

GNU R package for distributed programming via NetWorkSpaces

r-cran-plotrix (2.7.2-1) [universe]

GNU R package providing various plotting functions

r-cran-polspline (1.1.4-2) [universe]

GNU R package providing polynomial spline fitting

r-cran-pscl (1.03-1) [universe]

GNU R package for discrete data models

r-cran-psy (1.0-2) [universe]

GNU R procedures for psychometrics

r-cran-qtl (1.14-2-1) [universe]

GNU R package for genetic marker linkage analysis

r-cran-quadprog (1.4.12-1) [universe]

GNU R package for solving quadratic programming problems

r-cran-rcmdr (1.5-4-1) [universe]

GNU R platform-independent basic-statistics GUI

r-cran-rcolorbrewer (1.0-2-2) [universe]

GNU R package providing suitable color palettes

r-cran-rcpp (0.7.3-1) [universe]

GNU R / C++ interface classes and examples

r-cran-relimp (1.0-1-2) [universe]

GNU R package for inference on relative importance of regressors

r-cran-rggobi (2.1.14-2) [universe]

GNU R package for the GGobi data visualization system

r-cran-rgl (0.89-1) [universe]

GNU R package for three-dimensional visualisation using OpenGL

r-cran-rglpk (0.3-1-2) [universe]

GNU R interface to the GNU Linear Programing Kit

r-cran-rgtk2 (2.12.15-2) [universe]

GNU R binding for Gtk2

r-cran-rjava (0.8-2-1) [universe]

GNU R low-level interface to Java

r-cran-rmpi (0.5-8-1) [universe]

GNU R package interfacing MPI libraries for distributed computing

r-cran-rmysql (0.7-4-2build1) [universe]

GNU R package providing a DBI-compliant interface to MySQL

r-cran-robustbase (0.5-0-1-1) [universe]

GNU R package providing basic robust statistics

r-cran-rocr (1.0-3-2) [universe]

GNU R package to prepare and display ROC curves

r-cran-rodbc (1.3-1-2) [universe]

GNU R package for ODBC database access

r-cran-rpart (3.1.46-1) [universe]

GNU R package for recursive partitioning and regression trees

r-cran-rpvm (1.0.2-2) [universe]

GNU R package interfacing PVM libraries for distributed computing

r-cran-rquantlib (0.3.1-1) [universe]

GNU R package interfacing the QuantLib finance library

r-cran-rserve (0.6-0-1) [universe]

GNU R Rserve tcp/ip server and sample clients

r-cran-rsprng (0.4-2) [universe]

GNU R interface to SPRNG (Scalable Parallel RNGs)

r-cran-runit (0.4.25-1) [universe]

GNU R package providing unit testing framework

r-cran-sandwich (2.2-5-1) [universe]

GNU R package for model-robust standard error estimates

r-cran-sm (2.2-3-2) [universe]

GNU R package for kernel smoothing methods

r-cran-sn (0.4-14-1) [universe]

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

r-cran-snow (1:0.3.4~20080824-1) [universe]

GNU R package for 'simple network of workstations'

r-cran-strucchange (1.3-7-2) [universe]

GNU R package for structural change regression estimation

r-cran-survival (2.35-8-1) [universe]

GNU R package for survival analysis

r-cran-timedate (2110.87-1) [universe]

GNU R package for financial engineering -- timeDate

r-cran-timeseries (2110.87-1) [universe]

GNU R package for financial engineering -- timeSeries

r-cran-tkrplot (0.0.18-3) [universe]

GNU R embedded Tk plotting device package

r-cran-tseries (0.10-22-1) [universe]

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

r-cran-urca (1.2-3-2) [universe]

GNU R package providing unit root and cointegration tests

r-cran-vgam (0.7-9-1) [universe]

GNU R package for estimating vector generalized additive models

r-cran-vr (7.3-0-1) [universe]

GNU R package accompanying the Venables and Ripley book on S

r-cran-xml (2.6-0-2) [universe]

GNU R package for XML parsing and generation

r-cran-zelig (3.4-7-1) [universe]

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

r-cran-zoo (1.6-2-1) [universe]

GNU R package for totally ordered indexed observations

r-mathlib (2.10.1-2) [universe]

GNU R standalone mathematics library

r-noncran-lindsey (1.0.20071024-1.1) [universe]

GNU R libraries contributed by Jim and Patrick Lindsey

r-recommended (2.10.1-2) [universe]

GNU R collection of recommended packages [metapackage]

regina-normal (4.6-1.1ubuntu1) [universe]

3-manifold topology software with normal surface support

regina-normal-mpi (4.6-1.1ubuntu1) [universe]

MPI utilities for Regina, the 3-manifold topology software

rkward (0.5.2-1) [universe]

a KDE frontend to the R statistics language

rlplot (1.4-1) [universe]

Generate publication quality graphs

rpncalc (1.36.8) [universe]

RPN calculator trying to emulate an HP28S

sc (7.16-2) [universe]

Text-based spreadsheet with VI-like keybindings

scalapack-mpi-test (1.8.0-5) [universe]

Scalable Linear Algebra Package - Test files for MPICH

scilab (5.2.1-8) [universe]

Scientific software package for numerical computations

scilab-ann (0.4.2.3-3) [universe]

Scilab module for artificial neural networks

scilab-celestlab (2.0.0-1-1) [universe]

A Scilab library of space flight dynamics functions

scilab-cli (5.2.1-8) [universe]

Scientific software package - Command Line Interpreter

scilab-data (5.2.1-8) [universe]

Scientific software package for numerical computations (data files)

scilab-doc (5.2.1-8) [universe]

Scientific software package (english documentations)

scilab-full-bin (5.2.1-8) [universe]

Scientific software package for numerical computations (all binary files)

scilab-include (5.2.1-8) [universe]

Scientific software package for numerical computations (include files)

scilab-minimal-bin (5.2.1-8) [universe]

Scientific software package for numerical computations (minimal binary files)

scilab-overload (1.3.2-2) [universe]

Scilab toolbox to overload Scilab's macros

scilab-plotlib (0.41-2) [universe]

"Matlab-like" Plotting library for Scilab

scilab-scimax (2.1.1-1) [universe]

Symbolic computations for Scilab based on Maxima

scilab-scimysql (0.1.1-2) [universe]

A Scilab interface to MySQL

scilab-test (5.2.1-8) [universe]

Scientific software package for numerical computations (test files)

scotch (5.1.6.dfsg-3) [universe]

programs and libraries for graph, mesh and hypergraph partitioning

sgb (1:20050409-2ubuntu1) [multiverse]

The Stanford GraphBase: combinatorial data and algorithms

singular (3-0-4-3.dfsg-3ubuntu1) [universe]

A commutative algebra system

sivp (0.5.0-1ubuntu3) [universe]

Scilab Image and Video Processing toolbox

snappea (3.0d3-20ubuntu1) [universe]

a program for creating and studying hyperbolic 3-manifolds

socnetv (0.70-1) [universe]

social network analysis and visualisation application

spline (1.1-14) [universe]

Akima spline interpolation

stda (1.0-2) [universe]

simple tools for data analysis (stda)

stepulator.app (1.0-6build2) [universe]

Scientific calculator implementing RPN notation for GNUstep

sympow (1.019-4) [universe]

Special values of symmetric power elliptic curve L-functions

tachyon (0.98~beta.dfsg-1) [universe]

Parallel/Multiprocessor Ray Tracing Software

tapecalc (20070214-2) [universe]

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

tetgen (1.4.2-3) [multiverse]

A Quality Tetrahedral Mesh Generator

tiemu (3.02-1ubuntu2) [multiverse]

Texas Instruments calculators emulator (without GDB)

tiemu-skinedit (1.27-2) [universe]

skin editor for TiEmu

tilp2 (1.13-0ubuntu2) [universe]

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

udav (0.5.2-1build1) [universe]

application for data visualization based on MathGL

wcalc (2.4-1) [universe]

A flexible command-line scientific calculator

why (2.23+dfsg-2) [universe]

A software verification tool

wxmaxima (0.8.4-1) [universe]

GUI for the computer algebra system Maxima

wzip (1.1.3) [universe]

Lossy compression and denoising

xgraph (12.1-12) [universe]

Plotting program, reads stdin, allows interactive zooming

xmaxima (5.20.1-5ubuntu1) [universe]

A computer algebra system -- x interface

yacas (1.2.2-4) [universe]

Computer Algebra System

yale (5.0.95-1) [multiverse]

stellar data set from the Yale Bright Star Catalog

yorick (2.1.05+dfsg+cvs20091202-2) [universe]

interpreted language and scientific graphics

yorick-cubeview (1.4-1) [universe]

a 3D FITS data viewer specialized in spectro-imaging

yorick-curses (0.1-3) [universe]

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

yorick-data (2.1.05+dfsg+cvs20091202-2) [universe]

interpreted library for the Yorick language

yorick-dev (2.1.05+dfsg+cvs20091202-2) [universe]

development files for the Yorick interpreted language

yorick-gl (1.1+cvs20070922+dfsg-2) [universe]

OpenGL 3D graphics support for the Yorick language

yorick-hdf5 (0.8.0-1build1) [universe]

Hierarchical Data Format 5 interface for the Yorick language

yorick-imutil (0.5.4-1) [universe]

fast image manipulation routines for the Yorick language

yorick-ml4 (0.6.0-1) [universe]

Matlab file format support for the Yorick language

yorick-soy (1.2.01-2) [universe]

sparse matrix operations for the Yorick language

yorick-spydr (0.7.7-1) [universe]

FITS image display and simple analysis

yorick-yao (4.5.0-1) [universe]

a Yorick-based adaptive optics system simulator

yorick-yeti (6.2.5-1) [universe]

utility plugin for the Yorick language

yorick-yeti-fftw (6.2.5-1) [universe]

FFT plugin for the Yorick language

yorick-yeti-gsl (6.2.5-1) [universe]

GSL special functions plugin for the Yorick language

yorick-yeti-regex (6.2.5-1) [universe]

POSIX regular expressions for the Yorick language

yorick-yeti-tiff (6.2.5-1) [universe]

TIFF image format input for the Yorick language

yorick-yutils (1.4.0-1) [universe]

various utilities for the Yorick language

yorick-z (1.2.0+cvs20080115-1) [universe]

zlib, jpeg and png support for the Yorick language