屬於 "etiona" 發行版 math 子區域的套件
- 4ti2 (1.6.7+ds-2build2)
- mathematical tool suite for problems on linear spaces -- tools
- acl2 (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: main binary
- acl2-books (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: compiled libraries
- acl2-books-certs (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: library certificates
- acl2-books-source (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: library sources
- acl2-emacs (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: emacs interface
- acl2-infix (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: infix interface
- acl2-infix-source (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: infix source
- acl2-source (8.0dfsg-1)
- Computational Logic for Applicative Common Lisp: source files
- admesh (0.98.3-2)
- Tool for processing triangulated solid meshes. Binary
- alt-ergo (1.30+dfsg1-1)
- Automatic theorem prover dedicated to program verification
- ann-tools (1.1.2+doc-6)
- Approximate Nearest Neighbor Searching library (tools)
- apcalc (2.12.5.0-1build1)
- Arbitrary precision calculator (original name: calc)
- apcalc-common (2.12.5.0-1build1)
- Arbitrary precision calculator (common files)
- apophenia-bin (1.0+ds-7build1)
- Apophenia Statistical C Library -- binary package
- aribas (1.64-6)
- interpreter for arithmetic
- auto-07p (0.9.1+dfsg-4)
- software for continuation and bifurcation problems in ODE
- autoclass (3.3.6.dfsg.1-1build1)
- automatic classification or clustering
- axiom (20170501-3)
- General purpose computer algebra system: main binary and modules
- axiom-databases (20170501-3)
- General purpose computer algebra system: generated text databases
- axiom-graphics (20170501-3)
- General purpose computer algebra system: graphics subsystem
- axiom-graphics-data (20170501-3)
- General purpose computer algebra system: graphics subsystem
- axiom-hypertex (20170501-3)
- General purpose computer algebra system: hypertex subsystem
- axiom-hypertex-data (20170501-3)
- General purpose computer algebra system: hypertex subsystem
- axiom-source (20170501-3)
- General purpose computer algebra system: source files
- axiom-test (20170501-3)
- General purpose computer algebra system: regression test inputs
- axiom-tex (20170501-3)
- General purpose computer algebra system: style file for TeX
- bc (1.07.1-2)
- GNU bc arbitrary precision calculator language
- bindechexascii (0.0+20140524.git7dcd86-4)
- simple ASCII,binary,decimal and hex converter
- blacs-mpi-test (1.1-40build1)
- Basic Linear Algebra Comm. Subprograms - Test files for MPI
- blacs-mpi-test
- 本虛擬套件由這些套件提供: scalapack-mpi-test
- blacs-test-common (1.1-40build1)
- Test data for BLACS testers
- blacs-test-common
- 本虛擬套件由這些套件提供: scalapack-test-common
- bliss (0.73-1)
- tool to compute graph automorphisms and labelings -- bin
- braillegraph (0.3-1)
- simple histogram tool producing text dot-matrix graphs
- bytes-circle (2.5-1)
- Show byte statistics as an ASCII circle graph
- cadabra (1.46-4)
- field-theory motivated computer algebra system
- calligrasheets (1:3.0.1-0ubuntu4)
- spreadsheet for the Calligra Suite
- cantor (4:17.12.3-0ubuntu1)
- interface for mathematical applications
- cantor-backend-julia (4:17.12.3-0ubuntu1)
- Julia backend for Cantor
- cantor-backend-kalgebra (4:17.12.3-0ubuntu1)
- KAlgebra backend for Cantor
- cantor-backend-lua (4:17.12.3-0ubuntu1)
- Lua backend for Cantor
- cantor-backend-maxima (4:17.12.3-0ubuntu1)
- Maxima backend for Cantor
- cantor-backend-octave (4:17.12.3-0ubuntu1)
- Octave backend for Cantor
- cantor-backend-python (4:17.12.3-0ubuntu1)
- Python backend for Cantor -- transitional package
- cantor-backend-python2 (4:17.12.3-0ubuntu1)
- Python2 backend for Cantor
- cantor-backend-python3 (4:17.12.3-0ubuntu1)
- Python3 backend for Cantor
- cantor-backend-qalculate (4:17.12.3-0ubuntu1)
- Qalculate! backend for Cantor
- cantor-backend-r (4:17.12.3-0ubuntu1)
- R backend for Cantor
- cantor-backend-sage (4:17.12.3-0ubuntu1)
- Sage backend for Cantor
- carmetal (3.5.2+dfsg-1.1)
- dynamic geometry software with highly ergonomic UI
- cauchy-tools (0.9.0-0ubuntu3)
- library for transforming Matlab/Octave files to C++ - toold
- cimg-dev (1.7.9+dfsg-2build1)
- powerful image processing library
- cliquer (1.21-2)
- clique searching program
- concalc (0.9.2-2build1)
- console calculator
- coq (8.6-5build1)
- proof assistant for higher-order logic (toplevel and compiler)
- coq-theories (8.6-5build1)
- proof assistant for higher-order logic (theories)
- coqide (8.6-5build1)
- proof assistant for higher-order logic (gtk interface)
- cvc3 (2.4.1-5.1ubuntu1)
- Automatic theorem prover for SMT problems
- cvc3-el (2.4.1-5.1ubuntu1)
- Emacs mode for CVC3
- cvc4 (1.5-1)
- automated theorem prover for SMT problems
- dc (1.07.1-2)
- GNU dc arbitrary precision reverse-polish calculator
- deepin-calculator (1.0.2-1)
- Calculator for DDE (Deepin Desktop Environment)
- dicelab (0.7-4build1)
- evaluate the statistical distribution of dice rolls
- dolfin-bin (2017.2.0.post0-2)
- Executable scripts for DOLFIN
- dynare (4.5.4-1)
- platform for handling a wide class of economic models
- eclib-tools (20171002-1build1)
- Programs for modular symbols and elliptic curves over Q
- edenmath.app (1.1.1a-7.1build2)
- Scientific calculator for GNUstep
- ess (17.11-2)
- Emacs mode for statistical programming and data analysis
- eukleides (1.5.4-4.1)
- Euclidean geometry drawing language
- euler (1.61.0-11build1)
- interactive mathematical programming environment
- euler-doc (1.61.0-11build1)
- documentation for the mathematical programming environment Euler
- evolver (2.70+ds-3)
- Surface Evolver
- evolver
- 本虛擬套件由這些套件提供: evolver-ogl, evolver-nox
- evolver-nox (2.70+ds-3)
- Surface Evolver - with no X support
- evolver-ogl (2.70+ds-3)
- Surface Evolver - with OpenGL display
- fenics (1:2017.2.0.1)
- Automated Solution of Differential Equations
- fflas-ffpack (2.2.2-5)
- Finite field linear algebra subroutines/package
- fflas-ffpack-common (2.2.2-5)
- Finite field linear algebra subroutines/package - common files
- flintqs (1:1.0-1)
- Program using quadratic sieve to factor integers
- fplll-tools (5.2.0-3build1)
- Tools to compute LLL-reduction of Euclidian lattices
- frama-c (20170501+phosphorus+dfsg-2build1)
- Platform dedicated to the analysis of source code written in C
- freefem (3.5.8-6ubuntu1)
- PDE oriented language using Finite Element Method
- freefem++ (3.47+dfsg1-2build1)
- Provides the binaries of the FreeFem++ FE suite
- freefem-examples (3.5.8-6ubuntu1)
- Example files for FreeFEM
- freefem3d (1.0pre10-4)
- Language and solver for partial differential equations in 3D
- freemat (4.2+dfsg1-6)
- mathematics framework (mostly matlab compatible)
- freemat-data (4.2+dfsg1-6)
- freemat data files
- freemat-help (4.2+dfsg1-6)
- freemat help files
- frobby (0.9.0-5)
- Computations with monomial ideals
- galculator (2.1.4-1build1)
- scientific calculator
- gap (4r8p8-3)
- computer algebra system for Groups, Algorithms and Programming
- gap-alnuth (3.1.0-2)
- GAP Alnuth - Algebraic number theory and an interface to PARI/GP
- gap-atlasrep (1.5.1-1)
- GAP AtlasRep - A GAP Interface to the Atlas of Group Representations
- gap-autpgrp (1.8-1)
- GAP AutPGrp - Computing the Automorphism Group of a p-Group
- gap-character-tables (1r2p2.dfsg.0-3)
- GAP Library of character tables
- gap-core (4r8p8-3)
- GAP computer algebra system, core components
- gap-design (1r6+ds-1)
- block designs for GAP
- gap-factint (1.5.3+ds-1)
- advanced methods for factoring integers for GAP
- gap-float (0.9.0+ds-4build1)
- multi-precision floating-point computation for GAP
- gap-gapdoc (1.6.1-2)
- GAPDoc - A Meta Package for GAP Documentation
- gap-grape (4r7+ds-3)
- GRaph Algorithms using PErmutation groups for GAP
- gap-guava (3.13+ds-2)
- coding theory library for GAP
- gap-guava-bin (3.13+ds-2)
- coding theory library for GAP (arch-dep files)
- gap-io (4.5.1+ds-1)
- low level C library IO bindings for GAP
- gap-laguna (3.7.0+ds-1)
- LAGUNA GAP package
- gap-libs (4r8p8-3)
- GAP computer algebra system, essential GAP libraries
- gap-online-help (4r8p8-3)
- GAP computer algebra system, online help
- gap-openmath (11.3.1+ds-2)
- OpenMath phrasebook for GAP
- gap-polycyclic (2.11-3)
- GAP Polycyclic - Computation with polycyclic groups
- gap-prim-groups (4r8p5-1)
- Database of primitive groups for GAP
- gap-radiroot (2.7-2)
- GAP RadiRoot - Roots of a Polynomial as Radicals
- gap-scscp (2.1.4+ds-3)
- SCSCP protocol in GAP
- gap-small-groups (4r8p5-1)
- Database of small groups for GAP
- (4r8p5-1)
- Large database of small groups for GAP
- gap-sonata (2.8+ds-1)
- Systems Of Nearrings And Their Applications for GAP
- gap-table-of-marks (1r2p6-1)
- GAP TomLib - The GAP Library of Tables of Marks
- gap-toric (1.8+ds-1)
- toric variety for GAP
- gap-trans-groups (4r8p5-1)
- Database of transitive groups for GAP
- gbase (0.5-2.2build1)
- small numeric base converter
- geg (2.0.9-2)
- GTK+ Equation Grapher
- geneagrapher (1.0c2+git20120704-2)
- Create tree from Mathematics Genealogy Project
- geomview (1.9.5-2)
- interactive geometry viewing program
- geophar (16.08.4~dfsg1-1)
- Swiss army knife for the math teacher
- gerris (20131206+dfsg-18)
- Fluid Flow Solver
- getdp (2.11.3+dfsg1-1)
- general environment for the treatment of discrete problems
- getdp-sparskit (2.11.3+dfsg1-1)
- general environment for the treatment of discrete problems
- gfan (0.5+dfsg-6)
- program for computing with Groebner fans
- gfm (1.07-2)
- Texas Instruments hand-helds file manipulation program for X
- ggobi (2.1.11-2build1)
- Data visualization system for high-dimensional data
- ginac-tools (1.7.4-1)
- GiNaC symbolic framework support tools
- glpk-utils (4.65-1)
- linear programming kit - utility files
- gmp-ecm (7.0.4+ds-1)
- Factor integers using the Elliptic Curve Method
- gmsh (3.0.6+dfsg1-1)
- Three-dimensional finite element mesh generator
- gnome-calculator (1:3.28.1-1ubuntu1)
- GNOME desktop calculator
- gnumeric (1.12.35-1.1)
- spreadsheet application for GNOME - main program
- gnumeric-common (1.12.35-1.1)
- spreadsheet application for GNOME - common files
- (1.12.35-1.1)
- spreadsheet application for GNOME - additional plugins
- gnuplot (5.2.2+dfsg1-2ubuntu1)
- Command-line driven interactive plotting program.
- gnuplot
- 本虛擬套件由這些套件提供: gnuplot-qt, gnuplot-x11, gnuplot-nox
- gnuplot-mode (1:0.7.0-1)
- Gnuplot mode for Emacs
- gnuplot-nox (5.2.2+dfsg1-2ubuntu1)
- Command-line driven interactive plotting program. No-X package
- gnuplot-nox
- 本虛擬套件由這些套件提供: gnuplot-qt, gnuplot-x11
- gnuplot-qt (5.2.2+dfsg1-2ubuntu1)
- Command-line driven interactive plotting program. QT-package
- gnuplot-x11 (5.2.2+dfsg1-2ubuntu1)
- Command-line driven interactive plotting program. X-package
- grace (1:5.1.25-5build1+9.0trisquel2)
- XY graphing and plotting tool
- graphmonkey (1.7-4)
- a GTK#-based graphing calculator
- gretl (2017d-3build1)
- GNU Regression, Econometric & Time-Series Library
- gretl-common (2017d-3build1)
- GNU Regression, Econometric & Time-Series Library -- scripts package
- gretl-data (2017d-3build1)
- GNU Regression, Econometric & Time-Series Library -- data package
- gretl-doc (2017d-3build1)
- GNU Regression, Econometric & Time-Series Library -- doc package
- grpn (1.4.1-1)
- GTK+ reverse polish notation calculator
- gsl-bin (2.4+dfsg-6)
- GNU Scientific Library (GSL) -- binary package
- gsl-ref-html (2.3-1)
- GNU Scientific Library (GSL) Reference Manual in html
- gsl-ref-psdoc (2.3-1)
- GNU Scientific Library (GSL) Reference Manual in postscript
- hol-light (20170706-0ubuntu4)
- HOL Light theorem prover
- hol88 (2.02.19940316-35)
- Higher Order Logic, system image
- hol88-contrib-help (2.02.19940316-35)
- Higher Order Logic, user contributed online help files
- hol88-contrib-source (2.02.19940316-35)
- Higher Order Logic, user contributed source
- hol88-doc (2.02.19940316-35)
- Documentation for hol88
- hol88-help (2.02.19940316-35)
- Higher Order Logic, online help files
- hol88-library (2.02.19940316-35)
- Higher Order Logic, binary library modules
- hol88-library-help (2.02.19940316-35)
- Higher Order Logic, library online help files
- hol88-library-source (2.02.19940316-35)
- Higher Order Logic, library source files
- hol88-source (2.02.19940316-35)
- Higher Order Logic, source files
- hyantesite (1.3.0-2ubuntu1)
- geomatic tool to compute neighbourhood population potential
- jacal (1b9-7ubuntu1)
- Interactive symbolic math system
- jags (4.3.0-1)
- Just Another Gibbs Sampler for Bayesian MCMC - binary
- jfractionlab (0.91-3)
- Educative program to practice fractions
- jgraph (83-23build1)
- Jim Plank's program for producing PostScript graphs
- jsurf-alggeo (0.3.0+ds-1)
- Java based visualization library for real algebraic geometry
- kalgebra-common (4:17.12.3-0ubuntu1)
- contains files common for kalgebra and kalgebramobile
- kalgebramobile (4:17.12.3-0ubuntu1)
- algebraic graphing calculator for small touch based interfaces
- kali (3.1-18)
- Draw tilings, frieze patterns, and so on
- kayali (0.3.2-0ubuntu4)
- A Qt-based Computer Algebra System
- kbruch (4:17.12.3-0ubuntu1)
- fraction learning aid for KDE
- kig (4:17.12.3-0ubuntu1)
- interactive geometry tool
- kmplot (4:17.12.3-0ubuntu1)
- mathematical function plotter for KDE
- labplot (2.4.0-1ubuntu4)
- interactive graphing and analysis of scientific data
- labplot-data (2.4.0-1ubuntu4)
- data files for labplot
- ladr4-apps (0.0.200911a-2.1build1)
- the LADR deduction library, miscellaneous applications
- lbt (1.2.2-6)
- converts from LTL formulas to Büchi automata
- lcalc (1.23+dfsg-6build1)
- program for calculating with L-functions
- libaac-tactics-coq (8.6.1-2)
- Coq tactics for reasoning modulo AC (theories)
- libadmesh1 (0.98.3-2)
- Tool for processing triangulated solid meshes. Shared library
- libcantor-pythonbackend (4:17.12.3-0ubuntu1)
- Base Python backend for Cantor
- libcdd-test (094h-1)
- transitional dummy package
- libcdd-tools (094h-1)
- Programs using libcdd
- libfrobby0 (0.9.0-5)
- Computations with monomial ideals (shared library)
- libgeomview-dev (1.9.5-2)
- geomview library development package
- libgf2x1 (1.2-5)
- Routines for fast arithmetic in GF(2)[x]
- libglpk40 (4.65-1)
- linear programming kit with integer (MIP) support
- libgts-bin (0.7.6+darcs121130-4)
- utility binaries for libgts
- liblfunction0 (1.23+dfsg-6build1)
- library for calculating with L-functions
- liblpsolve55-dev (5.5.0.15-4build1)
- Solve (mixed integer) linear programming problems - library
- liblrcalc1 (1.2-2)
- library for calculating Littlewood-Richardson coefficients
- liblrsgmp1 (0.62-2)
- package to enumerate vertices and extreme rays (shared libraries)
- libmeschach1.2 (1.2b-14)
- library for performing operations on matrices and vectors
- libplplotada2 (5.13.0+dfsg-6ubuntu2)
- Ada support for PLplot, a plotting library
- libquadrule1 (0~20121001-2)
- Quadrature rules and numerical integration routines
- libreoffice-nlpsolver (0.9+LibO6.0.3-0ubuntu1)
- "Solver for Nonlinear Programming" extension for LibreOffice
- librw0 (0.8+ds-1)
- Compute rank-width and rank-decompositions of graphs
- libsbml5-octave (5.16.0+dfsg-1)
- System Biology Markup Language library - Octave bindings
- libsprng2 (2.0a-11)
- SPRNG Scalable Parallel RNG library -- library package
- libssreflect-coq (1.6.1-3build1)
- small scale reflection library for Coq (theories)
- lie (2.2.2+dfsg-3)
- Computer algebra package for Lie group computations
- littler (0.3.3-1)
- GNU R scripting and command-line front-end -- transition package
- littler
- 本虛擬套件由這些套件提供: r-cran-littler
- lp-solve (5.5.0.15-4build1)
- Solve (mixed integer) linear programming problems
- lrcalc (1.2-2)
- programs for calculating Littlewood-Richardson coefficients
- lrslib (0.62-2)
- package to enumerate vertices and extreme rays of a convex polyhedron
- mandelbulber (1:1.21.1-1.1build2)
- 3D fractal renderer and animator
- mandelbulber2 (2.08.3-1build1)
- 3D fractal renderer and animator
- mandelbulber2-data (2.08.3-1build1)
- 3D fractal renderer and animator - data files
- maria (1.3.5-4.1)
- reachability analyzer for Algebraic System Nets
- mate-calc (1.20.1-1)
- MATE desktop calculator
- mate-calc-common (1.20.1-1)
- MATE desktop calculator (common files)
- mathicgb (1.0~git20170606-1)
- Compute Groebner bases (command line tool)
- mathomatic (16.0.4-1build1)
- portable Computer Algebra System (CAS)
- mathomatic-primes (16.0.4-1build1)
- prime number tools for mathomatic
- matlab2tikz (1.1.0-4)
- converter of Octave plots to TikZ figures (for integration into LaTeX)
- maxima (5.41.0-3)
- Computer algebra system -- base system
- maxima-doc (5.41.0-3)
- Computer algebra system -- documentation
- maxima-emacs (5.41.0-3)
- Computer algebra system -- emacs interface
- maxima-sage (5.39.0+ds-3)
- Computer algebra system -- base system
- maxima-sage-share (5.39.0+ds-3)
- Computer algebra system -- extra code
- maxima-share (5.41.0-3)
- Computer algebra system -- extra code
- maxima-src (5.41.0-3)
- Computer algebra system -- source code
- maxima-test (5.41.0-3)
- Computer algebra system -- test suite
- mcl (1:14-137+ds-1)
- Markov Cluster algorithm
- mcrl2 (201409.0-1ubuntu3)
- formal specification language toolset
- metis (5.1.0.dfsg-5)
- Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
- ministat (20150715-1build1)
- simple tool for statistical comparison of data sets
- minlog (4.0.99.20100221-6)
- Proof assistant based on first order natural deduction calculus
- mlucas (14.1-2)
- program to perform Lucas-Lehmer test on a Mersenne number
- model-builder (0.4.1-6.2)
- graphical ODE simulator
- mrbayes (3.2.6+dfsg-2)
- Bayesian Inference of Phylogeny
- mumps-test (5.1.2-4)
- Example/test binaries using MUMPS
- nauty (2.6r10+ds-1)
- library for graph automorphisms -- interface and tools
- nco (4.7.2-1)
- Command-line operators to analyze netCDF files
- normaliz (3.5.1+ds-4)
- math computing tools for affine monoids, rational polytopes and cones
- normaliz-bin (3.5.1+ds-4)
- math computing tools for affine monoids, rational polytopes and cones - bin
- num-utils (0.5-12)
- programs for dealing with numbers from the command line
- octave (4.2.2-1ubuntu1)
- GNU Octave language for numerical computations
- octave-bim (1.1.5-4)
- PDE solver using a finite element/volume approach in Octave
- octave-common (4.2.2-1ubuntu1)
- architecture-independent files for octave
- octave-communications (1.2.1-5)
- communications package for Octave
- octave-communications-common (1.2.1-5)
- communications package for Octave (arch-indep files)
- octave-control (3.0.0-5)
- computer-aided control system design (CACSD) for Octave
- octave-data-smoothing (1.3.0-6)
- functions to do data smoothing on noisy data
- octave-dataframe (1.2.0-3)
- manipulate data in Octave similar to R data.frame
- octave-divand (1.1.2+dfsg-3)
- n-dimensional interpolation for Octave
- octave-econometrics (1:1.1.1-5)
- econometrics functions for Octave
- octave-financial (0.5.1-2)
- financial package for Octave
- octave-fpl (1.3.5-4)
- plot data on unstructured triangular and tetrahedral meshes in Octave
- octave-ga (0.10.0-4)
- genetic optimization code for Octave
- octave-general (2.0.0-3)
- provide extra general functions for Octave
- octave-geometry (3.0.0-6)
- geometric computing functions for Octave
- octave-gsl (2.1.0-3)
- GSL binding for Octave
- octave-image (2.6.2-5)
- image manipulation for Octave
- octave-interval (3.1.0-5)
- real-valued interval arithmetic for Octave
- octave-io (2.4.10-3)
- input/output data functions for Octave
- octave-linear-algebra (2.2.2-4)
- additional linear-algebra functions for Octave
- octave-ltfat (2.2.0+dfsg-7)
- Large Time/Frequency Analysis Toolbox
- octave-ltfat-common (2.2.0+dfsg-7)
- Large Time/Frequency Analysis Toolbox (arch-indep files)
- octave-mapping (1.2.1-3)
- geographical mapping functions for Octave
- octave-miscellaneous (1.2.1-4)
- miscellaneous tools for Octave
- octave-missing-functions (1.0.2-7)
- finds functions that are in Matlab but not in Octave
- octave-mpi (1.2.0-4)
- Octave toolbox for parallel computing using MPI
- octave-msh (1.0.10-5)
- create and manage meshes for FE or FV solvers in Octave
- octave-nan (3.1.4-3)
- handles data with and without missing values in Octave
- octave-netcdf (1.0.11-3)
- Matlab compatible NetCDF interface for Octave
- octave-nurbs (1.3.13-4)
- non-uniform rational B-splines for Octave
- octave-ocs (0.1.5-6)
- circuit simulator for Octave
- octave-octclip (1.0.8-4)
- boolean operations with polygons in Octave
- octave-octproj (1.1.5-3)
- GNU Octave bindings to PROJ.4
- octave-odepkg (0.8.5-5)
- solve differential equations and initial value problems in Octave
- octave-optim (1.5.2-4)
- unconstrained non-linear optimization toolkit for Octave
- octave-optiminterp (0.3.4-4)
- optimal interpolation package for Octave
- octave-parallel (3.1.1-3)
- parallel execution of Octave in clusters of computers
- octave-pfstools (2.1.0-3)
- octave bindings for pfstools
- octave-plplot (5.13.0+dfsg-6ubuntu2)
- Octave support for PLplot, a plotting library
- octave-quaternion (2.4.0-4)
- quaternion package for Octave
- octave-secs1d (0.0.9-5)
- semi conductor simulator in 1D for Octave
- octave-secs2d (0.0.8-9)
- semi conductor simulator in 2D for Octave
- octave-signal (1.3.2-5)
- signal processing functions for Octave
- octave-sockets (1.2.0-3)
- communication through Internet sockets in Octave
- octave-sparsersb (1.0.5-3)
- RSB sparse matrix manipulation for Octave
- octave-specfun (1.1.0-4)
- special mathematical functions for Octave
- octave-splines (1.3.2-3)
- cubic spline functions for Octave
- octave-statistics (1.3.0-4)
- additional statistical functions for Octave
- octave-stk (2.5.0-1)
- (not so) Small Toolbox for Kriging
- octave-strings (1.2.0-3)
- additional string manipulation functions for Octave
- octave-struct (1.0.14-3)
- additional structure manipulation functions for Octave
- octave-symbolic (2.6.0-3build1)
- symbolic package for Octave
- octave-tisean (0.2.3-3)
- nonlinear time series analysis for Octave
- octave-tsa (4.4.5-3)
- time series analysis in Octave
- octave-vrml (1.0.13-4)
- VRML functions for Octave
- octave-zenity (0.5.7-8)
- simple graphical user interfaces using zenity in Octave
- octave-zeromq (1.2.1-3)
- ZeroMQ binding for Octave
- orpie (1.5.2-2)
- RPN calculator for the terminal
- palp (2.1-4)
- Package for Analyzing Lattice Polytopes
- pari-elldata (0.20161017-1)
- PARI/GP Computer Algebra System elliptic curves (elldata)
- pari-galdata (0.20080411-2)
- PARI/GP Computer Algebra System Galois resolvents (galdata)
- pari-galpol (3.0-1)
- PARI/GP Computer Algebra System Galois polynomial database
- pari-gp (2.9.4-1)
- PARI/GP Computer Algebra System binaries
- pari-gp2c (0.0.10pl1-1)
- PARI/GP GP to C compiler
- pari-seadata (0.20090618-1)
- PARI/GP Computer Algebra System modular polynomials (seadata)
- pdl (1:2.018-1ubuntu4)
- perl data language: Perl extensions for numerics
- pi (1.3.4-2)
- Compute Archimedes' constant Pi to arbitrary precision
- picviz (0.5-1ubuntu1)
- Parallel coordinates plotter
- plotdrop (0.5.4-1)
- minimal GNOME frontend to GNUPlot
- plotutils (2.6-9)
- GNU plotutils command line tools based on libplot
- plplot-tcl (5.13.0+dfsg-6ubuntu2)
- Tcl/Tk support for PLplot, a plotting library
- plplot-tcl-bin (5.13.0+dfsg-6ubuntu2)
- Tcl/Tk tools for PLplot, a plotting library
- plplot-tcl-dev (5.13.0+dfsg-6ubuntu2)
- Tcl/Tk development support for PLplot, a plotting library
- polylib-utils (5.22.5-4+dfsg)
- Various tools using libpolylib
- polymake (3.2r2-3)
- Tool for algorithmic discrete geometry
- polymake-common (3.2r2-3)
- Tool for algorithmic discrete geometry -- shared files
- primesieve (6.3+ds-2ubuntu1)
- fast prime number generator C/C++ library
- primesieve-bin (6.3+ds-2ubuntu1)
- fast prime number generator C/C++ library -- bin
- prover9 (0.0.200911a-2.1build1)
- theorem prover and countermodel generator
- prover9-mace4 (0.5.dfsg-3)
- GUI for Prover9 and Mace4
- psignifit (2.5.6-4)
- Fitting and testing hypotheses about psychometric functions
- pspp (1.0.1-1)
- Statistical analysis tool
- ptscotch (6.0.4.dfsg1-8)
- MPI programs and libraries for graph, mesh and hypergraph partitioning
- pyecm (2.0.2-3)
- integer factorization with the Elliptic Curve Method (ECM)
- python-gmpy (1.17-3)
- interfaces GMP to Python for fast, unbound-precision computations
- qalc (0.9.10-1)
- Powerful and easy to use command line calculator
- qalculate-gtk (0.9.9-1)
- Powerful and easy to use desktop calculator - GTK+ version
- qhull-bin (2015.2-4)
- calculate convex hulls and related structures (utilities)
- qsopt-ex (2.5.10.3-1build1)
- Exact linear programming solver
- qtiplot (0.9.8.9-17)
- data analysis and scientific plotting
- quickplot (1.0.1~rc-1build2)
- fast interactive 2D plotter and data viewer
- r-base (3.4.4-1ubuntu1)
- GNU R statistical computation and graphics system
- r-base-core (3.4.4-1ubuntu1)
- GNU R core of statistical computation and graphics system
- r-base-core-dbg (3.4.4-1ubuntu1)
- GNU R debug symbols for statistical comp. language and environment
- r-base-html (3.4.4-1ubuntu1)
- GNU R html docs for statistical computing system functions
- r-bioc-hilbertvis (1.36.0-1)
- GNU R package to visualise long vector data
- r-cran-abind (1.4-5-1.1)
- GNU R abind multi-dimensional array combination function
- r-cran-bayesm (3.1-0.1-1)
- GNU R package for Bayesian inference
- r-cran-bitops (1.0-6-3)
- GNU R package implementing bitwise operations
- r-cran-boot (1.3-20-1.1)
- GNU R package for bootstrapping functions from Davison and Hinkley
- r-cran-cairodevice (2.24-2build1)
- GNU R Cairo/Gtk2 device driver package
- r-cran-car (2.1-6-1)
- GNU R Companion to Applied Regression by John Fox
- r-cran-catools (1.17.1-2)
- GNU R package providing various utility functions
- r-cran-chron (2.3-52-1)
- GNU R package for chronologically ordered objects
- r-cran-cluster (2.0.6-2build1)
- GNU R package for cluster analysis by Rousseeuw et al
- r-cran-coda (0.19-1-2)
- Output analysis and diagnostics for MCMC simulations in R
- r-cran-codetools (0.2-15-1.1)
- GNU R package providing code analysis tools
- r-cran-combinat (0.0-8-5)
- GNU R package with utilities for combinatorics
- r-cran-date (1.2.38-1)
- GNU R package for date handling
- r-cran-dbi (0.7-1build1)
- GNU R package providing a generic database interface
- r-cran-eco (4.0-1-1)
- GNU R routines for Bayesian ecological inference
- r-cran-effects (4.0.0-1)
- GNU R graphical and tabular effects display for glm models
- r-cran-fasianoptions (3042.82-1)
- GNU R package for financial engineering -- fAsianOptions
- r-cran-fassets (3042.84-1)
- GNU R package for financial engineering -- fAssets
- r-cran-fbasics (3042.89-1)
- GNU R package for financial engineering -- fBasics
- r-cran-fbonds (3042.78-1)
- GNU R package for financial engineering -- fBonds
- r-cran-fcopulae (3042.82-1)
- GNU R package for financial engineering -- fCopulae
- r-cran-fexoticoptions (3042.80-1)
- GNU R package for financial engineering -- fExoticOptions
- r-cran-fextremes (3042.82-1)
- GNU R package for financial engineering -- fExtremes
- r-cran-fgarch (3042.83-1)
- GNU R package for financial engineering -- fGarch
- r-cran-fimport (3042.85-1)
- GNU R package for financial engineering -- fImport
- r-cran-fmultivar (3042.80-1)
- GNU R package for financial engineering -- fMultivar
- r-cran-fnonlinear (3042.79-1)
- GNU R package for financial engineering -- fNonlinear
- r-cran-foptions (3042.86-1)
- GNU R package for financial engineering -- fOptions
- r-cran-foreign (0.8.69-1build1)
- GNU R package to read/write data from other stat. systems
- r-cran-fportfolio (3042.83-1)
- GNU R package for financial engineering -- fPortfolio
- r-cran-fregression (3042.82-1)
- GNU R package for financial engineering -- fRegression
- r-cran-ftrading (3042.79-1)
- GNU R package for financial engineering -- fTrading
- r-cran-funitroots (3042.79-1)
- GNU R package for financial engineering -- fUnitRoots
- r-cran-gdata (2.18.0-1.1)
- GNU R package with data manipulation tools by Greg Warnes et al
- r-cran-getopt (1.20.2-1)
- GNU R package providing command-line parsing functionality
- r-cran-gmaps (0.2-2build1)
- GNU R support for producing geographic maps with grid graphics
- r-cran-gmodels (2.16.2-2.1)
- GNU R package with tools for model fitting by Greg Warnes et al
- r-cran-gplots (3.0.1-2.1)
- GNU R package with tools for plotting data by Greg Warnes et al
- r-cran-gregmisc (2.1.5-2)
- GNU R package with miscellaneous functions by Greg Warnes et al
- r-cran-gtools (3.5.0-2build1)
- GNU R package with R programming tools by Greg Warnes et al
- r-cran-hdf5 (1.6.10-4.1)
- GNU R package interfacing the NCSA HDF5 library
- r-cran-hmisc (4.1-1-1)
- GNU R miscellaneous functions by Frank Harrell
- r-cran-its (1.1.8-6.1)
- GNU R package for handling irregular time series
- r-cran-kernsmooth (2.23-15-3build1)
- GNU R package for kernel smoothing and density estimation
- r-cran-lattice (0.20-35-1build1)
- GNU R package for 'Trellis' graphics
- (0.6-28-2build1)
- GNU R package of additional graphical displays based on lattice
- r-cran-lme4 (1.1-15-1)
- GNU R package for linear mixed effects model fitting
- r-cran-lmtest (0.9.35-2build1)
- GNU R package for diagnostic checking in linear models
- r-cran-lpsolve (5.6.13-3build1)
- GNU R package providing linear program solvers
- r-cran-mapdata (2.3.0-1)
- GNU R support for producing geographic maps (supplemental data)
- r-cran-mapproj (1.2.6-1)
- GNU R support for cartographic projections of map data
- r-cran-maps (3.3.0-1)
- GNU R support for producing geographic maps
- r-cran-matchit (3.0.1-1)
- GNU R package of nonparametric matching methods
- r-cran-matrix (1.2-12-1)
- GNU R package of classes for dense and sparse matrices
- r-cran-mcmcpack (1.4-0-1)
- R routines for Markov chain Monte Carlo model estimation
- r-cran-mgcv (1.8-23-1)
- GNU R package for multiple parameter smoothing estimation
- r-cran-misc3d (0.8-4-2.1)
- GNU R collection of 3d plot functions and rgl-based isosurfaces
- r-cran-mnormt (1.5-5-2build1)
- GNU R package providing multivariate normal and t distribution
- r-cran-mnp (3.1-0-1)
- GNU R package for fitting multinomial probit (MNP) models
- r-cran-multcomp (1.4-8-1)
- GNU R package for multiple comparison procedures
- r-cran-mvtnorm (1.0-7-1)
- GNU R package to compute multivariate Normal and T distributions
- r-cran-nlme (3.1.131-3build1)
- GNU R package for (non-)linear mixed effects models
- r-cran-nws (2.0.0.3-4.1)
- GNU R package for distributed programming via NetWorkSpaces
- r-cran-plotrix (3.6-6-1)
- GNU R package providing various plotting functions
- r-cran-polspline (1.1.12-3build1)
- GNU R package providing polynomial spline fitting
- r-cran-psy (1.1-3)
- GNU R procedures for psychometrics
- r-cran-qtl (1.42-8-1)
- GNU R package for genetic marker linkage analysis
- r-cran-quadprog (1.5-5-3build1)
- GNU R package for solving quadratic programming problems
- r-cran-rcmdr (2.4-1-1)
- GNU R platform-independent basic-statistics GUI
- r-cran-rcolorbrewer (1.1-2-1.1)
- GNU R package providing suitable color palettes
- r-cran-rcpp (0.12.15-1)
- GNU R package for Seamless R and C++ Integration
- r-cran-relimp (1.0-5-2.1)
- GNU R package for inference on relative importance of regressors
- r-cran-rggobi (2.1.21-2build1)
- GNU R package for the GGobi data visualization system
- r-cran-rgl (0.99.9-1)
- GNU R package for three-dimensional visualisation using OpenGL
- r-cran-rglpk (0.6-3-1build1)
- GNU R interface to the GNU Linear Programming Kit
- r-cran-rgtk2 (2.20.34-1)
- GNU R binding for Gtk2
- r-cran-rjava (0.9-9-1ubuntu2)
- GNU R low-level interface to Java
- r-cran-rmpi (0.6-6-4build1)
- GNU R package interfacing MPI libraries for distributed computing
- r-cran-rmysql (0.10.13-2)
- GNU R package providing a DBI-compliant interface to MySQL
- r-cran-robustbase (0.92-8-1)
- GNU R package providing basic robust statistics
- r-cran-rocr (1.0-7-3)
- GNU R package to prepare and display ROC curves
- r-cran-rodbc (1.3-15-1build1)
- GNU R package for ODBC database access
- r-cran-rpart (4.1-13-1)
- GNU R package for recursive partitioning and regression trees
- r-cran-rquantlib (0.4.4-1)
- GNU R package interfacing the QuantLib finance library
- r-cran-rserve (1.7-3-3build2)
- GNU R Rserve tcp/ip server and sample clients
- r-cran-rsprng (1.0-5build1)
- GNU R interface to SPRNG (Scalable Parallel RNGs)
- r-cran-runit (0.4.31-2.1)
- GNU R package providing unit testing framework
- r-cran-sandwich (2.4-0-1.1)
- GNU R package for model-robust standard error estimates
- r-cran-sm (2.2-5.4-2build2)
- GNU R package for kernel smoothing methods
- r-cran-sn (1.5-1-1)
- GNU R package providing skew-normal and skew-t distributions
- r-cran-snow (1:0.4.2-1.1)
- GNU R package for 'simple network of workstations'
- r-cran-strucchange (1.5-1-2.1)
- GNU R package for structural change regression estimation
- r-cran-survival (2.41-3-2build1)
- GNU R package for survival analysis
- r-cran-timedate (3043.102-1)
- GNU R package for financial engineering -- timeDate
- r-cran-timeseries (3042.102-1)
- GNU R package for financial engineering -- timeSeries
- r-cran-tkrplot (0.0.23-4build1)
- GNU R embedded Tk plotting device package
- r-cran-tseries (0.10-43-1)
- GNU R package for time-series analysis and comp. finance
- r-cran-urca (1.3-0-2build1)
- GNU R package providing unit root and cointegration tests
- r-cran-vgam (1.0-4-1)
- GNU R package for estimating vector generalized additive models
- r-cran-xml (3.98-1.10-1)
- GNU R package for XML parsing and generation
- r-cran-zelig (5.1.6-1ubuntu1)
- GNU R package providing a unified front-end for estimating statistical models
- r-cran-zoo (1.8-1-1)
- GNU R package for totally ordered indexed observations
- r-mathlib (3.4.4-1ubuntu1)
- GNU R standalone mathematics library
- r-recommended (3.4.4-1ubuntu1)
- GNU R collection of recommended packages [metapackage]
- regina-normal (5.1-2build1)
- mathematical software for low-dimensional topology
- regina-normal-mpi (5.1-2build1)
- MPI utilities for Regina, the topology software
- relational-cli (2.5-1)
- Educational tool for relational algebra (command line interface)
- rheolef (6.7-6)
- efficient Finite Element environment
- rkward (0.7.0-1)
- KDE frontend to the R statistics language
- rkward-data (0.7.0-1)
- KDE frontend to the R statistics language - data files
- rlplot (1.5-3)
- GUI application for generating publication quality graphs
- rubiks (20070912-2build1)
- Small collection of Rubik's cube solvers
- sagemath (8.1-7ubuntu1)
- Open Source Mathematical Software
- sagemath-common (8.1-7ubuntu1)
- Open Source Mathematical Software - architecture-independent files
- sagemath-database-conway-polynomials (0.5-3)
- Database of Conway polynomials
- sagemath-database-elliptic-curves (0.8-1)
- Databases for elliptic curves
- sagemath-database-graphs (20161026+dfsg-1)
- Databases of graphs
- sagemath-database-mutually-combinatorial-designs (20140630-2)
- Databases of combinatorial designs
- sagemath-database-polytopes (20170220-1)
- Databases of polytopes
- sagemath-doc-ca (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Catalan; Valencian)
- sagemath-doc-de (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (German)
- sagemath-doc-en (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (English)
- sagemath-doc-es (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Spanish; Castilian)
- sagemath-doc-fr (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (French)
- sagemath-doc-hu (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Hungarian)
- sagemath-doc-it (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Italian)
- sagemath-doc-ja (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Japanese)
- sagemath-doc-pt (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Portuguese)
- sagemath-doc-ru (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Russian)
- sagemath-doc-tr (8.1-7ubuntu1)
- Open Source Mathematical Software - documentation (Turkish)
- sagemath-jupyter (8.1-7ubuntu1)
- Open Source Mathematical Software - Jupyter kernel
- sc (7.16-4ubuntu2)
- Text-based spreadsheet with VI-like keybindings
- scalapack-mpi-test (2.0.2-4)
- Scalable Linear Algebra Package - Test files for MPI
- scilab (6.0.1-1ubuntu1)
- Scientific software package for numerical computations
- scilab-ann (0.4.2.4-1)
- Scilab module for artificial neural networks
- scilab-celestlab (3.0.0-1-2)
- Library of space flight dynamics functions based on Scilab.
- scilab-cli (6.0.1-1ubuntu1)
- Scientific software package - Command Line Interpreter
- scilab-data (6.0.1-1ubuntu1)
- Scientific software package for numerical computations (data files)
- scilab-doc (6.0.1-1ubuntu1)
- Scientific software package (English documentations)
- scilab-full-bin (6.0.1-1ubuntu1)
- Scientific software package for numerical computations (all binary files)
- scilab-include (6.0.1-1ubuntu1)
- Scientific software package for numerical computations (include files)
- scilab-minimal-bin (6.0.1-1ubuntu1)
- Scientific software package for numerical computations (minimal binary files)
- scilab-plotlib (0.42-1)
- "Matlab-like" Plotting library for Scilab
- scilab-test (6.0.1-1ubuntu1)
- Scientific software package for numerical computations (test files)
- scotch (6.0.4.dfsg1-8)
- programs and libraries for graph, mesh and hypergraph partitioning
- sdpa (7.3.11+dfsg-1ubuntu1)
- High-performance package for SemiDefinite Programs
- sdpam (7.3.11+dfsg-1ubuntu1)
- Matlab/Octave interface of SDPA
- sdpb (1.0-3build3)
- Semidefinite program solver
- singular (1:4.1.0-p3+ds-2build1)
- Computer Algebra System for Polynomial Computations
- singular-data (1:4.1.0-p3+ds-2build1)
- Computer Algebra System for Polynomial Computations -- shared data
- singular-ui (1:4.1.0-p3+ds-2build1)
- Computer Algebra System for Polynomial Computations -- console user interface
- singular-ui-emacs (1:4.1.0-p3+ds-2build1)
- Computer Algebra System for Polynomial Computations -- emacs user interface
- singular-ui-xterm (1:4.1.0-p3+ds-2build1)
- Computer Algebra System for Polynomial Computations -- xterm user interface
- snappea (3.0d3-24)
- program for creating and studying hyperbolic 3-manifolds
- socnetv (2.2-1)
- Social Network Analysis and Visualisation application
- sollya (6.0+ds-6build1)
- library for safe floating-point code development -- tool
- spigot (0.2017-01-15.gdad1bbc6-1)
- Exact real calculator
- spline (1.2-3)
- Akima spline interpolation
- stda (1.3.1-2)
- simple tools for data analysis (stda)
- surf-alggeo (1.0.6+ds-4build1)
- visualization of real algebraic geometry
- surf-alggeo-nox (1.0.6+ds-4build1)
- visualization of real algebraic geometry -- no X support
- sympow (1.023-8)
- mathematical program for SYMmetric POWer elliptic curve L-functions -- program
- sympow-data (1.023-8)
- mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
- tachyon (0.99~b6+dsx-8)
- Parallel/Multiprocessor Standalone Ray Tracer - metapackage
- tachyon-bin-nox (0.99~b6+dsx-8)
- Parallel/Multiprocessor Standalone Ray Tracer - with no X support
- tachyon-bin-ogl (0.99~b6+dsx-8)
- Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
- tapecalc (20070214-2build2)
- a full-screen tape editor that lets the user edit a calculation
- tetgen (1.5.0-4)
- Quality Tetrahedral Mesh Generator
- tiemu-skinedit (1.27-2build1)
- skin editor for TiEmu
- tilem (2.0-2build1)
- GTK+ TI Z80 calculator emulator
- tilem-data (2.0-2build1)
- GTK+ TI Z80 calculator emulator (data files)
- tilp2 (1.17-3)
- Texas Instruments hand-helds <-> PC communication program for X
- twinvoicerecalc (0.0.20170711-1)
- Taiwan invoice reverse calculator
- vspline-dev (0.3.1-1)
- header-only C++ template library for uniform b-spline processing
- wcalc (2.5-2build2)
- Flexible command-line scientific calculator
- why (2.39-2build1)
- Software verification tool for C and Java
- why3 (0.88.3-1ubuntu4)
- Software verification platform
- why3-coq (0.88.3-1ubuntu4)
- Coq support for the why3 verification platform
- why3-doc-html (0.88.3-1ubuntu4)
- HTML Documentation of the why3 verification platform
- why3-doc-pdf (0.88.3-1ubuntu4)
- PDF Documentation of the why3 verification platform
- why3-examples (0.88.3-1ubuntu4)
- Examples for the why3 verification platform
- wxmaxima (18.02.0-2)
- GUI for the computer algebra system Maxima
- wzip (1.1.5)
- Lossy compression and denoising
- xmaxima (5.41.0-3)
- Computer algebra system -- x interface
- yacas (1.3.6-2)
- Computer Algebra System
- yorick (2.2.04+dfsg1-9)
- interpreted language and scientific graphics
- yorick-cubeview (2.2-2)
- 3D FITS data viewer specialized in spectro-imaging
- yorick-curses (0.1-6build1)
- interface to the (n)curses library for the Yorick language
- yorick-data (2.2.04+dfsg1-9)
- interpreted library for the Yorick language
- yorick-dev (2.2.04+dfsg1-9)
- development files for the Yorick interpreted language
- yorick-gl (1.1+cvs20070922+dfsg-6.1)
- OpenGL 3D graphics support for the Yorick language
- yorick-hdf5 (0.8.0-8)
- Hierarchical Data Format 5 interface for the Yorick language
- yorick-imutil (0.5.7-3)
- fast image manipulation routines for the Yorick language
- yorick-ml4 (0.6.0-3)
- Matlab file format support for the Yorick language
- yorick-optimpack (1.3.2+dfsg+1.4.0-1)
- optimization of large scale problems for the Yorick language
- yorick-soy (1.4.0-3)
- sparse matrix operations for the Yorick language
- yorick-spydr (0.8.2-3)
- FITS image display and simple analysis
- yorick-yao (5.4.0-1)
- Yorick-based adaptive optics system simulator
- yorick-yeti (6.4.0-1)
- utility plugin for the Yorick language
- yorick-yeti-fftw (6.4.0-1)
- FFT plugin for the Yorick language
- yorick-yeti-regex (6.4.0-1)
- POSIX regular expressions for the Yorick language
- yorick-yeti-tiff (6.4.0-1)
- TIFF image format input for the Yorick language
- yorick-yutils (1.5.2-1)
- various utilities for the Yorick language
- yorick-z (1.2.0+cvs20080115-5build1)
- zlib, jpeg and png support for the Yorick language