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

acl2-books-certs
A Computational Logic for Applicative Common Lisp: library certificates
(acl2-books-certs_4.0-3_all.deb, 1.88 MB)
acl2-books-certs
A Computational Logic for Applicative Common Lisp: library certificates
(acl2-books-certs_4.1-5_all.deb, 1.89 MB)
acl2-books-certs
A Computational Logic for Applicative Common Lisp: library certificates
(acl2-books-certs_4.2-1_all.deb, 1.89 MB)
acl2-books-source
A Computational Logic for Applicative Common Lisp: library sources
(acl2-books-source_3.6-4_all.deb, 4.69 MB)
acl2-books-source
Computational Logic for Applicative Common Lisp: library sources
(acl2-books-source_4.3-3_all.deb, 6.16 MB)
acl2-emacs
A Computational Logic for Applicative Common Lisp: emacs interface
(acl2-emacs_3.6-4_all.deb, 55.93 KB)
acl2-emacs
A Computational Logic for Applicative Common Lisp: emacs interface
(acl2-emacs_4.1-5_all.deb, 50.05 KB)
acl2-emacs
Computational Logic for Applicative Common Lisp: emacs interface
(acl2-emacs_4.3-3_all.deb, 52.96 KB)
acl2-infix-source
A Computational Logic for Applicative Common Lisp: infix source
(acl2-infix-source_4.1-5_all.deb, 78.47 KB)
acl2-infix-source
Computational Logic for Applicative Common Lisp: infix source
(acl2-infix-source_4.3-3_all.deb, 85.99 KB)
acl2-source
A Computational Logic for Applicative Common Lisp: source files
(acl2-source_4.0-3_all.deb, 2.88 MB)
apcalc-common
Arbitrary precision calculator (common files)
(apcalc-common_2.12.3.3-1ubuntu3_all.deb, 806.74 KB)
apcalc-common
Arbitrary precision calculator (common files)
(apcalc-common_2.12.4.4-3_all.deb, 838.34 KB)
axiom-databases
A general purpose computer algebra system: generated text databases
(axiom-databases_20091101-7_all.deb, 1.10 MB)
axiom-databases
A general purpose computer algebra system: generated text databases
(axiom-databases_20100901-5_all.deb, 1.08 MB)
axiom-databases
General purpose computer algebra system: generated text databases
(axiom-databases_20120301-3_all.deb, 1.08 MB)
axiom-graphics-data
A general purpose computer algebra system: graphics subsystem
(axiom-graphics-data_20091101-7_all.deb, 2.53 MB)
axiom-graphics-data
A general purpose computer algebra system: graphics subsystem
(axiom-graphics-data_20100501-1_all.deb, 2.53 MB)
axiom-graphics-data
A general purpose computer algebra system: graphics subsystem
(axiom-graphics-data_20110301a-1_all.deb, 2.44 MB)
axiom-graphics-data
General purpose computer algebra system: graphics subsystem
(axiom-graphics-data_20120501-1_all.deb, 2.45 MB)
axiom-hypertex-data
A general purpose computer algebra system: hypertex subsystem
(axiom-hypertex-data_20091101-7_all.deb, 10.98 MB)
axiom-hypertex-data
A general purpose computer algebra system: hypertex subsystem
(axiom-hypertex-data_20100501-1_all.deb, 11.08 MB)
axiom-hypertex-data
General purpose computer algebra system: hypertex subsystem
(axiom-hypertex-data_20120501-1_all.deb, 28.84 MB)
axiom-test
General purpose computer algebra system: regression test inputs
(axiom-test_20120501-1_all.deb, 5.23 MB)
axiom-tex
A general purpose computer algebra system: style file for TeX
(axiom-tex_20100501-1_all.deb, 106.51 KB)
axiom-tex
General purpose computer algebra system: style file for TeX
(axiom-tex_20120301-3_all.deb, 15.78 KB)
axiom-tex
General purpose computer algebra system: style file for TeX
(axiom-tex_20120501-1_all.deb, 15.67 KB)
carmetal
dynamic geometry software with highly ergonomic UI
(carmetal_3.5.2+dfsg-1_all.deb, 2.40 MB)
cimg-dev
powerful image processing library
(cimg-dev_1.4.9-1ubuntu1_all.deb, 617.97 KB)
cimg-dev
powerful image processing library
(cimg-dev_1.4.9-2_all.deb, 618.10 KB)
coq-theories
proof assistant for higher-order logic (theories)
(coq-theories_8.3.pl4+dfsg-2_all.deb, 51.86 MB)
cvc3-el
Emacs mode for CVC3
(cvc3-el_2.4.1-4_all.deb, 14.12 KB)
dolfin-bin
Executable scripts for DOLFIN
(dolfin-bin_1.0.0-7_all.deb, 14.62 KB)
dynare-common
platform independent files for Dynare
(dynare-common_4.1.3-1_all.deb, 286.46 KB)
dynare-common
platform for handling a wide class of economic models
(dynare-common_4.2.4-1_all.deb, 334.91 KB)
dynare-common
platform for handling a wide class of economic models
(dynare-common_4.3.0-2_all.deb, 817.33 KB)
fflas-ffpack-common
Finite field linear algebra subroutines/package - common files
(fflas-ffpack-common_1.6.0-1_all.deb, 85.52 KB)
freefem-doc
Documentation for FreeFEM (html and pdf)
(freefem-doc_3.5.8-4.2_all.deb, 271.56 KB)
freemat-data
freemat data files
(freemat-data_4.0-3_all.deb, 4.50 MB)
freemat-data
freemat data files
(freemat-data_4.0-3build1_all.deb, 4.50 MB)
freemat-help
freemat help files
(freemat-help_4.0-2ubuntu1_all.deb, 4.29 MB)
freemat-help
freemat help files
(freemat-help_4.0-3build1_all.deb, 3.59 MB)
gap-online-help
GAP computer algebra system, online help
(gap-online-help_4r4p12-1_all.deb, 987.68 KB)
gap-online-help
GAP computer algebra system, online help
(gap-online-help_4r4p12-2_all.deb, 987.76 KB)
gap
Groups, Algorithms and Programming computer algebra system
(gap_4r4p12-1_all.deb, 31.53 KB)
gap
Groups, Algorithms and Programming computer algebra system
(gap_4r4p12-2_all.deb, 30.88 KB)
gnumeric-common
spreadsheet application for GNOME - common files
(gnumeric-common_1.10.1-1ubuntu1_all.deb, 3.09 MB)
gnumeric-common
spreadsheet application for GNOME - common files
(gnumeric-common_1.10.17-1.1ubuntu1_all.deb, 3.87 MB)
gnumeric-common
spreadsheet application for GNOME - common files
(gnumeric-common_1.8.2-1ubuntu1_all.deb, 259.73 KB)
gnumeric-gtk
spreadsheet application for GNOME - Transitional package
(gnumeric-gtk_1.10.1-1ubuntu1_all.deb, 120.06 KB)
gnuplot-mode
Yet another Gnuplot mode for Emacs
(gnuplot-mode_0.6.0-6_all.deb, 140.75 KB)
gnuplot-mode
Yet another Gnuplot mode for Emacs
(gnuplot-mode_0.6.0-8_all.deb, 137.33 KB)
gretl-common
The GNU Regression, Econometric & Time-Series Library -- scripts package
(gretl-common_1.8.7-1_all.deb, 743.04 KB)
gretl-common
GNU Regression, Econometric & Time-Series Library -- scripts package
(gretl-common_1.9.5-2build1_all.deb, 711.86 KB)
gretl-common
GNU Regression, Econometric & Time-Series Library -- scripts package
(gretl-common_1.9.6-1build1_all.deb, 775.45 KB)
hol88-contrib-help
Higher Order Logic, user contributed online help files
(hol88-contrib-help_2.02.19940316-13.1_all.deb, 26.22 KB)
hol88-contrib-source
Higher Order Logic, user contributed source
(hol88-contrib-source_2.02.19940316-9_all.deb, 954.14 KB)
hol88-help
Higher Order Logic, online help files
(hol88-help_2.02.19940316-14_all.deb, 281.67 KB)
hol88-help
Higher Order Logic, online help files
(hol88-help_2.02.19940316-15_all.deb, 316.78 KB)
hol88-library-help
Higher Order Logic, library online help files
(hol88-library-help_2.02.19940316-13.1_all.deb, 303.50 KB)
hol88-library-help
Higher Order Logic, library online help files
(hol88-library-help_2.02.19940316-9_all.deb, 285.09 KB)
hol88-source
Higher Order Logic, source files
(hol88-source_2.02.19940316-14_all.deb, 364.61 KB)
hol88-source
Higher Order Logic, source files
(hol88-source_2.02.19940316-15_all.deb, 367.76 KB)
libaac-tactics-coq
Coq tactics for reasoning modulo AC (theories)
(libaac-tactics-coq_0.2.pl2-2build1_all.deb, 297.71 KB)
libfloat-coq
Coq library on floating-point arithmetic
(libfloat-coq_8.2-1.2-4_all.deb, 10.23 MB)
libfloat-coq
Coq library on floating-point arithmetic
(libfloat-coq_8.2-1.2-9_all.deb, 13.34 MB)
libfreefem-doc
Documentation for FreeFEM development
(libfreefem-doc_3.5.8-4.2_all.deb, 81.25 KB)
libreoffice-nlpsolver
"Solver for Nonlinear Programming" extension for LibreOffice
(libreoffice-nlpsolver_0.9~beta1-8_all.deb, 84.36 KB)
libreoffice-nlpsolver
"Solver for Nonlinear Programming" extension for LibreOffice
(libreoffice-nlpsolver_0.9~beta1-9build1_all.deb, 84.47 KB)
libssreflect-coq
small scale reflection library for Coq (theories)
(libssreflect-coq_1.3pl1-4build1_all.deb, 15.02 MB)
mascyma
A user-friendly frontend for MAXIMA
(mascyma_0.59-1ubuntu3_all.deb, 28.72 KB)
maxima-emacs
Computer algebra system -- emacs interface
(maxima-emacs_5.27.0-3_all.deb, 102.26 KB)
maxima-share
A computer algebra system -- extra code
(maxima-share_5.21.1-2ubuntu1_all.deb, 3.97 MB)
maxima-share
A computer algebra system -- extra code
(maxima-share_5.24.0-1_all.deb, 4.06 MB)
maxima-src
A computer algebra system -- source code
(maxima-src_5.13.0-3ubuntu1_all.deb, 1.00 MB)
maxima-src
A computer algebra system -- source code
(maxima-src_5.24.0-1build1_all.deb, 1.15 MB)
maxima-src
Computer algebra system -- source code
(maxima-src_5.28.0-2_all.deb, 1.21 MB)
model-builder
graphical ODE simulator
(model-builder_0.4.1-5_all.deb, 147.94 KB)
num-utils
programs for dealing with numbers from the command line
(num-utils_0.5-11_all.deb, 52.95 KB)
octave-bim
PDE solver using a finite element/volume approach in Octave
(octave-bim_1.0.0-1_all.deb, 15.58 KB)
octave-bim
PDE solver using a finite element/volume approach in Octave
(octave-bim_1.1.1-1_all.deb, 26.48 KB)
octave-common
architecture-independent files for octave
(octave-common_3.6.2-5_all.deb, 975.23 KB)
octave-dataframe
manipulate data in Octave similar to R data.frame
(octave-dataframe_0.9.1-1_all.deb, 47.88 KB)
octave-epstk
GNU Octave encapsulated postscript toolkit
(octave-epstk_2.2-14_all.deb, 1.70 MB)
octave-epstk
GNU Octave encapsulated postscript toolkit
(octave-epstk_2.3-1_all.deb, 1.01 MB)
octave-epstk
GNU Octave encapsulated postscript toolkit
(octave-epstk_2.3-2_all.deb, 1.01 MB)
octave-financial
financial manipulation and plotting functions
(octave-financial_0.4.0-1_all.deb, 46.85 KB)
octave-fpl
plot data on unstructured triangular and tetrahedral meshes in Octave
(octave-fpl_0.1.6-2_all.deb, 31.90 KB)
octave-ga
genetic optimization code for Octave
(octave-ga_0.9.8-2_all.deb, 12.41 KB)
octave-informationtheory
information theory functions for Octave
(octave-informationtheory_0.1.8-1_all.deb, 15.97 KB)
octave-informationtheory
information theory functions for Octave
(octave-informationtheory_0.1.8-2_all.deb, 16.13 KB)
octave-irsa
irregular sampling analysis functions for Octave
(octave-irsa_1.0.7-2_all.deb, 15.98 KB)
octave-msh
create and manage meshes for FE or FV solvers in Octave
(octave-msh_1.0.2-1ubuntu1_all.deb, 28.80 KB)
octave-nnet
feed forward multi-layer neural network functions for Octave
(octave-nnet_0.1.12-1_all.deb, 194.21 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.0.4-1_all.deb, 209.63 KB)
octave-plot
additional plotting tools for Octave
(octave-plot_1.1.0-2_all.deb, 10.63 KB)
octave-time
date format manipulation function for Octave
(octave-time_1.0.9-3_all.deb, 22.16 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.0.1-2_all.deb, 75.99 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.1.0+svn20110501-1_all.deb, 79.98 KB)
octave-vrml
VRML functions for Octave
(octave-vrml_1.0.10-2_all.deb, 408.20 KB)
octave-vrml
VRML functions for Octave
(octave-vrml_1.0.11-1_all.deb, 408.00 KB)
octave-zenity
simple graphical user interfaces using zenity in Octave
(octave-zenity_0.5.7-5_all.deb, 9.98 KB)
octave2.9-emacsen
Emacs support for the GNU Octave language (dummy package)
(octave2.9-emacsen_3.0.5-7ubuntu2_all.deb, 77.93 KB)
octave2.9-info
GNU Info documentation on the GNU Octave language (dummy package)
(octave2.9-info_3.0.5-7ubuntu2_all.deb, 77.93 KB)
octave3.0-info
GNU Info documentation on the GNU Octave language (3.0 branch)
(octave3.0-info_3.0.5-7ubuntu2_all.deb, 495.57 KB)
octave3.2-emacsen
Emacs support for the GNU Octave language (3.2 branch)
(octave3.2-emacsen_3.2.3-1build1_all.deb, 105.65 KB)
octave3.2-info
GNU Info documentation on the GNU Octave language (3.2 branch)
(octave3.2-info_3.2.4-6ubuntu1_all.deb, 548.02 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.02 KB)
open-axiom-databases
open scientific computation platform: generated text databases
(open-axiom-databases_1.4.1+svn~2299+ds-1ubuntu1_all.deb, 1.47 MB)
pari-elldata
PARI/GP Computer Algebra System elliptic curves (elldata)
(pari-elldata_0.20120415-1_all.deb, 24.71 MB)
pari-seadata
PARI/GP Computer Algebra System modular polynomials (seadata)
(pari-seadata_0.20090618-1_all.deb, 18.34 MB)
pyecm
integer factorization with the Elliptic Curve Method (ECM)
(pyecm_2.0.1-1_all.deb, 15.93 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.6.3.1+ds-3_all.deb, 1.08 MB)
scilab-ann
Scilab module for artificial neural networks
(scilab-ann_0.4.2.4-1_all.deb, 122.20 KB)
scilab-celestlab
Library of space flight dynamics functions based on Scilab.
(scilab-celestlab_2.2.0-1-1_all.deb, 2.53 MB)
scilab-cli
Scientific software package - Command Line Interpreter
(scilab-cli_5.3.3-10ubuntu2_all.deb, 28.39 KB)
scilab-cli
Scientific software package - Command Line Interpreter
(scilab-cli_5.3.3-2build1_all.deb, 28.33 KB)
scilab-cli
Scientific software package - Command Line Interpreter
(scilab-cli_5.3.3-6_all.deb, 28.31 KB)
scilab-data
Scientific software package for numerical computations (data files)
(scilab-data_5.3.3-6_all.deb, 12.23 MB)
scilab-plotlib
"Matlab-like" Plotting library for Scilab
(scilab-plotlib_0.41-2_all.deb, 2.15 MB)
scilab-test
Scientific software package for numerical computations (test files)
(scilab-test_5.2.1-8_all.deb, 30.69 MB)
scilab-test
Scientific software package for numerical computations (test files)
(scilab-test_5.3.3-2build1_all.deb, 19.77 MB)
scilab-test
Scientific software package for numerical computations (test files)
(scilab-test_5.3.3-6_all.deb, 19.77 MB)
stda
simple tools for data analysis (stda)
(stda_1.0-2_all.deb, 24.93 KB)
yorick-yutils
various utilities for the Yorick language
(yorick-yutils_1.4.0-1_all.deb, 145.53 KB)
Results 1 - 125 of 125
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com