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

acl2-books
A Computational Logic for Applicative Common Lisp: compiled libraries
(acl2-books_4.0-3_mips.deb, 36.63 MB)
acl2
A Computational Logic for Applicative Common Lisp: main binary
(acl2_4.0-3_mips.deb, 21.89 MB)
admesh
Tool for processing triangulated solid meshes
(admesh_0.95-12_mips.deb, 33.52 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.91-2_mips.deb, 162.75 KB)
aribas
interpreter for arithmetic
(aribas_1.64-5_mips.deb, 210.41 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_mips.deb, 339.94 KB)
axiom-hypertex
General purpose computer algebra system: hypertex subsystem
(axiom-hypertex_20120501-1_mips.deb, 214.79 KB)
bc
The GNU bc arbitrary precision calculator language
(bc_1.06.95-2_mips.deb, 108.01 KB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-31_mips.deb, 393.99 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.25-1_mips.deb, 787.36 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.4.5-2_mips.deb, 101.13 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.8.4-2_mips.deb, 61.54 KB)
cantor-backend-octave
Octave backend for Cantor
(cantor-backend-octave_4.8.4-2_mips.deb, 40.18 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.8.4-2_mips.deb, 73.05 KB)
cantor
interface for mathematical applications
(cantor_4.4.5-2_mips.deb, 314.94 KB)
cliquer
clique searching program
(cliquer_1.21-1_mips.deb, 53.02 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.2.pl2+dfsg-1_mips.deb, 3.50 MB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_mips.deb, 22.73 KB)
dicelab
evaluate the statistical distribution of dice rolls
(dicelab_0.7-1_mips.deb, 218.78 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.1-1_mips.deb, 1.90 MB)
edenmath.app
Scientific calculator for GNUstep
(edenmath.app_1.1.1a-7+b3_mips.deb, 33.75 KB)
evolver
Surface Evolver
(evolver_2.30c-2_mips.deb, 913.22 KB)
formed
formula editor for first-order logic formulae
(formed_3.3f-1.1_mips.deb, 164.29 KB)
freefem
A PDE oriented language using Finite Element Method
(freefem_3.5.8-4.2_mips.deb, 12.41 KB)
gambit
Game theory analysis software and tools
(gambit_0.2006.01.20-3_mips.deb, 5.28 MB)
gcalctool
GNOME desktop calculator
(gcalctool_5.30.2-2_mips.deb, 971.77 KB)
genus2reduction
Conductor and Reduction Types for Genus 2 Curves
(genus2reduction_0.3-2.2_mips.deb, 27.74 KB)
ginac-tools
Some tools for the GiNaC symbolic framework
(ginac-tools_1.5.8-1_mips.deb, 103.36 KB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_mips.deb, 102.14 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.45-1_mips.deb, 142.85 KB)
gmsh
three-dimensional finite element mesh generator
(gmsh_2.4.2.dfsg-5_mips.deb, 3.96 MB)
gnumeric-plugins-extra
spreadsheet application for GNOME - additional plugins
(gnumeric-plugins-extra_1.10.17-1.1_mips.deb, 204.20 KB)
grace
XY graphing and plotting tool
(grace_5.1.22-13_mips.deb, 913.25 KB)
graphthing
tool to create, manipulate and study graphs
(graphthing_1.3.2-3.1_mips.deb, 152.34 KB)
graphthing
tool to create, manipulate and study graphs
(graphthing_1.3.2-3_mips.deb, 162.04 KB)
gretl
GNU Regression, Econometric & Time-Series Library
(gretl_1.9.9-1_mips.deb, 2.86 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_mips.deb, 34.61 KB)
gsl-bin
GNU Scientific Library (GSL) -- binary package
(gsl-bin_1.15+dfsg-1_mips.deb, 27.87 KB)
hol-light
HOL Light theorem prover
(hol-light_20120602-1_mips.deb, 3.59 MB)
hyantesite
geomatic tool to compute neighbourhood population potential
(hyantesite_1.2.1-1_mips.deb, 23.93 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_2.0.0-1_mips.deb, 628.08 KB)
kalgebra-common
contains files common for kalgebra and kalgebramobile
(kalgebra-common_4.8.4-1_mips.deb, 386.69 KB)
kalgebra
algebraic graphing calculator
(kalgebra_4.8.4-1_mips.deb, 122.39 KB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_mips.deb, 48.47 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.4.5-2_mips.deb, 862.40 KB)
kcalc
simple and scientific calculator
(kcalc_4.8.4-2_mips.deb, 175.18 KB)
kig
interactive geometry tool for KDE
(kig_4.4.5-2_mips.deb, 1.89 MB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2.1_mips.deb, 325.28 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4.2_mips.deb, 58.37 KB)
libcuba3
library for multidimensional numerical integration
(libcuba3_3.0+20111124-2_mips.deb, 279.48 KB)
libfreefem0
Shared libraries for FreeFEM
(libfreefem0_3.5.8-4.2_mips.deb, 109.09 KB)
libgmsh2
Three-dimensional finite element mesh generator. Shared library
(libgmsh2_2.6.1.dfsg-4_mips.deb, 4.98 MB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.14+dfsg-1_mips.deb, 1.04 MB)
liblrs0d
package to enumerate vertices and extreme rays (shared libraries)
(liblrs0d_0.42c-1_mips.deb, 35.71 KB)
libpgapack-mpi1
General-purpose genetic algorithm package (mpi library)
(libpgapack-mpi1_1.1.1-3_mips.deb, 122.42 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1.1-1_mips.deb, 145.95 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-1_mips.deb, 144.44 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_mips.deb, 516.70 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1_mips.deb, 547.10 KB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-2_mips.deb, 389.80 KB)
mathomatic-primes
Prime Number Tools for Mathomatic
(mathomatic-primes_12.6.3-1_mips.deb, 15.22 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_16.0.4-1_mips.deb, 721.77 KB)
matita
interactive theorem prover
(matita_0.5.3-1_mips.deb, 9.95 MB)
matita
interactive theorem prover
(matita_0.5.8-2+b2_mips.deb, 14.86 MB)
maxima
A computer algebra system -- base system
(maxima_5.21.1-2squeeze_mips.deb, 11.00 MB)
maxima
A fairly complete computer algebra system-- base system
(maxima_5.9.1-9_mips.deb, 8.03 MB)
mona
a theorem prover based on automata
(mona_1.4-13-1_mips.deb, 422.12 KB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-3.1_mips.deb, 1.51 MB)
octave-ad
automatic forward differentiation in Octave
(octave-ad_1.0.6-3+b1_mips.deb, 213.01 KB)
octave-ann
octave binding to the approximate nearest neighbors library
(octave-ann_1.0.2+dfsg-2+b1_mips.deb, 115.72 KB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-4_mips.deb, 89.93 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_mips.deb, 797.05 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-2+b1_mips.deb, 590.94 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.1-1_mips.deb, 101.08 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_mips.deb, 355.43 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_1.0.8-1+b1_mips.deb, 75.85 KB)
octave-multicore
parallel processing on multiple cores for Octave
(octave-multicore_0.2.15-1+b1_mips.deb, 29.64 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.1.3-1_mips.deb, 318.35 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.4-2_mips.deb, 68.21 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.1.5-3+b1_mips.deb, 550.42 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.2.0-3_mips.deb, 467.94 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.8.2-2_mips.deb, 799.92 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.2-2+b1_mips.deb, 38.94 KB)
octave-parallel
parallel execution of Octave in clusters of computers
(octave-parallel_2.0.1-1_mips.deb, 92.45 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.5-4_mips.deb, 383.69 KB)
octave-quaternion
quaternion package for Octave
(octave-quaternion_2.0.2-1_mips.deb, 190.08 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-2+b1_mips.deb, 23.97 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.0.11-2_mips.deb, 204.95 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.1.3-1_mips.deb, 224.26 KB)
octave-sockets
communication through Internet sokects in Octave
(octave-sockets_1.0.6-1+b1_mips.deb, 34.01 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.2.4-1_mips.deb, 99.57 KB)
octave3.0
GNU Octave language for numerical computations (3.0 branch)
(octave3.0_3.0.1-6lenny3_mips.deb, 6.61 MB)
octave3.2-headers
header files for the GNU Octave language (3.2 branch)
(octave3.2-headers_3.2.4-8_mips.deb, 583.25 KB)
octave3.2
GNU Octave language for numerical computations (3.2 branch)
(octave3.2_3.2.4-8_mips.deb, 8.17 MB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.5.1-2_mips.deb, 164.59 KB)
pdl
perl data language: Perl extensions for numerics
(pdl_2.4.11-4_mips.deb, 4.61 MB)
pgapack
A general-purpose genetic algorithm package
(pgapack_1.1.1-1_mips.deb, 134.62 KB)
plotdrop
A minimal GNOME frontend to GNUPlot
(plotdrop_0.5.2-3_mips.deb, 28.30 KB)
plplot-tcl-dev
Tcl/Tk development support for PLplot, a plotting library
(plplot-tcl-dev_5.9.5-4_mips.deb, 121.37 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_mips.deb, 120.15 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.12b.dfsg-2_mips.deb, 83.52 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-1_mips.deb, 47.51 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_mips.deb, 47.36 KB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.8-5+b1_mips.deb, 3.34 MB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.9-1_mips.deb, 3.36 MB)
qtoctave
Qt front-end to Octave
(qtoctave_0.10.1-3_mips.deb, 3.75 MB)
quickplot
fast interactive 2D plotter and data viewer
(quickplot_0.10.3-1_mips.deb, 416.68 KB)
r-base-core-dbg
GNU R debug symbols for statistical comp. language and environment
(r-base-core-dbg_2.7.1-1+lenny1_mips.deb, 2.50 MB)
regina-normal-mpi
MPI utilities for Regina, the 3-manifold topology software
(regina-normal-mpi_4.6-1.1+b2_mips.deb, 251.22 KB)
regina-normal
software for 3-manifold topology and normal surfaces
(regina-normal_4.93-1_mips.deb, 5.37 MB)
rlplot
GUI application for generating publication quality graphs
(rlplot_1.5-2_mips.deb, 1020.54 KB)
rpncalc
RPN calculator trying to emulate an HP28S
(rpncalc_1.36.8_mips.deb, 29.40 KB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.3.3-10_mips.deb, 2.60 MB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.4.0-alpha-1-1~exp3_mips.deb, 2.66 MB)
scilab-sivp
Scilab Image and Video Processing toolbox
(scilab-sivp_0.5.2-2_mips.deb, 2.80 MB)
scilab-swt
Scilab Wavelet and signal processing toolbox
(scilab-swt_0.1.0rc4-5_mips.deb, 371.39 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-2_mips.deb, 315.43 KB)
sdpam
Matlab/Octave interface of SDPA
(sdpam_7.3.8+dfsg-1_mips.deb, 778.62 KB)
singular
A commutative algebra system
(singular_3-0-4-3.dfsg-3.1+b1_mips.deb, 3.02 MB)
socnetv
social network analysis and visualisation application
(socnetv_0.81-1_mips.deb, 517.54 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.90-3_mips.deb, 478.96 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-4_mips.deb, 458.70 KB)
spline
Akima spline interpolation
(spline_1.2-1_mips.deb, 12.46 KB)
survex-aven
Sophisticated cave survey viewer for Survex
(survex-aven_1.0.7_mips.deb, 149.80 KB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.1_mips.deb, 1.71 MB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.2_mips.deb, 1.70 MB)
tilp2
Texas Instruments hand-helds <-> PC communication program for X
(tilp2_1.12-1_mips.deb, 367.02 KB)
why
A software verification tool
(why_2.26+dfsg-2+squeeze1_mips.deb, 13.91 MB)
why
Software verification tool
(why_2.30+dfsg-5+b1_mips.deb, 15.89 MB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_12.04.0-1_mips.deb, 739.80 KB)
wzip
Lossy compression and denoising
(wzip_1.1.3_mips.deb, 36.44 KB)
yacas
Computer Algebra System
(yacas_1.2.2-5_mips.deb, 429.91 KB)
Results 1 - 132 of 132
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com