Software Packages in "squeeze", Subsection math
- acl2 (4.0-3)
- A Computational Logic for Applicative Common Lisp: main binary
- acl2-books (4.0-3)
- A Computational Logic for Applicative Common Lisp: compiled libraries
- acl2-books-certs (4.0-3)
- A Computational Logic for Applicative Common Lisp: library certificates
- acl2-books-source (4.0-3)
- A Computational Logic for Applicative Common Lisp: library sources
- acl2-emacs (4.0-3)
- A Computational Logic for Applicative Common Lisp: emacs interface
- acl2-infix (4.0-3)
- A Computational Logic for Applicative Common Lisp: infix interface
- acl2-infix-source (4.0-3)
- A Computational Logic for Applicative Common Lisp: infix source
- acl2-source (4.0-3)
- A Computational Logic for Applicative Common Lisp: source files
- admesh (0.95-7)
- a tool for processing triangulated solid meshes
- alt-ergo (0.91-2)
- Automatic theorem prover dedicated to program verification
- ann-tools (1.1.1+doc-2.2)
- Approximate Nearest Neighbor Searching library (tools)
- apcalc (2.12.3.3-1)
- Arbitrary precision calculator (original name: calc)
- apcalc-common (2.12.3.3-1)
- Arbitrary precision calculator (common files)
- aribas (1.64-5)
- interpreter for arithmetic
- autoclass (3.3.6-1)
- automatic classification or clustering
- axiom (20100701-1.1)
- A general purpose computer algebra system: main binary and modules
- axiom-databases (20100701-1.1)
- A general purpose computer algebra system: generated text databases
- axiom-graphics (20100701-1.1)
- A general purpose computer algebra system: graphics subsystem
- axiom-graphics-data (20100701-1.1)
- A general purpose computer algebra system: graphics subsystem
- axiom-hypertex (20100701-1.1)
- A general purpose computer algebra system: hypertex subsystem
- axiom-hypertex-data (20100701-1.1)
- A general purpose computer algebra system: hypertex subsystem
- axiom-source (20100701-1.1)
- A general purpose computer algebra system: source files
- axiom-test (20100701-1.1)
- A general purpose computer algebra system: regression test inputs
- axiom-tex (20100701-1.1)
- A general purpose computer algebra system: style file for TeX
- bc (1.06.95-2+b1 [sparc], 1.06.95-2 [amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390])
- The GNU bc arbitrary precision calculator language
- blacs-mpi-test (1.1-28.2+b1 [amd64, i386, ia64, powerpc], 1.1-28.2 [armel, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, s390, sparc])
- Basic Linear Algebra Comm. Subprograms - Test files for MPI
- blacs-test-common (1.1-28.2)
- Test data for BLACS testers
- bugsx (1.08-12) [non-free]
- program to evolve biomorphs using genetic algorithms
- cadabra (1.25-1)
- field-theory motivated computer algebra system
- cantor (4:4.4.5-2)
- interface for mathematical applications
- cantor-backend-kalgebra (4:4.4.5-2)
- KAlgebra backend for Cantor
- cantor-backend-maxima (4:4.4.5-2)
- Maxima backend for Cantor
- cantor-backend-r (4:4.4.5-2)
- R backend for Cantor
- cantor-backend-sage (4:4.4.5-2)
- Sage backend for Cantor
- carmetal (2.9.8.2-1)
- dynamic geometry software with highly ergonomic UI
- cimg-dev (1.3.9-1)
- powerful image processing library
- circlepack (5.1-7)
- creation and display of circle packings
- concalc (0.9.2-1)
- console calculator
- coq (8.2.pl2+dfsg-1)
- proof assistant for higher-order logic (toplevel and compiler)
- coq-theories (8.2.pl2+dfsg-1)
- proof assistant for higher-order logic (theories)
- coqide (8.2.pl2+dfsg-1)
- proof assistant for higher-order logic (gtk interface)
- cpushare (0.48-4)
- client and server for the CPUShare distributed computing platform
- cvc3 (2.2-13)
- An automatic theorem prover for SMT problems
- cvc3-el (2.2-13)
- Emacs mode for CVC3
- dc (1.06.95-2+b1 [sparc], 1.06.95-2 [amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390])
- The GNU dc arbitrary precision reverse-polish calculator
- dicelab (0.7-1)
- evaluate the statistical distribution of dice rolls
- dolfin-bin (0.9.8-3)
- Executable scripts for DOLFIN
- drgeo (1.1.0-8)
- An interactive geometry software
- dynare (4.1.2-2)
- suite for non-linear models with forward looking variables
- dynare-common (4.1.2-2)
- platform independent files for Dynare
- dynare-matlab (4.1.2-2) [contrib]
- MEX files for MATLAB users of Dynare
- eukleides (1.5.4-1)
- Euclidean geometry drawing language
- euler (1.61.0-8)
- interactive mathematical programming environment
- evolver (2.30c-2)
- Surface Evolver
- extcalc (0.9.2-1)
- multifunctional scientific graphic calculator
- formed (3.3f-1)
- formula editor for first-order logic formulae
- freefem (3.5.8-4.2)
- A PDE oriented language using Finite Element Method
- freefem-examples (3.5.8-4.2)
- Example files for FreeFEM
- freefem3d (1.0pre10-2.1)
- A language and solver for partial differential equations in 3D
- freemat (4.0-3)
- mathematics framework (mostly matlab compatible)
- freemat-data (4.0-3)
- freemat data files
- freemat-help (4.0-3)
- freemat help files
- galculator (1.3.4-1)
- A GTK+ 2.0 based calculator
- gambit (0.2006.01.20-3)
- Game theory analysis software and tools
- gap (4r4p12-2)
- Groups, Algorithms and Programming computer algebra system
- gap-character-tables (1r1p3-5)
- GAP Library of character tables
- gap-core (4r4p12-2)
- GAP computer algebra system, core components
- gap-guava (3.6-2)
- Coding theory library for GAP
- gap-libs (4r4p12-2)
- GAP computer algebra system, essential GAP libraries
- gap-online-help (4r4p12-2)
- GAP computer algebra system, online help
- gap-prim-groups (4r4p10-1)
- Database of primitive groups for GAP
- gap-small-groups (4r4p10-1)
- Database of small groups for GAP
- (4r4p10-1)
- Large database of small groups for GAP
- gap-table-of-marks (1r1p4-1)
- GAP table of marks library
- gap-trans-groups (4r4p10-1)
- Database of transitive groups for GAP
- gbase (0.5-2.2)
- small numeric base converter
- gcalctool (5.30.2-2)
- GNOME-rekenmachine
- genus2reduction (0.3-2)
- Conductor and Reduction Types for Genus 2 Curves
- geomview (1.9.4-2)
- interactive geometry viewing program
- gfan (0.3dfsg-1)
- Program for computing with Groebner fans
- gfm (1.03-2)
- Texas Instruments hand-helds file manipulation program for X
- ggobi (2.1.9~20091212-3)
- Data visualization system for high-dimensional data
- ginac-tools (1.5.8-1)
- Some tools for the GiNaC symbolic framework
- glpk (4.43-1)
- linear programming kit
- glpk-utils (4.43-1)
- linear programming kit - utility files
- gmp-ecm (6.3-4)
- Factor integers using the Elliptic Curve Method
- gmsh (2.4.2.dfsg-5)
- three-dimensional finite element mesh generator
- gnumeric (1.10.8-1squeeze5)
- Rekenbladtoepassing voor GNOME - hoofdprogramma
- gnumeric-common (1.10.8-1squeeze5)
- spreadsheet application for GNOME - common files
- (1.10.8-1squeeze5)
- spreadsheet application for GNOME - additional plugins
- gnuplot (4.4.0-1.1)
- A command-line driven interactive plotting program
- gnuplot-mode (1:0.6.0-5)
- Yet another Gnuplot mode for Emacs
- gnuplot-nox (4.4.0-1.1+b1)
- A command-line driven interactive plotting program
- gnuplot-x11 (4.4.0-1.1+b1)
- A command-line driven interactive plotting program
- grace (1:5.1.22-8)
- An XY plotting tool
- graphmonkey (1.7-2)
- a GTK#-based graphing calculator
- graphthing (1.3.2-3)
- tool to create, manipulate and study graphs
- gretl (1.9.1-2)
- The GNU Regression, Econometric & Time-Series Library
- gretl-common (1.9.1-2)
- The GNU Regression, Econometric & Time-Series Library -- scripts package
- gretl-data (1.9.1-2)
- The GNU Regression, Econometric & Time-Series Library -- data package
- grinvin (1.2-1) [contrib]
- interactive software for studying graphs and their invariants
- grpn (1.1.2-3)
- GTK+ reverse polish notation calculator
- gsl-bin (1.14+dfsg-1)
- GNU Scientific Library (GSL) -- binary package
- hol88 (2.02.19940316-13.1)
- Higher Order Logic, system image
- hol88-contrib-help (2.02.19940316-13.1)
- Higher Order Logic, user contributed online help files
- hol88-contrib-source (2.02.19940316-13.1)
- Higher Order Logic, user contributed source
- hol88-help (2.02.19940316-13.1)
- Higher Order Logic, online help files
- hol88-library (2.02.19940316-13.1)
- Higher Order Logic, binary library modules
- hol88-library-help (2.02.19940316-13.1)
- Higher Order Logic, library online help files
- hol88-library-source (2.02.19940316-13.1)
- Higher Order Logic, library source files
- hol88-source (2.02.19940316-13.1)
- Higher Order Logic, source files
- hyantesite (1.2.1-1+b2 [armel, ia64], 1.2.1-1+b1 [kfreebsd-amd64], 1.2.1-1 [amd64, i386, kfreebsd-i386, mips, mipsel, powerpc, s390, sparc])
- geomatic tool to compute neighbourhood population potential
- jacal (1b9-2.1)
- Interactive symbolic math system
- jags (2.0.0-1)
- Just Another Gibbs Sampler for Bayesian MCMC simulation
- jfractionlab (0.84-2)
- Educative program to practice fractions
- jgraph (83-22)
- Jim Plank's program for producing PostScript graphs
- kalgebra (4:4.4.5-2)
- algebraic graphing calculator for KDE
- kali (3.1-11)
- Draw tilings, frieze patterns, and so on
- kbruch (4:4.4.5-2)
- fraction learning aid for KDE
- kcalc (4:4.4.5-1+squeeze1)
- simple and scientific calculator
- kig (4:4.4.5-2)
- interactive geometry tool for KDE
- kmplot (4:4.4.5-2)
- mathematical function plotter for KDE
- kseg (0.4.0.3-3)
- Sketchpad for planar Euclidean geometry
- ladr4-apps (0.0.200902a-2)
- the LADR deduction library, miscellaneous applications
- lbt (1.2.2-4)
- converts from LTL formulas to Büchi automata
- lcalc (0.0.20080205-1+b1)
- a program for calculating with L-functions
- libcdd-test (094b.dfsg-4)
- Test programs for libcdd-dev
- libfloat-coq (1:8.2-1.2-5)
- Coq library on floating-point arithmetic
- libfreefem0 (3.5.8-4.2)
- Shared libraries for FreeFEM
- libgeomview-dev (1.9.4-2)
- geomview library development package
- libglpk0 (4.43-1)
- linear programming kit with integer (MIP) support
- libgts-bin (0.7.6+darcs100321-1)
- utility binaries for libgts
- liblrs0d (0.42c-1)
- package to enumerate vertices and extreme rays (shared libraries)
- libmeschach1.2 (1.2b-13)
- library for performing operations on matrices and vectors
- libpgapack-mpi1 (1.1.1-1)
- A general-purpose genetic algorithm package
- libpgapack-serial1 (1.1.1-1)
- A general-purpose genetic algorithm package
- libplplot-ada (5.9.5-4)
- Ada support for PLplot, a plotting library
- libscilab-java (5.2.2-9)
- Scientific software package for numerical computations (Java API)
- libsprng2 (2.0a-5)
- The SPRNG Scalable Parallel RNG library -- library package
- libssreflect-coq (1.2+dfsg-6)
- small scale reflection library for Coq (theories)
- libssreflect-ocaml (1.2+dfsg-6)
- small scale reflection extension for Coq (plugin)
- libtachyon-0.98 (0.98~beta.dfsg-1)
- Parallel/Multiprocessor Ray Tracing Software, shared library
- lie (2.2.2+dfsg-1)
- Computer algebra package for Lie group computations
- lp-solve (5.5.0.13-7)
- Solve (mixed integer) linear programming problems
- lrslib (0.42c-1)
- package to enumerate vertices and extreme rays of a convex polyhedron
- lybniz (1.3.2-2)
- mathematical function graph plotter
- mace2 (3.3f-1)
- program that searches for finite models of first-order statements
- magnus (20060324-5.2)
- Computational group theory software with GUI
- maria (1.3.5-2)
- reachability analyzer for Algebraic System Nets
- mathomatic (15.1.1-1)
- portable Computer Algebra System (CAS)
- mathomatic-primes (15.1.1-1)
- prime number tools for mathomatic
- matita (0.5.8-2+b2 [armel, ia64, mips, mipsel, s390], 0.5.8-2+b1 [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc])
- interactive theorem prover
- maxima (5.21.1-2squeeze)
- A computer algebra system -- base system
- maxima-emacs (5.21.1-2squeeze)
- A computer algebra system -- emacs interface
- maxima-share (5.21.1-2squeeze)
- A computer algebra system -- extra code
- maxima-src (5.21.1-2squeeze)
- A computer algebra system -- source code
- maxima-test (5.21.1-2squeeze)
- A computer algebra system -- test suite
- mcl (1:10-148-1)
- the Markov Cluster algorithm
- mcrl2 (201007~rc1-1)
- the mCRL2 formal specification language toolset
- minlog (4.0.99.20100221-5.2)
- Proof assistant based on first order natural deduction calculus
- model-builder (0.4.1-5)
- graphical ODE simulator
- mona (1.4-13-1)
- a theorem prover based on automata
- multimix (19981218-12)
- automatic classification or clustering
- mumps-test (4.9.2.dfsg-4)
- Example/test binaries using MUMPS
- nauty (2.4-2) [non-free]
- command line tools to compute graph automorphisms
- netgen (4.9.12.dfsg-3+b1)
- Automatic 3d tetrahedral mesh generator
- num-utils (0.5-11)
- programs for dealing with numbers from the command line
- octave-ad (1.0.6-3+b1)
- automatic forward differentiation in Octave
- octave-ann (1.0.2+dfsg-2+b1)
- octave binding to the approximate nearest neighbors library
- octave-audio (1.1.4-2+b1)
- functions to work with audio files in Octave
- octave-benchmark (1.1.1-2)
- code to benchmark speed of Octave
- octave-bim (1.0.0-1)
- PDE solver using a finite element/volume approach in Octave
- octave-bioinfo (0.1.2-2)
- bioinformatic functions for Octave
- octave-combinatorics (1.0.9-2+b1)
- combinatorics function for Octave
- octave-communications (1.0.10-2)
- communications package for Octave
- octave-communications-common (1.0.10-2)
- communications package for Octave (arch-indep files)
- octave-control (1.0.11-2)
- control functions for Octave from Octave-Forge
- octave-data-smoothing (1.2.0-2)
- functions to do data smoothing on noisy data
- octave-econometrics (1:1.0.8-2+b1)
- econometrics functions for Octave
- octave-epstk (2.2-15)
- GNU Octave encapsulated postscript toolkit
- octave-financial (0.3.2-1)
- financial manipulation and plotting functions
- octave-fixed (0.7.10-2+b1)
- fixed point computation for Octave
- octave-fpl (1.0.0-1)
- plot data on unstructured triangular and tetrahedral meshes in Octave
- octave-ftp (1.0.2-4+b1)
- Octave binding for ftplib, and MATLAB compatible APIs
- octave-ga (0.9.7-1)
- genetic optimization code for Octave
- octave-general (1.2.1-1)
- provide extra general functions for Octave
- octave-gsl (1.0.8-2+b1)
- GSL binding for Octave
- octave-ident (1.0.7-2)
- system identification functions for Octave
- octave-image (1.0.12-1)
- image manipulation for Octave
- octave-informationtheory (0.1.8-1)
- information theory functions for Octave
- octave-integration (1.0.7-2)
- numerical integration toolbox for Octave
- octave-io (1.0.12-1)
- input/output data functions for Octave
- octave-irsa (1.0.7-2)
- irregular sampling analysis functions for Octave
- octave-linear-algebra (1.0.8-1+b1)
- additional linear-algebra functions for Octave
- octave-mapping (1.0.7-2)
- geographical mapping functions for Octave
- octave-miscellaneous (1.0.9-1+b1)
- miscellaneous tools for Octave
- octave-missing-functions (1.0.2-2)
- finds functions that are in Matlab but not in Octave
- octave-msh (1.0.1-1)
- create and manage meshes for FE or FV solvers in Octave
- octave-multicore (0.2.15-1+b1)
- parallel processing on multiple cores for Octave
- octave-nan (1.0.9-2)
- handles data with and without missing values in Octave
- octave-nlwing2 (1.1.1-3+b1)
- nonlinear lifting line for wings in Octave
- octave-nnet (0.1.12-1)
- feed forward multi-layer neural network functions for Octave
- octave-nurbs (1.0.3-1)
- non-uniform rational B-splines for Octave
- octave-ocs (0.1.0-2)
- circuit simulator for Octave
- octave-octcdf (1.0.13-2)
- NetCDF data files interface for Octave
- octave-octgpr (1.1.5-3+b1)
- functions to smooth and interpolate scattered data in Octave
- octave-odepkg (0.6.10-1)
- solve differential equations and initial value problems in Octave
- octave-optim (1.0.12-1)
- unconstrained non-linear optimization toolkit for Octave
- octave-optiminterp (0.3.2-2+b1)
- optimal interpolation package for Octave
- octave-outliers (0.13.9-2)
- outliers detection function for Octave
- octave-parallel (2.0.1-1)
- parallel execution of Octave in clusters of computers
- octave-pdb (1.0.7-2+b1)
- process files from protein databank in Octave
- octave-pfstools (1.8.1-2+b1)
- octave bindings for pfstools
- octave-physicalconstants (0.1.7-2)
- provide physical constants values in Octave
- octave-plot (1.0.8-1)
- additional plotting tools for Octave
- octave-plplot (5.9.5-4)
- Octave support for PLplot, a plotting library
- octave-secs1d (0.0.8-2+b1)
- semi conductor simulator in 1D for Octave
- octave-secs2d (0.0.8-2+b1)
- semi conductor simulator in 2D for Octave
- octave-signal (1.0.11-2)
- signal processing functions for Octave
- octave-simp (1.1.0-2)
- single interval mathematics package for Octave
- octave-sockets (1.0.6-1+b1)
- communication through Internet sokects in Octave
- octave-sp (1:2003-10)
- Semidefinite Programming functions for GNU Octave
- octave-specfun (1.0.9-1)
- special mathematical functions for Octave
- octave-splines (1.0.7-2)
- cubic spline functions for Octave
- octave-statistics (1.0.10-1)
- additional statistical functions for Octave
- octave-strings (1.0.7-2)
- additional string manipulation functions for Octave
- octave-struct (1.0.7-2)
- additional structure manipulation functions for Octave
- octave-symband (1.0.10-1+b1)
- symmetric banded matrices for Octave
- octave-symbolic (1.0.9-2)
- symbolic package for Octave
- octave-time (1.0.9-2)
- date format manipulation function for Octave
- octave-tsa (4.0.1-2)
- time series analysis in Octave
- octave-vrml (1.0.11-1)
- VRML functions for Octave
- octave-xraylib (1.0.8-2+b1)
- Octave bindings to the xraylib functions
- octave-zenity (0.5.7-2)
- simple graphical user interfaces using zenity in Octave
- octave3.2 (3.2.4-8)
- GNU Octave language for numerical computations (3.2 branch)
- octave3.2-emacsen (3.2.4-8)
- Emacs support for the GNU Octave language (3.2 branch)
- (3.2.4-8)
- header files for the GNU Octave language (3.2 branch)
- octave3.2-info (3.2.4-8)
- GNU Info documentation on the GNU Octave language (3.2 branch)
- orpie (1.5.1-8)
- RPN calculator for the terminal
- otter (3.3f-1)
- resolution-style theorem prover
- palp (1.1-1)
- A Package for Analyzing Lattice Polytopes
- (2.1-1)
- PARI/GP Computer Algebra System extra data files
- pari-gp (2.3.5-1)
- PARI/GP Computer Algebra System binaries
- pari-gp2c (0.0.5pl9-1)
- PARI/GP GP to C compiler
- parmetis-test (3.1.1-3) [non-free]
- Parallel Graph Partitioning and Sparse Matrix Ordering Tests
- pcx (1.1.18-2+b1 [amd64, i386, ia64, sparc], 1.1.18-2 [armel, mips, mipsel, powerpc, s390]) [non-free]
- primal-dual interior-point code for linear programming
- pdl (1:2.4.7+dfsg-2)
- perl data language: Perl extensions for numerics
- pgapack (1.1.1-1)
- A general-purpose genetic algorithm package
- pgplot5 (5.2.2-17) [non-free]
- large subroutine library for plotting scientific data
- pi (1.3.1-2)
- Compute Archimedes' constant Pi to arbitrary precision
- picviz (0.5-1)
- Parallel coordinates plotter
- plotdrop (0.5.2-3)
- A minimal GNOME frontend to GNUPlot
- plotutils (2.5-4)
- The GNU plotutils (plotting utilities) package
- plplot-bin (5.9.5-4)
- Scientific plotting library (utilities)
- plplot-tcl (5.9.5-4)
- Tcl/Tk support for PLplot, a plotting library
- plplot-tcl-dev (5.9.5-4)
- Tcl/Tk development support for PLplot, a plotting library
- polylib-utils (5.22.5-1+dfsg)
- Various tools using libpolylib
- prover9 (0.0.200902a-2)
- theorem prover and countermodel generator
- prover9-mace4 (0.5.dfsg-2)
- GUI for Prover9 and Mace4
- psignifit (2.5.6-3)
- Fitting and testing hypotheses about psychometric functions
- pspp (0.6.2-3)
- Statistical analysis tool
- ptscotch (5.1.8a.dfsg-2)
- MPI programs and libraries for graph, mesh and hypergraph partitioning
- pyecm (2.0-3)
- Integer factorization with the Elliptic Curve Method (ECM)
- pyxplot (0.8.3-1)
- data plotting program producing publication-quality output
- qalc (0.9.7-4)
- Powerful and easy to use command line calculator
- qalculate (0.9.7-1)
- Powerful and easy to use desktop calculator - transitional
- qalculate-gtk (0.9.7-1)
- Powerful and easy to use desktop calculator - GTK+ version
- qalculate-kde (0.9.7-1+b1)
- Powerful and easy to use desktop calculator - KDE version
- qgfe (1.0-1.1)
- QT based Gnuplot Front End
- qhull-bin (2009.1-1)
- calculate convex hulls and related structures (utilities)
- qtiplot (0.9.8-1)
- data analysis and scientific plotting
- qtoctave (0.9.2+svn255-1)
- A Qt front-end to Octave
- quickplot (0.8.15-2)
- fast interactive 2D plotter and data viewer
- r-bioc-hilbertvis (1.5.0-2)
- GNU R package to visualise long vector data
- regina-normal (4.6-1.1+b2)
- 3-manifold topology software with normal surface support
- regina-normal-mpi (4.6-1.1+b2)
- MPI utilities for Regina, the 3-manifold topology software
- relational (0.11-2)
- Educational tool for relational algebra (graphical user interface)
- relational-cli (0.11-2)
- Educational tool for relational algebra (command line interface)
- rkward (0.5.3-2)
- a KDE frontend to the R statistics language
- rlplot (1.4-1)
- Generate publication quality graphs
- rocs (4:4.4.5-2)
- graph theory IDE
- rpncalc (1.36.8)
- RPN calculator trying to emulate an HP28S
- sc (7.16-3)
- Text-based spreadsheet with VI-like keybindings
- scalapack-mpi-test (1.8.0-6+b1)
- Scalable Linear Algebra Package - Test files for MPICH
- scalapack-pvm-test (1.8.0-6+b1)
- Scalable Linear Algebra Package - Test files for PVM
- scilab (5.2.2-9)
- Scientific software package for numerical computations
- scilab-ann (0.4.2.3-3)
- Scilab module for artificial neural networks
- scilab-celestlab (2.0.1-3-1)
- A Scilab library of space flight dynamics functions
- scilab-cli (5.2.2-9)
- Scientific software package - Command Line Interpreter
- scilab-data (5.2.2-9)
- Scientific software package for numerical computations (data files)
- scilab-full-bin (5.2.2-9)
- Scientific software package for numerical computations (all binary files)
- scilab-include (5.2.2-9)
- Scientific software package for numerical computations (include files)
- scilab-minimal-bin (5.2.2-9)
- Scientific software package for numerical computations (minimal binary files)
- scilab-overload (1.3.2-3)
- Scilab toolbox to overload Scilab's macros
- scilab-plotlib (0.41-2)
- "Matlab-like" Plotting library for Scilab
- scilab-scimax (2.1.1-1)
- Symbolic computations for Scilab based on Maxima
- scilab-scimysql (0.1.1-2)
- A Scilab interface to MySQL
- scilab-test (5.2.2-9)
- Scientific software package for numerical computations (test files)
- scotch (5.1.8a.dfsg-2)
- programs and libraries for graph, mesh and hypergraph partitioning
- sgb (1:20050409-2) [non-free]
- The Stanford GraphBase: combinatorial data and algorithms
- singular (3-0-4-3.dfsg-3.1)
- A commutative algebra system
- snappea (3.0d3-20.1)
- a program for creating and studying hyperbolic 3-manifolds
- socnetv (0.81-1)
- social network analysis and visualisation application
- speedcrunch (0.10.1-2)
- Calculator met hoge precisie
- spline (1.2-1)
- Akima spline interpolation
- stda (1.0-2)
- simple tools for data analysis (stda)
- sympow (1.019-4)
- Special values of symmetric power elliptic curve L-functions
- tachyon (0.98~beta.dfsg-1)
- Parallel/Multiprocessor Ray Tracing Software
- tapecalc (20070214-2)
- a full-screen tape editor that lets the user edit a calculation
- tetgen (1.4.2-3) [non-free]
- A Quality Tetrahedral Mesh Generator
- tiemu (3.02-1.1)
- Texas Instruments calculators emulator (without GDB)
- tiemu-skinedit (1.27-2)
- skin editor for TiEmu
- tilp (7.0-1)
- TI hand-helds <-> PC communication (transitional dummy package)
- tilp
- virtual package provided by tilp2
- tilp2 (1.12-1+b1 [armel, ia64], 1.12-1 [amd64, i386, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, sparc])
- Texas Instruments hand-helds <-> PC communication program for X
- wcalc (2.4-1+b1)
- A flexible command-line scientific calculator
- why (2.26+dfsg-2+squeeze1)
- A software verification tool
- wxmaxima (0.8.5-2)
- GUI for the computer algebra system Maxima
- wzip (1.1.3)
- Lossy compression and denoising
- xgraph (12.1-13)
- Plotting program, reads stdin, allows interactive zooming
- xmaxima (5.21.1-2squeeze)
- A computer algebra system -- x interface
- yacas (1.2.2-5)
- Computer Algebra System
