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

acl2-books
Computational Logic for Applicative Common Lisp: compiled libraries
(acl2-books_4.3-3_ia64.deb, 18.17 MB)
acl2-infix
A Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.0-3_ia64.deb, 559.50 KB)
ann-tools
Approximate Nearest Neighbor Searching library (tools)
(ann-tools_1.1.2+doc-3_ia64.deb, 14.62 KB)
apcalc
Arbitrary precision calculator (original name: calc)
(apcalc_2.12.4.4-3_ia64.deb, 542.12 KB)
aribas
interpreter for arithmetic
(aribas_1.64-5_ia64.deb, 255.17 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6-1_ia64.deb, 648.27 KB)
axiom-graphics
A general purpose computer algebra system: graphics subsystem
(axiom-graphics_20100701-1.1_ia64.deb, 349.78 KB)
axiom-graphics
General purpose computer algebra system: graphics subsystem
(axiom-graphics_20120501-1_ia64.deb, 372.02 KB)
bc
The GNU bc arbitrary precision calculator language
(bc_1.06.95-2_ia64.deb, 123.58 KB)
bliss
tool to compute graph automorphisms and labelings
(bliss_0.72-4_ia64.deb, 10.75 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.4.5-2_ia64.deb, 33.77 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.8.4-2_ia64.deb, 24.76 KB)
cantor-backend-octave
Octave backend for Cantor
(cantor-backend-octave_4.8.4-2_ia64.deb, 56.49 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.8.4-2_ia64.deb, 97.15 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.8.4-2_ia64.deb, 64.97 KB)
cantor
interface for mathematical applications
(cantor_4.4.5-2_ia64.deb, 452.84 KB)
cantor
interface for mathematical applications
(cantor_4.8.4-2_ia64.deb, 547.48 KB)
concalc
console calculator
(concalc_0.9.2-2_ia64.deb, 87.35 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.2.pl2+dfsg-1_ia64.deb, 3.50 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.2.pl2+dfsg-1_ia64.deb, 2.30 MB)
cuba-partview
partition viewer for the Cuba library
(cuba-partview_3.0+20111124-2_ia64.deb, 24.42 KB)
cvc3
An automatic theorem prover for SMT problems
(cvc3_2.2-13_ia64.deb, 27.84 KB)
dc
The GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-2_ia64.deb, 78.83 KB)
dc
GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-4_ia64.deb, 79.50 KB)
drgeo
interactive geometry software
(drgeo_1.1.0-10_ia64.deb, 857.30 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.0-2_ia64.deb, 3.11 MB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-1_ia64.deb, 227.24 KB)
formed
formula editor for first-order logic formulae
(formed_3.3f-1.1_ia64.deb, 276.15 KB)
freefem
A PDE oriented language using Finite Element Method
(freefem_3.5.8-4.2_ia64.deb, 13.32 KB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-3_ia64.deb, 5.96 MB)
geomview
interactive geometry viewing program
(geomview_1.9.4-2_ia64.deb, 3.75 MB)
getdp-sparskit
general environment for the treatment of discrete problems
(getdp-sparskit_2.2.0-1_ia64.deb, 860.72 KB)
gfan
Program for computing with Groebner fans
(gfan_0.3dfsg-1.1_ia64.deb, 695.67 KB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_ia64.deb, 54.43 KB)
ggobi
Data visualization system for high-dimensional data
(ggobi_2.1.9~20091212-3_ia64.deb, 1.46 MB)
ginac-tools
Some tools for the GiNaC symbolic framework
(ginac-tools_1.5.8-1_ia64.deb, 132.47 KB)
glpk
linear programming kit
(glpk_4.45-1_ia64.deb, 52.15 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.4.2-1_ia64.deb, 143.46 KB)
gmsh
three-dimensional finite element mesh generator
(gmsh_2.4.2.dfsg-5_ia64.deb, 4.93 MB)
gnumeric-plugins-extra
additional plugins for the GNOME spreadsheet
(gnumeric-plugins-extra_1.6.3-5.1+etch1_ia64.deb, 169.63 KB)
gnumeric
spreadsheet application for GNOME - main program
(gnumeric_1.10.8-1squeeze5_ia64.deb, 3.19 MB)
gnuplot-nox
Command-line driven interactive plotting program. No-X package
(gnuplot-nox_4.6.0-8_ia64.deb, 1.27 MB)
gretl
The GNU Regression, Econometric & Time-Series Library
(gretl_1.9.1-2_ia64.deb, 3.18 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_ia64.deb, 54.27 KB)
hol-light
HOL Light theorem prover
(hol-light_20120602-1_ia64.deb, 3.59 MB)
hol88-library
Higher Order Logic, binary library modules
(hol88-library_2.02.19940316-15_ia64.deb, 2.59 MB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-13.1_ia64.deb, 11.36 MB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.2.0-1_ia64.deb, 1.75 MB)
kalgebra-common
contains files common for kalgebra and kalgebramobile
(kalgebra-common_4.8.4-1_ia64.deb, 391.32 KB)
kalgebra
algebraic graphing calculator
(kalgebra_4.8.4-1_ia64.deb, 184.91 KB)
kig
interactive geometry tool for KDE
(kig_4.8.4-1_ia64.deb, 2.12 MB)
kseg
Sketchpad for planar Euclidean geometry
(kseg_0.4.0.3-3_ia64.deb, 934.50 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2_ia64.deb, 500.20 KB)
libfreefem0
Shared libraries for FreeFEM
(libfreefem0_3.5.7-3_ia64.deb, 148.81 KB)
libfreefem0
Shared libraries for FreeFEM
(libfreefem0_3.5.8-4.2_ia64.deb, 162.58 KB)
libglpk0
linear programming kit (shared libraries for use with Octave)
(libglpk0_4.11-2_ia64.deb, 395.99 KB)
libgmsh2
Three-dimensional finite element mesh generator. Shared library
(libgmsh2_2.6.1.dfsg-4_ia64.deb, 7.51 MB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs100321-1_ia64.deb, 76.59 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1.1-1_ia64.deb, 169.59 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1.1-1_ia64.deb, 206.95 KB)
libsbml5-octave
System Biology Markup Language library - Octave binding
(libsbml5-octave_5.6.0-1_ia64.deb, 156.66 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-1_ia64.deb, 185.43 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-2_ia64.deb, 191.67 KB)
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
(lrslib_0.42c-1+b1_ia64.deb, 325.90 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_ia64.deb, 749.40 KB)
magnus
Computational group theory software with GUI
(magnus_20060324-5.1_ia64.deb, 4.76 MB)
magnus
Computational group theory software with GUI
(magnus_20060324-5.2_ia64.deb, 4.78 MB)
mandelbulber
3D fractal renderer and animator
(mandelbulber_1.11-1_ia64.deb, 1.13 MB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.8.2-2_ia64.deb, 47.93 KB)
mona
a theorem prover based on automata
(mona_1.4-13-1_ia64.deb, 621.70 KB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-2+b1_ia64.deb, 93.78 KB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-4_ia64.deb, 94.58 KB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_ia64.deb, 32.80 KB)
octave-communications
communications package for Octave
(octave-communications_1.0.10-2_ia64.deb, 313.90 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_ia64.deb, 832.53 KB)
octave-econometrics
econometrics functions for Octave
(octave-econometrics_1.0.8-2+b1_ia64.deb, 49.16 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-2+b1_ia64.deb, 881.86 KB)
octave-ftp
Octave binding for ftplib, and MATLAB compatible APIs
(octave-ftp_1.0.2-4+b1_ia64.deb, 106.93 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.2.1-1_ia64.deb, 93.97 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.1-1_ia64.deb, 126.50 KB)
octave-gsl
GSL binding for Octave
(octave-gsl_1.0.8-2+b1_ia64.deb, 332.56 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_ia64.deb, 429.46 KB)
octave-io
input/output data functions for Octave
(octave-io_1.0.19-1_ia64.deb, 240.39 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_1.0.8-1+b1_ia64.deb, 93.06 KB)
octave-nan
handles data with and without missing values in Octave
(octave-nan_1.0.9-2_ia64.deb, 90.37 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.0.3-1_ia64.deb, 378.06 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.1.0-2_ia64.deb, 313.77 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.4-2_ia64.deb, 89.70 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.5-1_ia64.deb, 91.76 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.2.0-3_ia64.deb, 523.03 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.6.10-1_ia64.deb, 921.24 KB)
octave-openmpi-ext
Octave toolbox for parallel computing using MPI
(octave-openmpi-ext_1.0.2-2_ia64.deb, 589.10 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.2-2+b1_ia64.deb, 46.84 KB)
octave-pfstools
octave bindings for pfstools
(octave-pfstools_1.8.1-2+b1_ia64.deb, 160.73 KB)
octave-pfstools
octave bindings for pfstools
(octave-pfstools_1.8.5-1_ia64.deb, 167.93 KB)
octave-quaternion
quaternion package for Octave
(octave-quaternion_2.0.0-1_ia64.deb, 157.64 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-4_ia64.deb, 27.72 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-2+b1_ia64.deb, 126.96 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-4_ia64.deb, 134.88 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.0.11-2_ia64.deb, 222.59 KB)
octave-sockets
communication through Internet sokects in Octave
(octave-sockets_1.0.6-1+b1_ia64.deb, 44.44 KB)
octave-sockets
communication through Internet sockets in Octave
(octave-sockets_1.0.8-1_ia64.deb, 41.11 KB)
octave-sp
Semidefinite Programming functions for GNU Octave
(octave-sp_2003-10_ia64.deb, 333.19 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.1.0-1_ia64.deb, 44.34 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.1.0-1_ia64.deb, 25.38 KB)
octave-symbolic
symbolic package for Octave
(octave-symbolic_1.0.9-2_ia64.deb, 294.93 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.2-5_ia64.deb, 2.24 MB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_ia64.deb, 2.24 MB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1_ia64.deb, 741.50 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.5pl2-1_ia64.deb, 174.07 KB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.5.1-2_ia64.deb, 215.84 KB)
pdl
perl data language: Perl extensions for numerics
(pdl_2.4.7+dfsg-2_ia64.deb, 6.09 MB)
pgapack
A general-purpose genetic algorithm package
(pgapack_1.1.1-1_ia64.deb, 134.54 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.1-2_ia64.deb, 12.51 KB)
picviz
Parallel coordinates plotter
(picviz_0.5-1+b1_ia64.deb, 1.63 MB)
plplot-tcl-dev
Tcl/Tk development support for PLplot, a plotting library
(plplot-tcl-dev_5.9.9-5_ia64.deb, 124.80 KB)
polylib-utils
Various tools using libpolylib
(polylib-utils_5.22.5-3+dfsg_ia64.deb, 17.89 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_ia64.deb, 165.05 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.8a.dfsg-2_ia64.deb, 901.36 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-1_ia64.deb, 54.86 KB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.8-5+b1_ia64.deb, 4.63 MB)
r-bioc-hilbertvis
GNU R package to visualise long vector data
(r-bioc-hilbertvis_1.5.0-2_ia64.deb, 80.80 KB)
regina-normal
3-manifold topology software with normal surface support
(regina-normal_4.6-1.1+b2_ia64.deb, 6.83 MB)
rheolef
efficient Finite Element environment
(rheolef_6.2-1~exp1_ia64.deb, 693.29 KB)
rlplot
GUI application for generating publication quality graphs
(rlplot_1.5-2_ia64.deb, 1.65 MB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-6+b1_ia64.deb, 7.59 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.2.2-9_ia64.deb, 1.49 MB)
scilab-include
Scientific software package for numerical computations (include files)
(scilab-include_5.2.2-9_ia64.deb, 83.68 KB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.3.3-10_ia64.deb, 4.02 MB)
scilab-overload
Scilab toolbox to overload Scilab's macros
(scilab-overload_1.3.2-3_ia64.deb, 34.92 KB)
scilab-scimysql
Scilab interface to MySQL
(scilab-scimysql_0.1.1-5_ia64.deb, 78.32 KB)
scilab-sivp
Scilab Image and Video Processing toolbox
(scilab-sivp_0.5.3+svn287-2_ia64.deb, 3.80 MB)
scilab-swt
Scilab Wavelet and signal processing toolbox
(scilab-swt_0.1.0rc4-5_ia64.deb, 408.55 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-1.1_ia64.deb, 447.84 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.8a.dfsg-2_ia64.deb, 1.25 MB)
sdpam
Matlab/Octave interface of SDPA
(sdpam_7.3.8+dfsg-1_ia64.deb, 1.70 MB)
singular
A commutative algebra system
(singular_3-0-4-3.dfsg-3.1+b1_ia64.deb, 4.73 MB)
snappea
a program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-20.1_ia64.deb, 744.82 KB)
snappea
program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-22_ia64.deb, 741.09 KB)
spline
Akima spline interpolation
(spline_1.2-1_ia64.deb, 14.85 KB)
tachyon
Parallel/Multiprocessor Ray Tracing Software
(tachyon_0.99~b2+dfsg-0.4_ia64.deb, 198.27 KB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.1_ia64.deb, 1.99 MB)
wcalc
A flexible command-line scientific calculator
(wcalc_2.4-1.1_ia64.deb, 154.67 KB)
why
A software verification tool
(why_2.26+dfsg-2+squeeze1_ia64.deb, 13.89 MB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_0.8.5-2_ia64.deb, 883.78 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-16_ia64.deb, 127.66 KB)
xmaxima
Computer algebra system -- x interface
(xmaxima_5.27.0-3_ia64.deb, 383.23 KB)
xmaxima
A fairly complete computer algebra system-- x interface
(xmaxima_5.9.1-9_ia64.deb, 185.74 KB)
Results 1 - 148 of 148
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com