Källkodspaket i "experimental", Undersektion math
- coq (8.2~beta4+dfsg-2)
- proof assistant for higher-order logic (toplevel and compiler)
- coq-libs (8.2~beta4+dfsg-2)
- proof assistant for higher-order logic (theories)
- coqide (8.2~beta4+dfsg-2)
- proof assistant for higher-order logic (gtk interface)
- glpk (4.32-1 [kfreebsd-amd64, kfreebsd-i386], 4.31-1 [alpha, amd64, hppa, i386, ia64, mipsel, powerpc, s390, sparc]) [debports]
- linear programming kit
- glpk-utils (4.32-1 [kfreebsd-amd64, kfreebsd-i386], 4.31-1 [alpha, amd64, hppa, i386, ia64, mipsel, powerpc, s390, sparc]) [debports]
- linear programming kit - utility files
- gnumeric (1.9.2 [alpha, amd64, hppa, i386, ia64, mips, powerpc, s390, sparc], 1.9.1-1 [mipsel])
- spreadsheet application for GNOME - main program
- gnumeric-common (1.9.2)
- spreadsheet application for GNOME - common files
- (1.9.2 [alpha, amd64, hppa, i386, ia64, mips, powerpc, s390, sparc], 1.9.1-1 [mipsel])
- spreadsheet application for GNOME - additional plugins
- kbruch (4:4.1.2-1 [amd64, i386], 4:4.1.1-1 [alpha, ia64, powerpc, s390, sparc], 4:4.0.0-1 [hppa])
- fraction learning aid for KDE 4
- kig (4:4.1.2-1 [amd64, i386], 4:4.1.1-1 [alpha, ia64, powerpc, s390, sparc], 4:4.0.0-1 [hppa])
- interactive geometry tool for KDE 4
- kmplot (4:4.1.2-1 [amd64, i386], 4:4.1.1-1 [alpha, ia64, powerpc, s390, sparc], 4:4.0.0-1 [hppa])
- mathematical function plotter for KDE 4
- kpercentage (4:4.1.2-1 [amd64, i386], 4:4.1.1-1 [alpha, ia64, powerpc, s390, sparc], 4:4.0.0-1 [hppa])
- percentage calculation learning aid for KDE 4
- libglpk0 (4.32-1 [kfreebsd-amd64, kfreebsd-i386], 4.31-1 [alpha, amd64, hppa, i386, ia64, mipsel, powerpc, s390, sparc]) [debports]
- linear programming kit with integer (MIP) support
- mathomatic (14.1.6-1)
- portable Computer Algebra System (CAS)
- mathomatic-primes (14.1.6-1)
- prime number tools for mathomatic
- octave2.9 (1:3.0.2-3)
- GNU Octave language for numerical computations (dummy package)
- octave2.9-emacsen (1:3.0.2-3)
- Emacs support for the GNU Octave language (dummy package)
- (1:3.0.2-3)
- header files for the GNU Octave language (dummy package)
- octave2.9-htmldoc (1:3.0.2-3)
- HTML documentation on the GNU Octave language (dummy package)
- octave2.9-info (1:3.0.2-3)
- GNU Info documentation on the GNU Octave language (dummy package)
- octave3.0 (1:3.0.2-3)
- GNU Octave language for numerical computations (3.0 branch)
- octave3.0-emacsen (1:3.0.2-3)
- Emacs support for the GNU Octave language (3.0 branch)
- (1:3.0.2-3)
- header files for the GNU Octave language (3.0 branch)
- octave3.0-info (1:3.0.2-3)
- GNU Info documentation on the GNU Octave language (3.0 branch)
- octave3.1 (3.1.51-1)
- GNU Octave language for numerical computations (3.1 branch)
- octave3.1-emacsen (3.1.51-1)
- Emacs support for the GNU Octave language (3.1 branch)
- (3.1.51-1)
- header files for the GNU Octave language (3.1 branch)
- octave3.1-info (3.1.51-1)
- GNU Info documentation on the GNU Octave language (3.1 branch)
- socnetv (0.44-1)
- social network analysis and visualisation application
