Software Packages in "experimental", Subsection math
- bugsx (1.08-13) [non-free]
- program to evolve biomorphs using genetic algorithms
- coq (8.4~beta+dfsg-4 [amd64, armel, armhf, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, s390x, sparc], 8.4~beta+dfsg-3 [alpha, sh4])
- proof assistant for higher-order logic (toplevel and compiler)
- coq-theories (8.4~beta+dfsg-4)
- proof assistant for higher-order logic (theories)
- coqide (8.4~beta+dfsg-4 [amd64, armel, armhf, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, s390x, sparc], 8.4~beta+dfsg-3 [alpha, sh4])
- proof assistant for higher-order logic (gtk interface)
- gcalctool (5.91.91-1)
- GNOME desktop calculator
- libscilab-java (5.4.0-alpha-20122105-824511b-1~exp1 [armhf, i386, ia64], 5.4.0-alpha-20120903-33206a8-1~exp2 [amd64, armel, powerpc], 5.4.0-alpha-1-1~exp3 [mips, mipsel, s390, sparc])
- Scientific software package for numerical computations (Java API)
- octave-nan (2.3.1-2)
- handles data with and without missing values in Octave
- octave-plot (1.0.8+svn20101230-2)
- additional plotting tools for Octave
- scilab (5.4.0-alpha-20122105-824511b-1~exp1)
- Scientific software package for numerical computations
- scilab-cli (5.4.0-alpha-20122105-824511b-1~exp1)
- Scientific software package - Command Line Interpreter
- scilab-data (5.4.0-alpha-20122105-824511b-1~exp1)
- Scientific software package for numerical computations (data files)
- scilab-full-bin (5.4.0-alpha-20122105-824511b-1~exp1 [armhf, i386, ia64], 5.4.0-alpha-20120903-33206a8-1~exp2 [amd64, armel, powerpc], 5.4.0-alpha-1-1~exp3 [mips, mipsel, s390, sparc])
- Scientific software package for numerical computations (all binary files)
- scilab-include (5.4.0-alpha-20122105-824511b-1~exp1 [armhf, i386, ia64], 5.4.0-alpha-20120903-33206a8-1~exp2 [amd64, armel, powerpc], 5.4.0-alpha-1-1~exp3 [mips, mipsel, s390, sparc])
- Scientific software package for numerical computations (include files)
- scilab-minimal-bin (5.4.0-alpha-20122105-824511b-1~exp1 [armhf, i386, ia64], 5.4.0-alpha-20120903-33206a8-1~exp2 [amd64, armel, powerpc], 5.4.0-alpha-1-1~exp3 [mips, mipsel, s390, sparc])
- Scientific software package for numerical computations (minimal binary files)
- scilab-test (5.4.0-alpha-20122105-824511b-1~exp1)
- Scientific software package for numerical computations (test files)