Paquets logiciels dans « quantal », Sous-section math
- acl2 (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: main binary
- acl2-books (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: compiled libraries
- acl2-books-certs (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: library certificates
- acl2-books-source (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: library sources
- acl2-emacs (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: emacs interface
- acl2-infix (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: infix interface
- acl2-infix-source (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: infix source
- acl2-source (4.3-3) [universe]
- Computational Logic for Applicative Common Lisp: source files
- admesh (0.95-12) [universe]
- Tool for processing triangulated solid meshes
- alt-ergo (0.94-2) [universe]
- Automatic theorem prover dedicated to program verification
- analitza-dev (4:4.9.2-0ubuntu1) [universe]
- algebraic library from KDE, gui components
- ann-tools (1.1.2+doc-3) [universe]
- Approximate Nearest Neighbor Searching library (tools)
- apcalc (2.12.4.4-3) [universe]
- Arbitrary precision calculator (original name: calc)
- apcalc-common (2.12.4.4-3) [universe]
- Arbitrary precision calculator (common files)
- aribas (1.64-5) [universe]
- interpreter for arithmetic
- autoclass (3.3.6.dfsg.1-1) [universe]
- automatic classification or clustering
- axiom (20120501-1) [universe]
- General purpose computer algebra system: main binary and modules
- axiom-databases (20120501-1) [universe]
- General purpose computer algebra system: generated text databases
- axiom-graphics (20120501-1) [universe]
- General purpose computer algebra system: graphics subsystem
- axiom-graphics-data (20120501-1) [universe]
- General purpose computer algebra system: graphics subsystem
- axiom-hypertex (20120501-1) [universe]
- General purpose computer algebra system: hypertex subsystem
- axiom-hypertex-data (20120501-1) [universe]
- General purpose computer algebra system: hypertex subsystem
- axiom-source (20120501-1) [universe]
- General purpose computer algebra system: source files
- axiom-test (20120501-1) [universe]
- General purpose computer algebra system: regression test inputs
- axiom-tex (20120501-1) [universe]
- General purpose computer algebra system: style file for TeX
- bc (1.06.95-4)
- GNU bc arbitrary precision calculator language
- blacs-mpi-test (1.1-31ubuntu1) [universe]
- Basic Linear Algebra Comm. Subprograms - Test files for MPI
- blacs-test-common (1.1-31ubuntu1) [universe]
- Test data for BLACS testers
- bliss (0.72-3) [universe]
- tool to compute graph automorphisms and labelings
- bugsx (1.08-12) [multiverse]
- program to evolve biomorphs using genetic algorithms
- cadabra (1.29-1ubuntu1) [universe]
- field-theory motivated computer algebra system
- calgebra (4:4.9.2-0ubuntu1) [universe]
- algebraic calculator
- calligrasheets (1:2.5.3-0ubuntu2) [universe]
- spreadsheet for the Calligra Suite
- cantor (4:4.9.2-0ubuntu1) [universe]
- interface for mathematical applications
- cantor-backend-kalgebra (4:4.9.2-0ubuntu1) [universe]
- KAlgebra backend for Cantor
- cantor-backend-maxima (4:4.9.2-0ubuntu1) [universe]
- Maxima backend for Cantor
- cantor-backend-octave (4:4.9.2-0ubuntu1) [universe]
- Octave backend for Cantor
- cantor-backend-qalculate (4:4.9.2-0ubuntu1) [universe]
- Qalculate backend for Cantor
- cantor-backend-r (4:4.9.2-0ubuntu1) [universe]
- R backend for Cantor
- cantor-backend-sage (4:4.9.2-0ubuntu1) [universe]
- Sage backend for Cantor
- cantor-backend-scilab (4:4.9.2-0ubuntu1) [universe]
- Scilab backend for Cantor
- carmetal (3.5.2+dfsg-1) [universe]
- dynamic geometry software with highly ergonomic UI
- cimg-dev (1.4.9-2) [universe]
- powerful image processing library
- cliquer (1.21-1) [universe]
- clique searching program
- concalc (0.9.2-2) [universe]
- console calculator
- coq (8.3.pl4+dfsg-2) [universe]
- proof assistant for higher-order logic (toplevel and compiler)
- coq-theories (8.3.pl4+dfsg-2) [universe]
- proof assistant for higher-order logic (theories)
- coqide (8.3.pl4+dfsg-2) [universe]
- proof assistant for higher-order logic (gtk interface)
- cpushare (0.48-4) [universe]
- client and server for the CPUShare distributed computing platform
- cuba-partview (3.0+20111124-2) [universe]
- partition viewer for the Cuba library
- cvc3 (2.4.1-2) [universe]
- Automatic theorem prover for SMT problems
- cvc3-el (2.4.1-2) [universe]
- Emacs mode for CVC3
- dc (1.06.95-4)
- GNU dc arbitrary precision reverse-polish calculator
- dicelab (0.7-1) [universe]
- evaluate the statistical distribution of dice rolls
- dolfin-bin (1.0.0-7) [universe]
- Executable scripts for DOLFIN
- drgeo (1.1.0-10) [universe]
- interactive geometry software
- dynare (4.3.0-2) [universe]
- platform for handling a wide class of economic models
- dynare-common (4.3.0-2) [universe]
- platform for handling a wide class of economic models
- dynare-matlab (4.3.0-2) [multiverse]
- MATLAB support for Dynare
- edenmath.app (1.1.1a-7build4) [universe]
- Scientific calculator for GNUstep
- ess (12.04-4-1) [universe]
- Emacs mode for statistical programming and data analysis
- eukleides (1.5.4-1ubuntu2) [universe]
- Euclidean geometry drawing language
- euler (1.61.0-8.1) [universe]
- interactive mathematical programming environment
- euler-doc (1.61.0-8.1) [universe]
- documentation for the mathematical programming environment Euler
- evolver (2.30c.dfsg-3) [universe]
- Surface Evolver
- fenics (1:1.0.0-1) [universe]
- automation of computational mathematical modeling
- fflas-ffpack (1.6.0-1) [universe]
- Finite field linear algebra subroutines/package
- fflas-ffpack-common (1.6.0-1) [universe]
- Finite field linear algebra subroutines/package - common files
- formed (3.3f-1.1) [universe]
- formula editor for first-order logic formulae
- frama-c (20111001+nitrogen+dfsg-4) [universe]
- Framework for source code analysis of software written in C
- freefem (3.5.8-5) [universe]
- PDE oriented language using Finite Element Method
- freefem++ (3.19.1-1) [universe]
- Provides the binaries of the FreeFem++ FE suite
- freefem-examples (3.5.8-5) [universe]
- Example files for FreeFEM
- freefem3d (1.0pre10-3.1) [universe]
- Language and solver for partial differential equations in 3D
- freemat (4.0-5) [universe]
- mathematics framework (mostly matlab compatible)
- freemat-data (4.0-5) [universe]
- freemat data files
- freemat-help (4.0-5) [universe]
- freemat help files
- galculator (1.3.4-1ubuntu4) [universe]
- A GTK+ 2.0 based calculator
- gambit (0.2010.09.01-1.1) [universe]
- game theory software and tools
- gap (4r4p12-2) [universe]
- Groups, Algorithms and Programming computer algebra system
- gap-character-tables (1r1p3-5) [universe]
- GAP Library of character tables
- gap-core (4r4p12-2) [universe]
- GAP computer algebra system, core components
- gap-guava (3.6-2) [universe]
- Coding theory library for GAP
- gap-libs (4r4p12-2) [universe]
- GAP computer algebra system, essential GAP libraries
- gap-online-help (4r4p12-2) [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
- (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 (6.6.0-0ubuntu1)
- GNOME desktop calculator
- genus2reduction (0.3-2.2) [universe]
- Conductor and Reduction Types for Genus 2 Curves
- geomview (1.9.4-3) [universe]
- interactive geometry viewing program
- gerris (20110329-dfsg.2-1build1) [universe]
- Gerris Flow Solver
- getdp (2.2.0-1) [universe]
- general environment for the treatment of discrete problems
- getdp-sparskit (2.2.0-1) [universe]
- general environment for the treatment of discrete problems
- gfan (0.3dfsg-1.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.10-4) [universe]
- Data visualization system for high-dimensional data
- ginac-tools (1.6.2-1) [universe]
- GiNaC symbolic framework support tools
- gliese (3.0.95-2) [multiverse]
- stellar data set from the Third Catalogue of Nearby Stars
- glpk (4.45-1build1) [universe]
- linear programming kit
- glpk-utils (4.45-1build1) [universe]
- linear programming kit - utility files
- gmp-ecm (6.4.2-1) [universe]
- Factor integers using the Elliptic Curve Method
- gmsh (2.6.0.dfsg-2) [universe]
- Three-dimensional finite element mesh generator
- gnumeric (1.10.17-1.1ubuntu1) [universe]
- spreadsheet application for GNOME - main program
- gnumeric-common (1.10.17-1.1ubuntu1) [universe]
- spreadsheet application for GNOME - common files
- (1.10.17-1.1ubuntu1) [universe]
- spreadsheet application for GNOME - additional plugins
- gnuplot (4.6.0-8) [universe]
- Command-line driven interactive plotting program
- gnuplot-mode (1:0.6.0-8) [universe]
- Yet another Gnuplot mode for Emacs
- gnuplot-nox (4.6.0-8) [universe]
- Command-line driven interactive plotting program. No-X package
- gnuplot-nox
- paquet virtuel fourni par gnuplot-x11, gnuplot-qt
- gnuplot-qt (4.6.0-8) [universe]
- Command-line driven interactive plotting program. QT-package
- gnuplot-x11 (4.6.0-8) [universe]
- Command-line driven interactive plotting program. X-package
- gnuplot-x11
- paquet virtuel fourni par gnuplot-qt
- grace (1:5.1.22-13) [universe]
- XY graphing and plotting tool
- graphmonkey (1.7-3) [universe]
- a GTK#-based graphing calculator
- graphthing (1.3.2-3.1) [universe]
- tool to create, manipulate and study graphs
- gretl (1.9.9-1) [universe]
- GNU Regression, Econometric & Time-Series Library
- gretl-common (1.9.9-1) [universe]
- GNU Regression, Econometric & Time-Series Library -- scripts package
- gretl-data (1.9.9-1) [universe]
- GNU Regression, Econometric & Time-Series Library -- data package
- gretl-doc (1.9.9-1) [universe]
- GNU Regression, Econometric & Time-Series Library -- doc package
- grinvin (1.2-2) [multiverse]
- interactive software for studying graphs and their invariants
- grpn (1.1.2-3.1) [universe]
- GTK+ reverse polish notation calculator
- gsl-bin (1.15+dfsg-1build2) [universe]
- GNU Scientific Library (GSL) -- binary package
- gsl-ref-html (1.15-1) [universe]
- GNU Scientific Library (GSL) Reference Manual in html
- gsl-ref-psdoc (1.15-1) [universe]
- GNU Scientific Library (GSL) Reference Manual in postscript
- hol-light (20120602-1) [universe]
- HOL Light theorem prover
- hol88 (2.02.19940316-15) [universe]
- Higher Order Logic, system image
- hol88-contrib-help (2.02.19940316-15) [universe]
- Higher Order Logic, user contributed online help files
- hol88-contrib-source (2.02.19940316-15) [universe]
- Higher Order Logic, user contributed source
- hol88-doc (2.02.19940316-15) [universe]
- Documentation for hol88
- hol88-help (2.02.19940316-15) [universe]
- Higher Order Logic, online help files
- hol88-library (2.02.19940316-15) [universe]
- Higher Order Logic, binary library modules
- hol88-library-help (2.02.19940316-15) [universe]
- Higher Order Logic, library online help files
- hol88-library-source (2.02.19940316-15) [universe]
- Higher Order Logic, library source files
- hol88-source (2.02.19940316-15) [universe]
- Higher Order Logic, source files
- hyantesite (1.3.0-1) [universe]
- geomatic tool to compute neighbourhood population potential
- jacal (1b9-2.1) [universe]
- Interactive symbolic math system
- jags (3.2.0-1) [universe]
- Just Another Gibbs Sampler for Bayesian MCMC simulation
- jfractionlab (0.91-2ubuntu1) [universe]
- Educative program to practice fractions
- jgraph (83-22) [universe]
- Jim Plank's program for producing PostScript graphs
- kalgebra-common (4:4.9.2-0ubuntu1) [universe]
- contains files common for kalgebra and kalgebramobile
- kalgebramobile (4:4.9.2-0ubuntu1) [universe]
- algebraic graphing calculator for KDE mobile
- kali (3.1-11) [universe]
- Draw tilings, frieze patterns, and so on
- kayali (0.3.2-0ubuntu3) [universe]
- A Qt-based Computer Algebra System
- kbruch (4:4.9.2-0ubuntu1) [universe]
- fraction learning aid for KDE
- kig (4:4.9.2-0ubuntu1) [universe]
- interactive geometry tool for KDE
- kitsune (2.0-0ubuntu3) [universe]
- Program to solve mathematical problems
- kmplot (4:4.9.2-0ubuntu1) [universe]
- mathematical function plotter for KDE
- ladr4-apps (0.0.200902a-2.1) [universe]
- the LADR deduction library, miscellaneous applications
- lbt (1.2.2-5) [universe]
- converts from LTL formulas to Büchi automata
- lcalc (0.0.20080205-1.2) [universe]
- a program for calculating with L-functions
- libaac-tactics-coq (0.2.pl2-7) [universe]
- Coq tactics for reasoning modulo AC (theories)
- libcdd-test (094b.dfsg-4.2) [universe]
- Test programs for libcdd-dev
- libcuba3 (3.0+20111124-2) [universe]
- library for multidimensional numerical integration
- libfreefem0 (3.5.8-5) [universe]
- Shared libraries for FreeFEM
- libgeomview-1.9.4 (1.9.4-3) [universe]
- geomview library runtime
- libgeomview-dev (1.9.4-3) [universe]
- geomview library development package
- libglpk0 (4.45-1build1) [universe]
- linear programming kit with integer (MIP) support
- libgsl0ldbl (1.15+dfsg-1build2)
- GNU Scientific Library (GSL) -- library package
- libgts-bin (0.7.6+darcs110121-1.1build1) [universe]
- utility binaries for libgts
- liblpsolve55-dev (5.5.0.13-7) [universe]
- 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-3) [universe]
- General-purpose genetic algorithm package (mpi library)
- libpgapack-serial1 (1.1.1-3) [universe]
- General-purpose genetic algorithm package (serial library)
- libplplot-ada0 (5.9.9-5) [universe]
- Ada support for PLplot, a plotting library
- libreoffice-nlpsolver (0.9~beta1-9build1)
- "Solver for Nonlinear Programming" extension for LibreOffice
- libsbml5-octave (5.4.1-3) [universe]
- System Biology Markup Language library - Octave binding
- libscilab-java (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations (Java API)
- libsprng2 (2.0a-8ubuntu1) [universe]
- SPRNG Scalable Parallel RNG library -- library package
- libssreflect-coq (1.3pl4-1) [universe]
- small scale reflection library for Coq (theories)
- libssreflect-ocaml (1.3pl4-1) [universe]
- small scale reflection extension for Coq (plugin)
- lie (2.2.2+dfsg-2) [universe]
- Computer algebra package for Lie group computations
- littler (0.1.5-1) [universe]
- GNU R scripting and command-line front-end
- lp-solve (5.5.0.13-7) [universe]
- 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-2ubuntu1) [universe]
- mathematical function graph plotter
- mace2 (3.3f-1.1) [universe]
- program that searches for finite models of first-order statements
- mandelbulber (1:1.11-1) [universe]
- 3D fractal renderer and animator
- maria (1.3.5-4) [universe]
- reachability analyzer for Algebraic System Nets
- mathomatic (15.8.2-2) [universe]
- portable Computer Algebra System (CAS)
- mathomatic-primes (15.8.2-2) [universe]
- prime number tools for mathomatic
- matita (0.99.1-1) [universe]
- interactive theorem prover
- maxima (5.27.0-3) [universe]
- Computer algebra system -- base system
- maxima-doc (5.27.0-3) [universe]
- Computer algebra system -- documentation
- maxima-emacs (5.27.0-3) [universe]
- Computer algebra system -- emacs interface
- maxima-share (5.27.0-3) [universe]
- Computer algebra system -- extra code
- maxima-src (5.27.0-3) [universe]
- Computer algebra system -- source code
- maxima-test (5.27.0-3) [universe]
- Computer algebra system -- test suite
- mcl (1:12-068-1) [universe]
- Markov Cluster algorithm
- mcrl2 (201202.0-2) [universe]
- formal specification language toolset
- metis-edf (4.1-2-3) [multiverse]
- Family of Multilevel Partitioning Algorithms
- ministat (20100628-1) [universe]
- a simple tool for statistical comparison of data sets
- minlog (4.0.99.20100221-5.2) [universe]
- Proof assistant based on first order natural deduction calculus
- model-builder (0.4.1-6) [universe]
- graphical ODE simulator
- mrbayes (3.2.1+dfsg-2) [universe]
- Bayesian Inference of Phylogeny
- mumps-test (4.10.0.dfsg-3) [universe]
- Example/test binaries using MUMPS
- nauty (2.4r2-1) [multiverse]
- command line tools to compute graph automorphisms
- nco (4.0.9-1build1) [universe]
- command-line operators to analyze netCDF files
- netgen (4.9.13.dfsg-4ubuntu1) [universe]
- Automatic 3d tetrahedral mesh generator
- num-utils (0.5-11) [universe]
- programs for dealing with numbers from the command line
- octave (3.6.2-5) [universe]
- GNU Octave language for numerical computations
- octave-audio (1.1.4-4) [universe]
- functions to work with audio files in Octave
- octave-benchmark (1.1.1-4) [universe]
- code to benchmark speed of Octave
- octave-common (3.6.2-5) [universe]
- architecture-independent files for octave
- octave-communications (1.1.1-1) [universe]
- communications package for Octave
- octave-communications-common (1.1.1-1) [universe]
- communications package for Octave (arch-indep files)
- octave-control (2.3.52-1) [universe]
- control functions for Octave from Octave-Forge
- octave-data-smoothing (1.3.0-2) [universe]
- functions to do data smoothing on noisy data
- octave-dataframe (0.9.1-1) [universe]
- manipulate data in Octave similar to R data.frame
- octave-econometrics (1:1.0.8-6) [universe]
- econometrics functions for Octave
- octave-epstk (2.4-1) [universe]
- GNU Octave encapsulated postscript toolkit
- octave-financial (0.4.0-1) [universe]
- financial manipulation and plotting functions
- octave-fixed (0.7.10-5) [universe]
- fixed point computation for Octave
- octave-fpl (1.2.0-3) [universe]
- plot data on unstructured triangular and tetrahedral meshes in Octave
- octave-ga (0.10.0-1) [universe]
- genetic optimization code for Octave
- octave-general (1.3.1-1) [universe]
- provide extra general functions for Octave
- octave-geometry (1.5.0-1) [universe]
- geometric computing functions for Octave
- octave-gsl (1.0.8-5) [universe]
- GSL binding for Octave
- octave-image (1.0.15-1) [universe]
- image manipulation for Octave
- octave-io (1.0.19-1) [universe]
- input/output data functions for Octave
- octave-java (1.2.8-6) [universe]
- Java objects manipulation interface for Octave
- octave-linear-algebra (2.2.0-1) [universe]
- additional linear-algebra functions for Octave
- octave-mapping (1.0.7-4) [universe]
- geographical mapping functions for Octave
- octave-miscellaneous (1.1.0-1) [universe]
- miscellaneous tools for Octave
- octave-missing-functions (1.0.2-4) [universe]
- finds functions that are in Matlab but not in Octave
- octave-nan (2.5.5-2) [universe]
- handles data with and without missing values in Octave
- octave-nnet (0.1.13-2) [universe]
- feed forward multi-layer neural network functions for Octave
- octave-nurbs (1.3.6-1) [universe]
- non-uniform rational B-splines for Octave
- octave-ocs (0.1.3-1) [universe]
- circuit simulator for Octave
- octave-octcdf (1.1.4-2) [universe]
- NetCDF data files interface for Octave
- octave-octgpr (1.2.0-3) [universe]
- functions to smooth and interpolate scattered data in Octave
- octave-odepkg (0.8.2-2) [universe]
- solve differential equations and initial value problems in Octave
- octave-openmpi-ext (1.0.2-2) [universe]
- Octave toolbox for parallel computing using MPI
- octave-optim (1.2.0-1) [universe]
- unconstrained non-linear optimization toolkit for Octave
- octave-optiminterp (0.3.3-2) [universe]
- optimal interpolation package for Octave
- octave-pfstools (1.8.5-1ubuntu1) [universe]
- octave bindings for pfstools
- octave-plot (1.1.0-2) [universe]
- additional plotting tools for Octave
- octave-plplot (5.9.9-5) [universe]
- Octave support for PLplot, a plotting library
- octave-quaternion (2.0.0-1) [universe]
- quaternion package for Octave
- octave-secs1d (0.0.8-4) [universe]
- semi conductor simulator in 1D for Octave
- octave-secs2d (0.0.8-4) [universe]
- semi conductor simulator in 2D for Octave
- octave-signal (1.1.3-1) [universe]
- signal processing functions for Octave
- octave-sockets (1.0.8-1) [universe]
- communication through Internet sockets in Octave
- octave-specfun (1.1.0-1) [universe]
- special mathematical functions for Octave
- octave-splines (1.0.7-4) [universe]
- cubic spline functions for Octave
- octave-statistics (1.1.3-1) [universe]
- additional statistical functions for Octave
- octave-strings (1.1.0-1) [universe]
- additional string manipulation functions for Octave
- octave-struct (1.0.10-1) [universe]
- additional structure manipulation functions for Octave
- octave-symbolic (1.1.0-1) [universe]
- symbolic package for Octave
- octave-tsa (4.2.4-1) [universe]
- time series analysis in Octave
- octave-vrml (1.0.13-1) [universe]
- VRML functions for Octave
- octave-zenity (0.5.7-5) [universe]
- simple graphical user interfaces using zenity in Octave
- open-axiom (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform
- open-axiom-databases (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: generated text databases
- open-axiom-graphics (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: graphics subsystem
- open-axiom-graphics-data (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: graphics subsystem data
- open-axiom-hypertex (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: hypertex subsystem
- open-axiom-hypertex-data (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: hypertex subsystem data
- open-axiom-source (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: source files
- open-axiom-test (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: regression test inputs
- open-axiom-tex (1.4.1+svn~2626-2ubuntu2) [universe]
- open scientific computation platform: style file for TeX
- orpie (1.5.1-10) [universe]
- RPN calculator for the terminal
- otter (3.3f-1.1) [universe]
- resolution-style theorem prover
- palp (1.1-1.2) [universe]
- A Package for Analyzing Lattice Polytopes
- pari-elldata (0.20120415-1) [universe]
- PARI/GP Computer Algebra System elliptic curves (elldata)
- (3-1) [universe]
- PARI/GP Computer Algebra System extra data files
- pari-galdata (0.20080411-2) [universe]
- PARI/GP Computer Algebra System Galois resolvents (galdata)
- pari-galpol (1.0-1) [universe]
- PARI/GP Computer Algebra System Galois polynomial database
- pari-gp (2.5.1-2) [universe]
- PARI/GP Computer Algebra System binaries
- pari-gp2c (0.0.7pl3-1) [universe]
- PARI/GP GP to C compiler
- pari-seadata (0.20090618-1) [universe]
- PARI/GP Computer Algebra System modular polynomials (seadata)
- parmetis-test (3.1.1-4) [multiverse]
- Parallel Graph Partitioning and Sparse Matrix Ordering Tests
- pdl (1:2.4.11-4ubuntu1) [universe]
- perl data language: Perl extensions for numerics
- pgapack (1.1.1-3) [universe]
- General-purpose genetic algorithm package
- pgplot5 (5.2.2-19) [multiverse]
- large subroutine library for plotting scientific data
- pi (1.3.2-1.2) [universe]
- Compute Archimedes' constant Pi to arbitrary precision
- picviz (0.5-1build1) [universe]
- Parallel coordinates plotter
- plotdrop (0.5.2-3ubuntu1) [universe]
- A minimal GNOME frontend to GNUPlot
- plotutils (2.6-2ubuntu1) [universe]
- The GNU plotutils (plotting utilities) package
- plplot-tcl (5.9.9-5) [universe]
- Tcl/Tk support for PLplot, a plotting library
- plplot-tcl-dev (5.9.9-5) [universe]
- Tcl/Tk development support for PLplot, a plotting library
- polylib-utils (5.22.5-3+dfsg) [universe]
- Various tools using libpolylib
- prover9 (0.0.200902a-2.1) [universe]
- theorem prover and countermodel generator
- prover9-mace4 (0.5.dfsg-2.1) [universe]
- GUI for Prover9 and Mace4
- psignifit (2.5.6-3ubuntu1) [universe]
- Fitting and testing hypotheses about psychometric functions
- pspp (0.7.9+git20120620-1) [universe]
- Statistical analysis tool
- ptscotch (5.1.12b.dfsg-1.1) [universe]
- MPI programs and libraries for graph, mesh and hypergraph partitioning
- pyecm (2.0.1-1) [universe]
- integer factorization with the Elliptic Curve Method (ECM)
- python-glpk (0.4.45-1) [universe]
- Python bindings to the GNU Linear Programming Kit
- python-gmpy (1.15-1) [universe]
- interfaces GMP to Python for fast, unbound-precision computations
- python-mpi (2.8-3) [universe]
- MPI module for Python
- pyxplot (0.8.4-5) [universe]
- data plotting program producing publication-quality output
- qalc (0.9.7-8) [universe]
- Powerful and easy to use command line calculator
- qalculate-gtk (0.9.7-3ubuntu1) [universe]
- Powerful and easy to use desktop calculator - GTK+ version
- qhull-bin (2009.1-3ubuntu1) [universe]
- calculate convex hulls and related structures (utilities)
- qtiplot (0.9.8.8-5) [universe]
- data analysis and scientific plotting
- qtoctave (0.10.1-3) [universe]
- Qt front-end to Octave
- quickplot (0.10.3-1) [universe]
- fast interactive 2D plotter and data viewer
- r-base (2.15.1-5ubuntu1) [universe]
- GNU R statistical computation and graphics system
- r-base-core (2.15.1-5ubuntu1) [universe]
- GNU R core of statistical computation and graphics system
- r-base-core-dbg (2.15.1-5ubuntu1) [universe]
- GNU R debug symbols for statistical comp. language and environment
- r-base-html (2.15.1-5ubuntu1) [universe]
- GNU R html docs for statistical computing system functions
- r-bioc-hilbertvis (1.14.0-1) [universe]
- GNU R package to visualise long vector data
- r-cran-abind (1.4-0-1) [universe]
- GNU R abind multi-dimensional array combination function
- r-cran-bayesm (2.2-4-1) [universe]
- GNU R package for Bayesian inference
- r-cran-bitops (1.0-4.1-2build1) [universe]
- GNU R package implementing bitwise operations
- r-cran-boot (1.3-5-1) [universe]
- GNU R package for bootstrapping functions from Davison and Hinkley
- r-cran-cairodevice (2.19-1) [universe]
- GNU R Cairo/Gtk2 device driver package
- r-cran-car (2.0-12-1) [universe]
- GNU R Companion to Applied Regression by John Fox
- r-cran-catools (1.12-2build1) [universe]
- GNU R package providing various utility functions
- r-cran-chron (2.3-42-1) [universe]
- GNU R package for chronologically ordered objects
- r-cran-cluster (1.14.2-1) [universe]
- GNU R package for cluster analysis by Rousseeuw et al
- r-cran-coda (0.14-7-1) [universe]
- Output analysis and diagnostics for MCMC simulations in R
- r-cran-codetools (0.2-8-1) [universe]
- GNU R package providing code analysis tools
- r-cran-combinat (0.0-8-3) [universe]
- GNU R package with utilities for combinatorics
- r-cran-date (1.2.32-1) [universe]
- GNU R package for date handling
- r-cran-dbi (0.2-5-2) [universe]
- GNU R package providing a generic database interface
- r-cran-eco (3.1-4-2) [universe]
- GNU R routines for Bayesian ecological inference
- r-cran-effects (2.1.1-1) [universe]
- GNU R graphical and tabular effects display for glm models
- r-cran-fasianoptions (2160.77-1) [universe]
- GNU R package for financial engineering -- fAsianOptions
- r-cran-fassets (2100.78-3) [universe]
- GNU R package for financial engineering -- fAssets
- r-cran-fbasics (2160.81-2ubuntu2) [universe]
- GNU R package for financial engineering -- fBasics
- r-cran-fbonds (2100.75-3) [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-3) [universe]
- GNU R package for financial engineering -- fEcofin
- r-cran-fexoticoptions (2110.77-2) [universe]
- GNU R package for financial engineering -- fExoticOptions
- r-cran-fextremes (2100.77-3) [universe]
- GNU R package for financial engineering -- fExtremes
- r-cran-fgarch (2110.80.1-1) [universe]
- GNU R package for financial engineering -- fGarch
- r-cran-fimport (2160.81-1) [universe]
- GNU R package for financial engineering -- fImport
- r-cran-fmultivar (2100.76-3build1) [universe]
- GNU R package for financial engineering -- fMultivar
- r-cran-fnonlinear (2100.76-4) [universe]
- GNU R package for financial engineering -- fNonlinear
- r-cran-foptions (2160.81-1) [universe]
- GNU R package for financial engineering -- fOptions
- r-cran-foreign (0.8.50-1) [universe]
- GNU R package to read/write data from other stat. systems
- r-cran-fportfolio (2130.80-1) [universe]
- GNU R package for financial engineering -- fPortfolio
- r-cran-fregression (2100.76-4) [universe]
- GNU R package for financial engineering -- fRegression
- r-cran-ftrading (2100.76-3build1) [universe]
- GNU R package for financial engineering -- fTrading
- r-cran-funitroots (2100.76-3) [universe]
- GNU R package for financial engineering -- fUnitRoots
- r-cran-gdata (2.11.0-1) [universe]
- GNU R package with data manipulation tools by Greg Warnes et al
- r-cran-getopt (1.17-1) [universe]
- GNU R package providing command-line parsing functionality
- r-cran-gmaps (0.2-1) [universe]
- GNU R support for producing geographic maps with grid graphics
- r-cran-gmodels (2.15.3-1) [universe]
- GNU R package with tools for model fitting by Greg Warnes et al
- r-cran-gplots (2.11.0-1) [universe]
- GNU R package with tools for plotting data by Greg Warnes et al
- r-cran-gregmisc (2.1.2-2build1) [universe]
- GNU R package with miscellaneous functions by Greg Warnes et al
- r-cran-gtools (2.7.0-1) [universe]
- GNU R package with R programming tools by Greg Warnes et al
- r-cran-hdf5 (1.6.10-1) [universe]
- GNU R package interfacing the NCSA HDF5 library
- r-cran-hmisc (3.9-3-1) [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-kernsmooth (2.23-8-1) [universe]
- GNU R package for kernel smoothing and density estimation
- r-cran-lattice (0.20-6-1) [universe]
- GNU R package for 'Trellis' graphics
- (0.6-19-1) [universe]
- GNU R package of additional graphical displays based on lattice
- r-cran-lme4 (0.999999-0-1) [universe]
- GNU R package for linear mixed effects model fitting
- r-cran-lmtest (0.9.30-1) [universe]
- GNU R package for diagnostic checking in linear models
- r-cran-lpsolve (5.6.6-1) [universe]
- GNU R package providing linear program solvers
- r-cran-mapdata (2.2-1-1) [universe]
- GNU R support for producing geographic maps (supplemental data)
- r-cran-mapproj (1.1-8.3-2) [universe]
- GNU R support for cartographic projections of map data
- r-cran-maps (2.2-5-1) [universe]
- GNU R support for producing geographic maps
- r-cran-matchit (2.4-18-1) [universe]
- GNU R package of nonparametric matching methods
- r-cran-matrix (1.0-6-1) [universe]
- GNU R package of classes for dense and sparse matrices
- r-cran-mcmcpack (1.2-3-1) [universe]
- R routines for Markov chain Monte Carlo model estimation
- r-cran-mgcv (1.7-18-1) [universe]
- GNU R package for multiple parameter smoothing estimation
- r-cran-misc3d (0.8-2-1) [universe]
- GNU R collection of 3d plot functions and rgl-based isosurfaces
- r-cran-mnormt (1.4-5-1) [universe]
- GNU R package providing multivariate normal and t distribution
- r-cran-mnp (2.6-2-1) [universe]
- GNU R package for fitting multinomial probit (MNP) models
- r-cran-multcomp (1.2-12-1) [universe]
- GNU R package for multiple comparison procedures
- r-cran-mvtnorm (0.9-9992-1) [universe]
- GNU R package to compute multivariate Normal and T distributions
- r-cran-nlme (3.1.104-1) [universe]
- GNU R package for (non-)linear mixed effects models
- r-cran-nws (2.0.0.3-2) [universe]
- GNU R package for distributed programming via NetWorkSpaces
- r-cran-plotrix (3.2-6-1) [universe]
- GNU R package providing various plotting functions
- r-cran-polspline (1.1.5-5) [universe]
- GNU R package providing polynomial spline fitting
- r-cran-psy (1.0-4) [universe]
- GNU R procedures for psychometrics
- r-cran-qtl (1.23-16-1) [universe]
- GNU R package for genetic marker linkage analysis
- r-cran-quadprog (1.5-4-1) [universe]
- GNU R package for solving quadratic programming problems
- r-cran-rcmdr (1.8-4-1) [universe]
- GNU R platform-independent basic-statistics GUI
- r-cran-rcolorbrewer (1.0-5-1) [universe]
- GNU R package providing suitable color palettes
- r-cran-rcpp (0.9.13-1) [universe]
- GNU R package for Seamless R and C++ Integration
- r-cran-relimp (1.0-3-1) [universe]
- GNU R package for inference on relative importance of regressors
- r-cran-rggobi (2.1.17-1) [universe]
- GNU R package for the GGobi data visualization system
- r-cran-rgl (0.92.880-1) [universe]
- GNU R package for three-dimensional visualisation using OpenGL
- r-cran-rglpk (0.3-8-1) [universe]
- GNU R interface to the GNU Linear Programing Kit
- r-cran-rgtk2 (2.20.24-1) [universe]
- GNU R binding for Gtk2
- r-cran-rjava (0.9-3-1ubuntu1) [universe]
- GNU R low-level interface to Java
- r-cran-rmpi (0.5-9-3) [universe]
- GNU R package interfacing MPI libraries for distributed computing
- r-cran-rmysql (0.9-3-1) [universe]
- GNU R package providing a DBI-compliant interface to MySQL
- r-cran-robustbase (0.9-2-1) [universe]
- GNU R package providing basic robust statistics
- r-cran-rocr (1.0-4-3build1) [universe]
- GNU R package to prepare and display ROC curves
- r-cran-rodbc (1.3-6-1) [universe]
- GNU R package for ODBC database access
- r-cran-rpart (3.1.54-1) [universe]
- GNU R package for recursive partitioning and regression trees
- r-cran-rpvm (1.0.4-2) [universe]
- GNU R package interfacing PVM libraries for distributed computing
- r-cran-rquantlib (0.3.8-2build1) [universe]
- GNU R package interfacing the QuantLib finance library
- r-cran-rserve (0.6-8-1) [universe]
- GNU R Rserve tcp/ip server and sample clients
- r-cran-rsprng (1.0-2) [universe]
- GNU R interface to SPRNG (Scalable Parallel RNGs)
- r-cran-runit (0.4.26-1) [universe]
- GNU R package providing unit testing framework
- r-cran-sandwich (2.2-9-1) [universe]
- GNU R package for model-robust standard error estimates
- r-cran-sm (2.2-4.1-1) [universe]
- GNU R package for kernel smoothing methods
- r-cran-sn (0.4-17-1) [universe]
- GNU R package providing skew-normal and skew-t distributions
- r-cran-snow (1:0.3.9-1) [universe]
- GNU R package for 'simple network of workstations'
- r-cran-strucchange (1.4-7-1) [universe]
- GNU R package for structural change regression estimation
- r-cran-survival (2.36-14-1) [universe]
- GNU R package for survival analysis
- r-cran-timedate (2160.95-1) [universe]
- GNU R package for financial engineering -- timeDate
- r-cran-timeseries (2160.94-1) [universe]
- GNU R package for financial engineering -- timeSeries
- r-cran-tkrplot (0.0.23-1) [universe]
- GNU R embedded Tk plotting device package
- r-cran-tseries (0.10-28-1) [universe]
- GNU R package for time-series analysis and comp. finance
- r-cran-urca (1.2-6-1) [universe]
- GNU R package providing unit root and cointegration tests
- r-cran-vgam (0.8-7-1) [universe]
- GNU R package for estimating vector generalized additive models
- r-cran-xml (3.9-4-1) [universe]
- GNU R package for XML parsing and generation
- r-cran-zelig (3.5.5-1) [universe]
- GNU R package providing a unified front-end for estimating statistical models
- r-cran-zoo (1.7-7-1) [universe]
- GNU R package for totally ordered indexed observations
- r-mathlib (2.15.1-5ubuntu1) [universe]
- GNU R standalone mathematics library
- r-noncran-lindsey (1.0.20071024-1.1build1) [universe]
- GNU R libraries contributed by Jim and Patrick Lindsey
- r-recommended (2.15.1-5ubuntu1) [universe]
- GNU R collection of recommended packages [metapackage]
- regina-normal (4.93-1) [universe]
- software for 3-manifold topology and normal surfaces
- regina-normal-mpi (4.93-1) [universe]
- MPI utilities for Regina, the 3-manifold topology software
- relational-cli (1.1-1) [universe]
- Educational tool for relational algebra (command line interface)
- rheolef (6.1-2build2) [universe]
- efficient Finite Element environment
- rkward (0.5.7-2build1) [universe]
- KDE frontend to the R statistics language
- rlplot (1.5-2) [universe]
- GUI application for generating publication quality graphs
- sc (7.16-3) [universe]
- Text-based spreadsheet with VI-like keybindings
- scalapack-mpi-test (1.8.0-9) [universe]
- Scalable Linear Algebra Package - Test files for MPICH
- scilab (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations
- scilab-ann (0.4.2.4-1) [universe]
- Scilab module for artificial neural networks
- scilab-celestlab (2.3.0-1-1) [universe]
- Library of space flight dynamics functions based on Scilab.
- scilab-cli (5.3.3-10ubuntu2) [universe]
- Scientific software package - Command Line Interpreter
- scilab-data (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations (data files)
- scilab-doc (5.3.3-10ubuntu2) [universe]
- Scientific software package (english documentations)
- scilab-full-bin (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations (all binary files)
- scilab-include (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations (include files)
- scilab-jims (1.1-1) [universe]
- Binds Java from the Scilab engine
- scilab-minimal-bin (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations (minimal binary files)
- scilab-overload (1.3.3-1ubuntu2) [universe]
- Scilab toolbox to overload Scilab's macros
- scilab-plotlib (0.42-1) [universe]
- "Matlab-like" Plotting library for Scilab
- scilab-scimax (2.1.4-2) [universe]
- Symbolic computations for Scilab based on Maxima
- scilab-scimysql (0.1.1-5) [universe]
- Scilab interface to MySQL
- scilab-sivp (0.5.3+svn287-2) [universe]
- Scilab Image and Video Processing toolbox
- scilab-swt (0.1.0rc4-5) [universe]
- Scilab Wavelet and signal processing toolbox
- scilab-test (5.3.3-10ubuntu2) [universe]
- Scientific software package for numerical computations (test files)
- scotch (5.1.12b.dfsg-1.1) [universe]
- programs and libraries for graph, mesh and hypergraph partitioning
- sdpa (7.3.8+dfsg-1) [universe]
- High-performance package for SemiDefinite Programs
- sdpam (7.3.8+dfsg-1) [universe]
- Matlab/Octave interface of SDPA
- sgb (1:20090810-1) [multiverse]
- The Stanford GraphBase: combinatorial data and algorithms
- singular (3-0-4-3.dfsg-3.1ubuntu5) [universe]
- A commutative algebra system
- snappea (3.0d3-22ubuntu1) [universe]
- program for creating and studying hyperbolic 3-manifolds
- socnetv (0.90-3) [universe]
- social network analysis and visualisation application
- spline (1.2-1) [universe]
- Akima spline interpolation
- stda (1.1.1-1) [universe]
- simple tools for data analysis (stda)
- sympow (1.019-4build1) [universe]
- Special values of symmetric power elliptic curve L-functions
- tachyon (0.99~b2+dfsg-0.4) [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.3-1ubuntu1) [multiverse]
- Quality Tetrahedral Mesh Generator
- tiemu (3.02-1.2) [multiverse]
- Texas Instruments calculators emulator (without GDB)
- tiemu-skinedit (1.27-2) [universe]
- skin editor for TiEmu
- tilp2 (1.16-0ubuntu1) [universe]
- Texas Instruments hand-helds <-> PC communication program for X
- udav (0.7.1.2-3) [universe]
- application for data visualization based on MathGL
- wcalc (2.4-1.1) [universe]
- A flexible command-line scientific calculator
- why (2.30+dfsg-5) [universe]
- Software verification tool
- wxgeometrie (0.133.1-2) [universe]
- Swiss army knife for the math teacher
- wxmaxima (12.04.0-1) [universe]
- GUI for the computer algebra system Maxima
- wzip (1.1.3) [universe]
- Lossy compression and denoising
- xgraph (12.1-16) [universe]
- Plotting program, reads stdin, allows interactive zooming
- xmaxima (5.27.0-3) [universe]
- Computer algebra system -- x interface
- yacas (1.3.2-1) [universe]
- Computer Algebra System
- yale (5.0.95-2) [multiverse]
- stellar data set from the Yale Bright Star Catalog
- yorick (2.2.02+dfsg-6) [universe]
- interpreted language and scientific graphics
- yorick-cubeview (1.6-2) [universe]
- 3D FITS data viewer specialized in spectro-imaging
- yorick-curses (0.1-6) [universe]
- interface to the (n)curses library for the Yorick language
- yorick-data (2.2.02+dfsg-6) [universe]
- interpreted library for the Yorick language
- yorick-dev (2.2.02+dfsg-6) [universe]
- development files for the Yorick interpreted language
- yorick-gl (1.1+cvs20070922+dfsg-6) [universe]
- OpenGL 3D graphics support for the Yorick language
- yorick-hdf5 (0.8.0-4) [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) [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-spydr (0.8.2-3) [universe]
- FITS image display and simple analysis
- yorick-yao (4.9.1-2) [universe]
- Yorick-based adaptive optics system simulator
- yorick-yeti (6.3.2-3ubuntu1) [universe]
- utility plugin for the Yorick language
- yorick-yeti-fftw (6.3.2-3ubuntu1) [universe]
- FFT plugin for the Yorick language
- yorick-yeti-gsl (6.3.2-3ubuntu1) [universe]
- GSL special functions plugin for the Yorick language
- yorick-yeti-regex (6.3.2-3ubuntu1) [universe]
- POSIX regular expressions for the Yorick language
- yorick-yeti-tiff (6.3.2-3ubuntu1) [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-5) [universe]
- zlib, jpeg and png support for the Yorick language