Tag field::mathematics - Mathematics

Facet: Field Packages:

abakus -
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
admesh - a tool for processing triangulated solid meshes
akode-dbg -
apcalc - Arbitrary precision calculator (original name: calc)
apcalc-common - Arbitrary precision calculator (common files)
apcalc-dev - Library for arbitrary precision arithmetic
aribas - interpreter for arithmetic
autoclass - automatic classification or clustering
axiom - A general purpose computer algebra system: main binary and modules
axiom-databases - A general purpose computer algebra system: generated text databases
axiom-doc - A general purpose computer algebra system: documentation
axiom-graphics - A general purpose computer algebra system: graphics subsystem
axiom-graphics-data - A general purpose computer algebra system: graphics subsystem
axiom-hypertex - A general purpose computer algebra system: hypertex subsystem
axiom-hypertex-data - A general purpose computer algebra system: hypertex subsystem
axiom-source - A general purpose computer algebra system: source files
axiom-test - A general purpose computer algebra system: regression test inputs
axiom-tex - A general purpose computer algebra system: style file for TeX
bc - The GNU bc arbitrary precision calculator language
blacs-pvm-dev - Basic Linear Algebra Comm. Subprograms - Dev. files for PVM
blacs-pvm-test - Basic Linear Algebra Comm. Subprograms - Test files for PVM
blacs1-pvm - Basic Linear Algebra Comm. Subprograms - Shared libs. for PVM
boinc-client - core client for the BOINC distributed computing infrastructure
bugsx - program to evolve biomorphs using genetic algorithms
calcoo - Scientific calculator (GTK+)
cl-integrate -
cl-rsm-mod - McIntire's Common Lisp Modular Arithmetic Library
cl-rsm-mpoly -
concalc - console calculator
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs -
coqide - proof assistant for higher-order logic (gtk interface)
dc - The GNU dc arbitrary precision reverse-polish calculator
derivations - book: Derivations of Applied Mathematics
distributed-net - donate unused CPU cycles - client for distributed.net
dome -
drgeo - An interactive geometry software
drgeo-doc - The Dr. Geo online user manual
dsdp - Software for Semidefinite Programming
edenmath.app - Scientific calculator for GNUstep
education-mathematics - Debian Edu mathematical applications
ent - pseudorandom number sequence test program
eukleides - Euclidean geometry drawing language
euler - interactive mathematical programming environment
euler-doc - documentation for the mathematical programming environment Euler
evolver - Surface Evolver
evolver-doc - Surface Evolver documentation and examples
extcalc - multifunctional scientific graphic calculator
fftw-dev - library for computing Fast Fourier Transforms
fftw-docs - documentation for fftw
fftw2 - library for computing Fast Fourier Transforms
fractxtra -
galculator - A GTK+ 2.0 based calculator
gambit - game theory software and tools
gambit-doc - documentation for gambit
gap - Groups, Algorithms and Programming computer algebra system
gap-character-tables - GAP Library of character tables
gap-core - GAP computer algebra system, core components
gap-dev - GAP computer algebra system, compiler and development files
gap-doc - GAP computer algebra system, documentation
gap-libs - GAP computer algebra system, essential GAP libraries
gap-matrix-schreiersims -
gap-online-help - GAP computer algebra system, online help
gap-prim-groups - Database of primitive groups for GAP
gap-small-groups - Database of small groups for GAP
gap-small-groups-extra - Large database of small groups for GAP
gap-table-of-marks - GAP table of marks library
gap-trans-groups - Database of transitive groups for GAP
gbase - small numeric base converter
gcalctool - GNOME desktop calculator
geg - a GTK+ Equation Grapher
genius - advanced general purpose calculator program (CLI frontend)
geomview - interactive geometry viewing program
gerris - Gerris Flow Solver
ginac-tools - Some tools for the GiNaC symbolic framework
glpk - linear programming kit
gmp-ecm - Factor integers using the Elliptic Curve Method
gnome-genius - advanced general purpose calculator program (Gnome frontend)
gnuplot - A command-line driven interactive plotting program
gnuplot-doc - A command-line driven interactive plotting program
gnuplot-mode - Yet another Gnuplot mode for Emacs
gnuplot-nox - A command-line driven interactive plotting program
gpe-julia - Julia/Mandelbrot set generator for GPE
grace - An XY plotting tool
grace6 -
graphmonkey - a GTK#-based graphing calculator
graphviz - rich set of graph drawing tools
graphviz-dev - transitional package for graphviz-dev rename
graphviz-doc - additional documentation for graphviz
gretl-common - The GNU Regression, Econometric & Time-Series Library -- scripts package
gretl-data - The GNU Regression, Econometric & Time-Series Library -- data package
gretl-doc - The GNU Regression, Econometric & Time-Series Library -- doc package
grpn - GTK+ reverse polish notation calculator
gsl-bin - GNU Scientific Library (GSL) -- binary package
gsl-doc-pdf - GNU Scientific Library (GSL) Reference Manual in pdf
gsl-ref-html - GNU Scientific Library (GSL) Reference Manual in html
gsl-ref-psdoc - GNU Scientific Library (GSL) Reference Manual in postscript
jsmath - TeX equations in HTML documents
junior-math - Debian Jr. educational math
k3dsurf - tool for mathematical surfaces
kalgebra - algebraic graphing calculator for KDE
kbruch - fraction learning aid for KDE
kformula - formula drawing component for the KDE Office Suite
kig - interactive geometry tool for KDE
kmplot - mathematical function plotter for KDE
kpercentage -
kseg - Sketchpad for planar Euclidean geometry
latex-xft-fonts -
lbt - converts from LTL formulas to Büchi automata
libadolc-dev - ADOLC development libs and headers
libarpack++2-dev - Object-oriented version of the ARPACK package (development)
libarpack2 - Fortran77 subroutines to solve large scale eigenvalue problems
libarpack2-dev - Fortran77 subroutines to solve large scale eigenvalue problems (development)
libbigdecimal-ruby -
libblas3gf - Basic Linear Algebra Reference implementations, shared library
libboost-graph-dev - generic graph components and algorithms in C++ (default version)
libcln-dev - Development library for Class Library for Numbers (c++)
libcreal-ocaml-dev - O'Caml library that implements exact real arithmetic
libfreefem-dev - Development library, header files and manpages
libfreefem-doc - Documentation for FreeFEM development
libfreefem0 - Shared libraries for FreeFEM
libginac-dev - The GiNaC symbolic framework (development files)
libgmp-ocaml - OCaml bindings for the GNU multiprecision arithmetic library
libgmp-ocaml-dev - OCaml bindings for the GNU multiprecision arithmetic library
libgmp3-dev - Multiprecision arithmetic library developers tools
libgmp3-doc -
libgretl1 - The GNU Regression, Econometric & Time-Series Library -- library package
libgretl1-dev - The GNU Regression, Econometric & Time-Series Library -- development package
libgsl0-dev - GNU Scientific Library (GSL) -- development package
libgsl0ldbl - GNU Scientific Library (GSL) -- library package
libgtkmathview-bin - rendering engine for MathML documents
libgtkmathview-dev - rendering engine for MathML documents
libgtkmathview0c2a - rendering engine for MathML documents
libgts-dev - development files for libgts
libgts-doc - documentation for libgts
libhugs-fgl-bundled - Martin Erwig's Functional Graph Library
libitpp-dev - C++ library of signal processing and communication routines: Headers
libjama-dev - C++ Linear Algebra Package
liblablgtkmathview-ocaml - OCaml bindings for libgtkmathview, a GTK widget to render MathML
liblablgtkmathview-ocaml-dev - OCaml bindings for libgtkmathview, a GTK widget to render MathML
liblapack3gf - library of linear algebra routines 3 - shared version
liblip-dev - reliable interpolation of multivariate scattered data
libmath-combinatorics-perl - module for performing combinations and permutations on lists
libmatheval1 - GNU library for evaluating symbolic mathematical expressions (runtime)
libmatheval1-dev -
libnewmat10-dev - matrix manipulations library (C++ headers files)
libnumerix-ocaml -
libpari2-gmp - PARI/GP Computer Algebra System shared library
libpng3 - PNG library - runtime
libpvm3 - Parallel Virtual Machine - shared libraries
libsuperlu3 - Direct solution of large, sparse systems of linear equations
lp-solve - Solve (mixed integer) linear programming problems
lybniz - mathematical function graph plotter
magnus - Computational group theory software with GUI
maria - reachability analyzer for Algebraic System Nets
maria-doc - documentation of Maria
mathomatic - portable Computer Algebra System (CAS)
mathomatic-primes - prime number tools for mathomatic
mathwar - A flash card game designed to teach simple maths
matwrap -
maxima - A computer algebra system -- base system
maxima-doc - A computer algebra system -- documentation
maxima-emacs - A computer algebra system -- emacs interface
maxima-share - A computer algebra system -- extra code
maxima-src - A computer algebra system -- source code
maxima-test - A computer algebra system -- test suite
mcl - the Markov Cluster algorithm
mcl-doc - documentation for mcl
mimetex - LaTeX math expressions to anti-aliased GIF images converter
minpack-dev - nonlinear equations and nonlinear least squares static library
mona - a theorem prover based on automata
multimix - automatic classification or clustering
nickle - desk calculator language
numerix-doc -
octave-epstk - GNU Octave encapsulated postscript toolkit
octave-plplot - Octave support for PLplot, a plotting library
octave-sp - Semidefinite Programming functions for GNU Octave
octave2.1 -
octave2.1-doc -
octave2.1-emacsen -
octave2.1-forge -
octave2.1-headers -
octave2.1-htmldoc -
octave2.1-info -
octave2.9 -
octaviz -
ogre-tools - 3D Object-Oriented Graphics Rendering Engine (tools)
openmpi-bin - high performance message passing library -- binaries
openoffice.org-math - office productivity suite -- equation editor
orpie - RPN calculator for the terminal
pari-doc - PARI/GP Computer Algebra System documentation
pari-extra - PARI/GP Computer Algebra System extra data files
pari-gp - PARI/GP Computer Algebra System binaries
pdl - perl data language: Perl extensions for numerics
petsc2.3.3-doc -
pgapack - A general-purpose genetic algorithm package
pgplot5 - large subroutine library for plotting scientific data
php5-gmp - GMP module for php5
pi - Compute Archimedes' constant Pi to arbitrary precision
proj - Cartographic projection filter and library (transitional package)
proj-ps-doc - PostScript docs for cartographic projection filters and library
proofgeneral - generic interface for proof assistants - common package
proofgeneral-coq - generic interface for proof assistants - coq support
proofgeneral-doc - generic interface for proof assistants - documentation
proofgeneral-misc - generic interface for proof assistants - theorem provers support
pspp - Statistical analysis tool
python-constraint - Transitional dummy package
python-cvxopt - Python package for convex optimization
python-genetic - genetic algorithms in Python
python-numarray -
python-numarray-doc -
python-numarray-ext -
python-numeric -
python-numeric-ext -
python-numeric-tutorial -
python-numpy - Numerical Python adds a fast array facility to the Python language
python-pychart - Python library for creating high quality charts
python-pydot - Python interface to Graphviz's dot
qalc - Powerful and easy to use command line calculator
qalculate - Powerful and easy to use desktop calculator - transitional
qhull-bin - calculate convex hulls and related structures (utilities)
qtoctave - A Qt front-end to Octave
r-cran-bayesm - GNU R package for Bayesian inference
r-cran-eco - GNU R routines for Bayesian ecological inference
r-cran-fcalendar -
r-cran-fmultivar - GNU R package for financial engineering -- fMultivar
r-cran-fportfolio - GNU R package for financial engineering -- fPortfolio
r-cran-gdata - GNU R package with data manipulation tools by Greg Warnes et al
r-cran-gmodels - GNU R package with tools for model fitting by Greg Warnes et al
r-cran-gplots - GNU R package with tools for plotting data by Greg Warnes et al
r-cran-gtools - GNU R package with R programming tools by Greg Warnes et al
r-cran-hdf5 - GNU R package interfacing the NCSA HDF5 library
r-cran-lme4 - GNU R package for linear mixed effects model fitting
r-cran-matchit - GNU R package of nonparametric matching methods
r-cran-misc3d - GNU R collection of 3d plot functions and rgl-based isosurfaces
r-cran-pscl - GNU R package for discrete data models
r-cran-zelig - GNU R package providing a unified front-end for estimating statistical models
r-mathlib - GNU R standalone mathematics library
r-noncran-lindsey - GNU R libraries contributed by Jim and Patrick Lindsey
rcalc - graphical symbolic calculator
regina-normal - 3-manifold topology software with normal surface support
regina-normal-dev - development files for Regina, the 3-manifold topology software
regina-normal-doc - API docs for Regina, the 3-manifold topology software
rpncalc -
scalapack-doc - Scalable Linear Algebra Package Documentation
scalapack-lam-dev -
scalapack-lam-test -
scalapack-mpich-dev -
scalapack-mpich-test -
scalapack-pvm-dev -
scalapack-pvm-test - Scalable Linear Algebra Package - Test files for PVM
scalapack-test-common - Test data for ScaLAPACK testers
scalapack1-lam -
scalapack1-mpich -
scalapack1-pvm -
scilab - Scientific software package for numerical computations
scilab-bin -
scilab-doc - Scientific software package (english documentations)
sfftw-dev - library for computing Fast Fourier Transforms
sfftw2 - library for computing Fast Fourier Transforms
sgb - The Stanford GraphBase: combinatorial data and algorithms
sgb-doc - Documentation for the Stanford GraphBase
shogun-python-modular - Large Scale Machine Learning Toolbox
snappea - a program for creating and studying hyperbolic 3-manifolds
snappea-dev - development files for SnapPea hyperbolic 3-manifold tool
spass - An automated theorem prover for first-order logic with equality
speedcrunch - High precision calculator
spline - Akima spline interpolation
stepulator.app -
texlive-math-extra - TeX Live: Advanced math typesetting
texmacs - WYSIWYG mathematical text editor using TeX fonts
texmacs-common - WYSIWYG mathematical text editor using TeX fonts
tilp - TI hand-helds <-> PC communication (transitional dummy package)
transcalc - microwave and RF transmission line calculator
tuxmath - math game for kids with Tux
w3-dtd-mathml - Mathematical Markup Language V2.0 DTD
wcalc - A flexible command-line scientific calculator
wims - server for educative contents as courses, exercises, exams
wmcalc -
wmmand -
wxmaxima - GUI for the computer algebra system Maxima
xabacus - simulation of the ancient calculator (plain X version)
xaos - real-time interactive fractal zoomer
xmaxima - A computer algebra system -- x interface
xppaut -
yacas - Computer Algebra System
yacas-doc - Documentation for Yacas
ygraph - plot and animate data sets
yorick - interpreted language and scientific graphics
yorick-hdf5 - Hierarchical Data Format 5 interface for the Yorick language
yorick-soy - sparse matrix operations for the Yorick language
yorick-yeti - utility plugin for the Yorick language
yorick-yeti-fftw - FFT plugin for the Yorick language
yorick-yeti-gsl - GSL special functions plugin for the Yorick language