Filewatcher File Search File Search
Catalog
Content Search
» » » » math »
 

acl2-books-source
A Computational Logic for Applicative Common Lisp: library sources
(acl2-books-source_4.0-3_all.deb, 5.04 MB)
acl2-books-source
Computational Logic for Applicative Common Lisp: library sources
(acl2-books-source_4.3-3_all.deb, 6.16 MB)
acl2-infix-source
A Computational Logic for Applicative Common Lisp: infix source
(acl2-infix-source_4.0-3_all.deb, 87.22 KB)
acl2-source
A Computational Logic for Applicative Common Lisp: source files
(acl2-source_4.0-3_all.deb, 2.89 MB)
axiom-graphics-data
General purpose computer algebra system: graphics subsystem
(axiom-graphics-data_20120501-1_all.deb, 2.56 MB)
axiom-source
General purpose computer algebra system: source files
(axiom-source_20120501-1_all.deb, 120.75 KB)
axiom-test
A general purpose computer algebra system: regression test inputs
(axiom-test_20100701-1.1_all.deb, 4.57 MB)
axiom-test
General purpose computer algebra system: regression test inputs
(axiom-test_20120501-1_all.deb, 5.34 MB)
carmetal
dynamic geometry software with highly ergonomic UI
(carmetal_2.9.8.2-1_all.deb, 2.00 MB)
carmetal
dynamic geometry software with highly ergonomic UI
(carmetal_3.5.2+dfsg-1_all.deb, 2.40 MB)
coq7-libs
proof assistant for higher-order logic (Coq 7 theories)
(coq7-libs_8.0pl3-2_all.deb, 3.64 MB)
cvc3-el
Emacs mode for CVC3
(cvc3-el_2.2-13_all.deb, 12.75 KB)
dynare-common
platform for handling a wide class of economic models
(dynare-common_4.3.0-2_all.deb, 819.27 KB)
fflas-ffpack-common
Finite field linear algebra subroutines/package - common files
(fflas-ffpack-common_1.6.0-1_all.deb, 88.59 KB)
freemat-data
freemat data files
(freemat-data_3.6+dfsg-5~lenny3_all.deb, 199.50 KB)
freemat-data
freemat data files
(freemat-data_4.0-5_all.deb, 4.50 MB)
freemat-help
freemat help files
(freemat-help_3.6+dfsg-5~lenny3_all.deb, 2.96 MB)
freemat-help
freemat help files
(freemat-help_4.0-3_all.deb, 4.29 MB)
freemat-help
freemat help files
(freemat-help_4.0-5_all.deb, 4.29 MB)
gap-online-help
GAP computer algebra system, online help
(gap-online-help_4r4p12-2_all.deb, 989.90 KB)
gap-table-of-marks
GAP table of marks library
(gap-table-of-marks_1r1p4-1_all.deb, 13.54 MB)
gap
Groups, Algorithms and Programming computer algebra system
(gap_4r4p12-2_all.deb, 31.79 KB)
gnumeric-common
spreadsheet application for GNOME - common files
(gnumeric-common_1.8.3-5+lenny1_all.deb, 5.02 MB)
gnuplot-mode
Yet another Gnuplot mode for Emacs
(gnuplot-mode_0.6.0-2.1_all.deb, 139.85 KB)
gnuplot-mode
Yet another Gnuplot mode for Emacs
(gnuplot-mode_0.6.0-5_all.deb, 140.31 KB)
gretl-common
GNU Regression, Econometric & Time-Series Library -- scripts package
(gretl-common_1.9.9-1_all.deb, 869.90 KB)
gretl-data
GNU Regression, Econometric & Time-Series Library -- data package
(gretl-data_1.9.9-1_all.deb, 2.45 MB)
hol88-contrib-help
Higher Order Logic, user contributed online help files
(hol88-contrib-help_2.02.19940316-13.1_all.deb, 26.33 KB)
hol88-contrib-help
Higher Order Logic, user contributed online help files
(hol88-contrib-help_2.02.19940316-15_all.deb, 26.46 KB)
hol88-library-help
Higher Order Logic, library online help files
(hol88-library-help_2.02.19940316-15_all.deb, 303.79 KB)
hol88-library-source
Higher Order Logic, library source files
(hol88-library-source_2.02.19940316-15_all.deb, 553.74 KB)
jacal
Interactive symbolic math system
(jacal_1b7-2_all.deb, 155.41 KB)
jacal
Interactive symbolic math system
(jacal_1b9-2.1_all.deb, 158.04 KB)
libreoffice-nlpsolver
"Solver for Nonlinear Programming" extension for LibreOffice
(libreoffice-nlpsolver_0.9~beta1-9_all.deb, 84.37 KB)
matwrap
wrapper generator for matrix languages
(matwrap_0.57-11_all.deb, 112.29 KB)
maxima-emacs
A computer algebra system -- emacs interface
(maxima-emacs_5.21.1-2squeeze_all.deb, 113.34 KB)
maxima-share
Computer algebra system -- extra code
(maxima-share_5.27.0-3_all.deb, 4.98 MB)
maxima-src
A computer algebra system -- source code
(maxima-src_5.13.0-3.1_all.deb, 1.04 MB)
maxima-test
Computer algebra system -- test suite
(maxima-test_5.27.0-3_all.deb, 294.44 KB)
model-builder
graphical ODE simulator
(model-builder_0.4.1-5_all.deb, 152.81 KB)
num-utils
programs for dealing with numbers from the command line
(num-utils_0.5-11_all.deb, 56.28 KB)
octave-bim
PDE solver using a finite element/volume approach in Octave
(octave-bim_1.0.0-1_all.deb, 15.52 KB)
octave-common
architecture-independent files for octave
(octave-common_3.6.3-2_all.deb, 1.04 MB)
octave-communications-common
communications package for Octave (arch-indep files)
(octave-communications-common_1.1.1-1_all.deb, 583.51 KB)
octave-dataframe
manipulate data in Octave similar to R data.frame
(octave-dataframe_0.9.1-1_all.deb, 47.43 KB)
octave-fpl
plot data on unstructured triangular and tetrahedral meshes in Octave
(octave-fpl_1.0.0-1_all.deb, 31.95 KB)
octave-fpl
plot data on unstructured triangular and tetrahedral meshes in Octave
(octave-fpl_1.2.0-3_all.deb, 39.57 KB)
octave-ga
genetic optimization code for Octave
(octave-ga_0.10.0-1_all.deb, 15.32 KB)
octave-ga
genetic optimization code for Octave
(octave-ga_0.9.7-1_all.deb, 15.30 KB)
octave-integration
numerical integration toolbox for Octave
(octave-integration_1.0.7-2_all.deb, 35.43 KB)
octave-mapping
geographical mapping functions for Octave
(octave-mapping_1.0.7-2_all.deb, 21.96 KB)
octave-msh
create and manage meshes for FE or FV solvers in Octave
(octave-msh_1.0.1-1_all.deb, 27.62 KB)
octave-simp
single interval mathematics package for Octave
(octave-simp_1.1.0-2_all.deb, 108.37 KB)
octave-splines
cubic spline functions for Octave
(octave-splines_1.0.7-3_all.deb, 28.69 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.0.1-2_all.deb, 97.77 KB)
octave-zenity
simple graphical user interfaces using zenity in Octave
(octave-zenity_0.5.7-5_all.deb, 23.31 KB)
octave2.9-headers
header files for the GNU Octave language (dummy package)
(octave2.9-headers_3.0.1-6lenny3_all.deb, 70.63 KB)
octave3.2-info
GNU Info documentation on the GNU Octave language (3.2 branch)
(octave3.2-info_3.2.4-8_all.deb, 548.06 KB)
open-axiom-databases
open scientific computation platform: generated text databases
(open-axiom-databases_1.4.1+svn~2626-2_all.deb, 1.32 MB)
open-axiom-hypertex-data
open scientific computation platform: hypertex subsystem
(open-axiom-hypertex-data_1.4.1+svn~2299+ds-1_all.deb, 1.41 MB)
pari-galpol
PARI/GP Computer Algebra System Galois polynomial database
(pari-galpol_1.0-1_all.deb, 496.60 KB)
prover9-mace4
GUI for Prover9 and Mace4
(prover9-mace4_0.5.dfsg-2_all.deb, 65.86 KB)
r-base
GNU R statistical computing language and environment
(r-base_2.7.1-1+lenny1_all.deb, 29.01 KB)
relational
Educational tool for relational algebra (graphical user interface)
(relational_1.1-1_all.deb, 60.59 KB)
scilab-cli
Scientific software package - Command Line Interpreter
(scilab-cli_5.4.0-alpha-1-1~exp3_all.deb, 78.93 KB)
scilab-data
Scientific software package for numerical computations (data files)
(scilab-data_5.2.2-9_all.deb, 10.50 MB)
scilab-data
Scientific software package for numerical computations (data files)
(scilab-data_5.3.3-10_all.deb, 12.35 MB)
scilab-data
Scientific software package for numerical computations (data files)
(scilab-data_5.4.0-alpha-1-1~exp3_all.deb, 12.23 MB)
scilab-plotlib
"Matlab-like" Plotting library for Scilab
(scilab-plotlib_0.42-1_all.deb, 595.88 KB)
scilab-test
Scientific software package for numerical computations (test files)
(scilab-test_5.4.0-alpha-1-1~exp3_all.deb, 20.29 MB)
scilab
Scientific software package for numerical computations
(scilab_5.4.0-alpha-1-1~exp3_all.deb, 274.18 KB)
scilab
Scientific software package for numerical computations
(scilab_5.4.0.0-1~exp1_all.deb, 90.09 KB)
stda
simple tools for data analysis (stda)
(stda_1.0-2_all.deb, 24.87 KB)
stda
simple tools for data analysis (stda)
(stda_1.1.1-1_all.deb, 30.12 KB)
wxgeometrie
Swiss army knife for the math teacher
(wxgeometrie_0.133.1-1_all.deb, 3.43 MB)
Results 1 - 75 of 75
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com