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)
- (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)
- (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)
