Software Packages in "experimental", Subsection math

coq-libs (8.2~beta4+dfsg-2)
proof assistant for higher-order logic (theories)
gnumeric-common (1.9.3-1)
spreadsheet application for GNOME - common files
gnuplot (4.2.4-2)
A command-line driven interactive plotting program
libscilab-java (5.2.0-1)
Scientific software package for numerical computations (Java API)
matita-standard-library (0.5.5-1)
standard library for the Matita interactive theorem prover
octave2.9 (1:3.0.3-1)
GNU Octave language for numerical computations (dummy package)
octave2.9-emacsen (1:3.0.3-1)
Emacs support for the GNU Octave language (dummy package)
octave2.9-headers (1:3.0.3-1)
header files for the GNU Octave language (dummy package)
octave2.9-htmldoc (1:3.0.3-1)
HTML documentation on the GNU Octave language (dummy package)
octave2.9-info (1:3.0.3-1)
GNU Info documentation on the GNU Octave language (dummy package)
octave3.0-emacsen (1:3.0.3-1)
Emacs support for the GNU Octave language (3.0 branch)
octave3.0-info (1:3.0.3-1)
GNU Info documentation on the GNU Octave language (3.0 branch)
octave3.1 (3.1.55-1)
GNU Octave language for numerical computations (3.1 branch)
octave3.1-emacsen (3.1.55-1)
Emacs support for the GNU Octave language (3.1 branch)
octave3.1-headers (3.1.55-1)
header files for the GNU Octave language (3.1 branch)
octave3.1-info (3.1.55-1)
GNU Info documentation on the GNU Octave language (3.1 branch)
scilab (5.2.0-1)
Scientific software package for numerical computations
scilab-bin (5.2.0-1)
Scientific software package for numerical computations (binary files)
scilab-data (5.2.0-1)
Scientific software package for numerical computations (data files)
scilab-include (5.2.0-1)
Scientific software package for numerical computations (include files)
scilab-test (5.2.0-1)
Scientific software package for numerical computations (test files)