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

acl2-infix
Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.3-3_i386.deb, 179.77 KB)
acl2
A Computational Logic for Applicative Common Lisp: main binary
(acl2_4.0-3_i386.deb, 21.33 MB)
acl2
Computational Logic for Applicative Common Lisp: main binary
(acl2_4.3-3_i386.deb, 23.17 MB)
apcalc
Arbitrary precision calculator (original name: calc)
(apcalc_2.12.4.4-3_i386.deb, 335.79 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_i386.deb, 344.10 KB)
axiom-hypertex
General purpose computer algebra system: hypertex subsystem
(axiom-hypertex_20120501-1_i386.deb, 214.82 KB)
bc
GNU bc arbitrary precision calculator language
(bc_1.06.95-4_i386.deb, 104.99 KB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-28.2+b1_i386.deb, 472.39 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_i386.deb, 714.44 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.8.4-2_i386.deb, 21.07 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.4.5-2_i386.deb, 102.53 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.8.4-2_i386.deb, 63.62 KB)
cantor-backend-octave
Octave backend for Cantor
(cantor-backend-octave_4.8.4-2_i386.deb, 41.86 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.4.5-2_i386.deb, 63.43 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.8.4-2_i386.deb, 75.04 KB)
cantor
interface for mathematical applications
(cantor_4.4.5-2_i386.deb, 311.90 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.0pl3-2_i386.deb, 5.83 MB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.2.pl2+dfsg-1_i386.deb, 13.08 MB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb, 4.66 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.1.pl3+dfsg-1+b2_i386.deb, 4.70 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.4dfsg-2_i386.deb, 819.80 KB)
drgeo
An interactive geometry software
(drgeo_1.1.0-1.2_i386.deb, 805.27 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.0-2_i386.deb, 1.95 MB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-2_i386.deb, 183.48 KB)
freefem++
Provides the binaries of the FreeFem++ FE suite
(freefem++_3.20-1_i386.deb, 14.14 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_3.6+dfsg-5~lenny3_i386.deb, 1.28 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-3_i386.deb, 3.84 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-5_i386.deb, 3.76 MB)
geomview
interactive geometry viewing program
(geomview_1.9.4-2_i386.deb, 3.55 MB)
getdp-sparskit
general environment for the treatment of discrete problems
(getdp-sparskit_2.2.0-1_i386.deb, 518.45 KB)
getdp
general environment for the treatment of discrete problems
(getdp_2.2.0-1_i386.deb, 618.39 KB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_i386.deb, 44.38 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.43-1_i386.deb, 139.88 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.45-1_i386.deb, 142.03 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.3-4_i386.deb, 113.21 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.4.2-1_i386.deb, 134.88 KB)
gnumeric-plugins-extra
spreadsheet application for GNOME - additional plugins
(gnumeric-plugins-extra_1.8.3-5+lenny1_i386.deb, 152.64 KB)
gnumeric
GNOME spreadsheet application
(gnumeric_1.6.3-5.1+etch1_i386.deb, 2.00 MB)
gnumeric
spreadsheet application for GNOME - main program
(gnumeric_1.8.3-5+lenny1_i386.deb, 2.19 MB)
gnuplot-nox
Command-line driven interactive plotting program. No-X package
(gnuplot-nox_4.6.1-1~exp1_i386.deb, 961.84 KB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.1-1~exp1_i386.deb, 1.16 MB)
grace
An XY plotting tool
(grace_5.1.22-8_i386.deb, 987.01 KB)
graphthing
tool to create, manipulate and study graphs
(graphthing_1.3.2-3_i386.deb, 163.64 KB)
gretl
The GNU Regression, Econometric & Time-Series Library
(gretl_1.9.1-2_i386.deb, 2.42 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3_i386.deb, 34.22 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.2.0-1_i386.deb, 1.39 MB)
k3dsurf
tool for mathematical surfaces
(k3dsurf_0.6.2.4-1_i386.deb, 1.38 MB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_i386.deb, 41.55 KB)
kcalc
simple and scientific calculator
(kcalc_4.4.5-1_i386.deb, 150.15 KB)
kig
interactive geometry tool for KDE
(kig_4.4.5-2_i386.deb, 1.88 MB)
kig
interactive geometry tool for KDE
(kig_4.8.4-1_i386.deb, 1.80 MB)
kmplot
mathematical function plotter for KDE
(kmplot_4.8.4-2_i386.deb, 873.48 KB)
kseg
Sketchpad for planar Euclidean geometry
(kseg_0.4.0.3-3_i386.deb, 789.08 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2_i386.deb, 326.86 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1+b1_i386.deb, 122.54 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1.2_i386.deb, 100.92 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-2_i386.deb, 56.19 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4.2_i386.deb, 54.81 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.7-3_i386.deb, 139.80 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.8-4.1_i386.deb, 127.69 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.8-4.2_i386.deb, 126.22 KB)
libgeomview-1.9.4
geomview library runtime
(libgeomview-1.9.4_1.9.4-1_i386.deb, 524.45 KB)
libgeomview-dev
geomview library development package
(libgeomview-dev_1.9.4-1_i386.deb, 783.23 KB)
libgeomview-dev
geomview library development package
(libgeomview-dev_1.9.4-3_i386.deb, 827.88 KB)
libglpk0
linear programming kit (shared libraries for use with Octave)
(libglpk0_4.11-2_i386.deb, 266.64 KB)
libgmsh2
Three-dimensional finite element mesh generator. Shared library
(libgmsh2_2.6.1.dfsg-4_i386.deb, 5.05 MB)
libgsl0
GNU Scientific Library (GSL) -- library package
(libgsl0_1.8-2_i386.deb, 751.85 KB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.11+dfsg-1_i386.deb, 849.42 KB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs100321-1_i386.deb, 55.83 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1-2_i386.deb, 113.61 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1.1-1_i386.deb, 113.81 KB)
libpgapack-serial1
General-purpose genetic algorithm package (serial library)
(libpgapack-serial1_1.1.1-3_i386.deb, 149.73 KB)
libplplot-ada0
Ada support for PLplot, a plotting library
(libplplot-ada0_5.9.9-5_i386.deb, 112.54 KB)
libsprng2
The SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-5_i386.deb, 90.11 KB)
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
(lrslib_0.42c-1+b1_i386.deb, 198.40 KB)
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
(lrslib_0.42c-1_i386.deb, 194.23 KB)
magnus
Computational group theory software with GUI
(magnus_20060324-5.2_i386.deb, 3.38 MB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_14.0.6-2_i386.deb, 16.29 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.1.1-1_i386.deb, 25.11 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_16.0.4-1_i386.deb, 30.56 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_15.1.1-1_i386.deb, 183.85 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_16.0.4-1_i386.deb, 713.84 KB)
matita
interactive theorem prover
(matita_0.5.3-1_i386.deb, 3.14 MB)
matita
interactive theorem prover
(matita_0.5.8-2+b1_i386.deb, 4.82 MB)
maxima
Computer algebra system -- base system
(maxima_5.27.0-3_i386.deb, 8.67 MB)
mcl
the Markov Cluster algorithm
(mcl_10-148-1_i386.deb, 1.34 MB)
mcrl2
formal specification language toolset
(mcrl2_201202.0-2+b1_i386.deb, 12.44 MB)
ministat
a simple tool for statistical comparison of data sets
(ministat_20100628-1_i386.deb, 12.81 KB)
mona
a theorem prover based on automata
(mona_1.4-13-1_i386.deb, 397.77 KB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.12.dfsg-3+b1_i386.deb, 1.51 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-3.1_i386.deb, 1.53 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-4_i386.deb, 1.53 MB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-4_i386.deb, 90.32 KB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_i386.deb, 29.63 KB)
octave-communications
communications package for Octave
(octave-communications_1.1.1-1_i386.deb, 201.00 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_i386.deb, 802.30 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-2+b1_i386.deb, 627.91 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.2.1-1_i386.deb, 71.66 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.2-1_i386.deb, 95.26 KB)
octave-gsl
GSL binding for Octave
(octave-gsl_1.0.8-2+b1_i386.deb, 309.11 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_1.0.8-1+b1_i386.deb, 75.38 KB)
octave-multicore
parallel processing on multiple cores for Octave
(octave-multicore_0.2.15-1+b1_i386.deb, 28.66 KB)
octave-nlwing2
nonlinear lifting line for wings in Octave
(octave-nlwing2_1.1.1-3+b1_i386.deb, 24.61 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.1.0-2_i386.deb, 309.55 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.1.5-3+b1_i386.deb, 390.77 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.6.10-1_i386.deb, 721.72 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.0-1_i386.deb, 297.96 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.2-1_i386.deb, 302.50 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.5-4_i386.deb, 403.71 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-2+b1_i386.deb, 111.11 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-3_i386.deb, 109.20 KB)
octave-sp
Semidefinite Programming functions for GNU Octave
(octave-sp_2003-10_i386.deb, 316.70 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.1.0-1_i386.deb, 39.07 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.1.0-1_i386.deb, 21.48 KB)
octave-struct
additional structure manipulation functions for Octave
(octave-struct_1.0.10-1_i386.deb, 47.02 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.2.4-1_i386.deb, 103.44 KB)
octave-xraylib
Octave bindings to the xraylib functions
(octave-xraylib_1.0.8-2+b1_i386.deb, 410.63 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_i386.deb, 1.77 MB)
open-axiom-hypertex
open scientific computation platform: hypertex subsystem
(open-axiom-hypertex_1.4.1+svn~2299+ds-1_i386.deb, 112.53 KB)
open-axiom-hypertex
open scientific computation platform: hypertex subsystem
(open-axiom-hypertex_1.4.1+svn~2626-2_i386.deb, 112.35 KB)
open-axiom
open scientific computation platform
(open-axiom_1.4.1+svn~2299+ds-1_i386.deb, 24.13 MB)
orpie
RPN calculator for the terminal
(orpie_1.5.1-8_i386.deb, 655.27 KB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1.2_i386.deb, 476.87 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.5pl6-1_i386.deb, 132.37 KB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.3.5-1_i386.deb, 216.09 KB)
pgapack
General-purpose genetic algorithm package
(pgapack_1.1.1-3_i386.deb, 134.41 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_i386.deb, 10.17 KB)
plotutils
The GNU plotutils (plotting utilities) package
(plotutils_2.5-4_i386.deb, 619.32 KB)
plotutils
GNU plotutils command line tools based on libplot
(plotutils_2.6-3_i386.deb, 635.42 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.9-5_i386.deb, 172.60 KB)
polylib-utils
Various tools using libpolylib
(polylib-utils_5.22.5-1+dfsg_i386.deb, 14.96 KB)
polylib-utils
Various tools using libpolylib
(polylib-utils_5.22.5-3+dfsg_i386.deb, 15.63 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2.1_i386.deb, 121.48 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.12b.dfsg-2_i386.deb, 94.57 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.3-1_i386.deb, 547.04 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.4-5+b1_i386.deb, 650.50 KB)
qalculate-gtk
Powerful and easy to use desktop calculator - GTK+ version
(qalculate-gtk_0.9.7-3_i386.deb, 1.25 MB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_i386.deb, 46.48 KB)
qtoctave
Qt front-end to Octave
(qtoctave_0.10.1-3_i386.deb, 3.90 MB)
quickplot
fast interactive 2D plotter and data viewer
(quickplot_0.10.3-1_i386.deb, 267.93 KB)
r-mathlib
GNU R standalone mathematics library
(r-mathlib_2.7.1-1+lenny1_i386.deb, 482.36 KB)
regina-normal
software for 3-manifold topology and normal surfaces
(regina-normal_4.93-1_i386.deb, 5.65 MB)
rheolef
efficient Finite Element environment
(rheolef_6.1-2.1_i386.deb, 489.98 KB)
rkward
a KDE frontend to the R statistics language
(rkward_0.5.3-2_i386.deb, 1.02 MB)
rlplot
GUI application for generating publication quality graphs
(rlplot_1.5-2_i386.deb, 1007.01 KB)
rocs
graph theory IDE
(rocs_4.4.5-2_i386.deb, 146.60 KB)
sc
Text-based spreadsheet with VI-like keybindings
(sc_7.16-3_i386.deb, 211.36 KB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.4.0.0-1~exp1_i386.deb, 1.63 MB)
scilab-include
Scientific software package for numerical computations (include files)
(scilab-include_5.2.2-9_i386.deb, 88.42 KB)
scilab-jims
Binds Java from the Scilab engine
(scilab-jims_1.1-1_i386.deb, 178.08 KB)
scilab-jims
Binds Java from the Scilab engine
(scilab-jims_1.2-1~exp1_i386.deb, 181.51 KB)
scilab-metanet
Scilab graphs and networks computations module.
(scilab-metanet_0.4-1_i386.deb, 1.09 MB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.3.3-10_i386.deb, 2.56 MB)
scilab-scimax
Symbolic computations for Scilab based on Maxima
(scilab-scimax_2.1.4-2_i386.deb, 283.60 KB)
scilab-sivp
Scilab Image and Video Processing toolbox
(scilab-sivp_0.5.3+svn287-2_i386.deb, 3.79 MB)
sdpa
High-performance package for SemiDefinite Programs
(sdpa_7.3.8+dfsg-1_i386.deb, 344.86 KB)
sdpam
Matlab/Octave interface of SDPA
(sdpam_7.3.8+dfsg-1_i386.deb, 752.05 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.81-1_i386.deb, 526.71 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.90-3_i386.deb, 556.47 KB)
tachyon
Parallel/Multiprocessor Ray Tracing Software
(tachyon_0.99~b2+dfsg-0.4_i386.deb, 140.98 KB)
tiemu-skinedit
skin editor for TiEmu
(tiemu-skinedit_1.27-2_i386.deb, 47.64 KB)
wcalc
A flexible command-line scientific calculator
(wcalc_2.4-1.1_i386.deb, 129.49 KB)
why
A software verification tool
(why_2.26+dfsg-2+squeeze1_i386.deb, 7.30 MB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-13_i386.deb, 85.58 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-16_i386.deb, 93.60 KB)
yorick-ml4
Matlab file format support for the Yorick language
(yorick-ml4_0.6.0-1_i386.deb, 13.56 KB)
Results 1 - 166 of 166
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com