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

acl2
A Computational Logic for Applicative Common Lisp: main binary
(acl2_4.0-3_amd64.deb, 25.02 MB)
admesh
Tool for processing triangulated solid meshes
(admesh_0.95-12_amd64.deb, 33.02 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.94-2_amd64.deb, 2.33 MB)
ann-tools
Approximate Nearest Neighbor Searching library (tools)
(ann-tools_1.1.1+doc-2.2_amd64.deb, 37.96 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_amd64.deb, 348.28 KB)
axiom-graphics
General purpose computer algebra system: graphics subsystem
(axiom-graphics_20120501-1_amd64.deb, 280.49 KB)
bc
The GNU bc arbitrary precision calculator language
(bc_1.06.95-2_amd64.deb, 107.77 KB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-31_amd64.deb, 487.62 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_amd64.deb, 719.14 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.4.5-2_amd64.deb, 30.17 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.4.5-2_amd64.deb, 67.76 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.8.4-2_amd64.deb, 74.04 KB)
cantor
interface for mathematical applications
(cantor_4.8.4-2_amd64.deb, 379.08 KB)
cliquer
clique searching program
(cliquer_1.21-1_amd64.deb, 53.71 KB)
concalc
console calculator
(concalc_0.9.2-2_amd64.deb, 61.66 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.4dfsg-2_amd64.deb, 5.77 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.2.pl2+dfsg-1_amd64.deb, 6.25 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.3.pl4+dfsg-2_amd64.deb, 5.36 MB)
cvc3
An automatic theorem prover for SMT problems
(cvc3_2.2-13_amd64.deb, 23.27 KB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_amd64.deb, 22.91 KB)
dc
GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-4_amd64.deb, 68.46 KB)
drgeo
An interactive geometry software
(drgeo_1.1.0-1.2_amd64.deb, 824.57 KB)
drgeo
An interactive geometry software
(drgeo_1.1.0-8_amd64.deb, 813.54 KB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-1_amd64.deb, 190.00 KB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-2_amd64.deb, 191.80 KB)
euler
interactive mathematical programming environment
(euler_1.61.0-8_amd64.deb, 429.65 KB)
evolver
Surface Evolver
(evolver_2.30c-2_amd64.deb, 993.24 KB)
freefem++
Provides the binaries of the FreeFem++ FE suite
(freefem++_3.19.1-1_amd64.deb, 14.95 MB)
freefem3d
Language and solver for partial differential equations in 3D
(freefem3d_1.0pre10-3.1_amd64.deb, 4.14 MB)
freefem
PDE oriented language using Finite Element Method
(freefem_3.5.8-5_amd64.deb, 12.61 KB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_3.6+dfsg-5~lenny3_amd64.deb, 1.31 MB)
gambit
Game theory analysis software and tools
(gambit_0.2006.01.20-3_amd64.deb, 5.20 MB)
gbase
small numeric base converter
(gbase_0.5-2.2_amd64.deb, 10.50 KB)
geomview
interactive geometry viewing program
(geomview_1.9.4-2_amd64.deb, 3.59 MB)
geomview
interactive geometry viewing program
(geomview_1.9.4-3_amd64.deb, 3.60 MB)
ggobi
Data visualization system for high-dimensional data
(ggobi_2.1.9~20091212-3_amd64.deb, 1.26 MB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_amd64.deb, 110.11 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.45-1_amd64.deb, 141.87 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.3-4_amd64.deb, 115.45 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.4.2-1_amd64.deb, 135.65 KB)
gnumeric-plugins-extra
additional plugins for the GNOME spreadsheet
(gnumeric-plugins-extra_1.4.3-4_amd64.deb, 112.45 KB)
gnumeric-plugins-extra
spreadsheet application for GNOME - additional plugins
(gnumeric-plugins-extra_1.8.3-5+lenny1_amd64.deb, 156.26 KB)
gnumeric
spreadsheet application for GNOME - main program
(gnumeric_1.10.17-1.1_amd64.deb, 2.61 MB)
gnuplot-nox
A command-line driven interactive plotting program
(gnuplot-nox_4.4.0-1.1+b1_amd64.deb, 1.02 MB)
grace
XY graphing and plotting tool
(grace_5.1.22-13_amd64.deb, 944.17 KB)
graphthing
tool to create, manipulate and study graphs
(graphthing_1.3.2-3_amd64.deb, 166.55 KB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_amd64.deb, 41.89 KB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-13.1_amd64.deb, 13.73 MB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-15_amd64.deb, 10.59 MB)
hyantesite
geomatic tool to compute neighbourhood population potential
(hyantesite_1.2.1-1_amd64.deb, 22.88 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_2.0.0-1_amd64.deb, 649.82 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.2.0-1_amd64.deb, 1.41 MB)
k3dsurf
tool for mathematical surfaces
(k3dsurf_0.6.2.4-1_amd64.deb, 1.39 MB)
kalgebramobile
algebraic graphing calculator for small touch based interfaces
(kalgebramobile_4.8.4-1_amd64.deb, 33.45 KB)
kcalc
simple and scientific calculator
(kcalc_4.4.5-1+squeeze1_amd64.deb, 156.16 KB)
kmplot
mathematical function plotter for KDE
(kmplot_4.4.5-2_amd64.deb, 983.46 KB)
kmplot
mathematical function plotter for KDE
(kmplot_4.8.4-2_amd64.deb, 858.96 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2.1_amd64.deb, 362.03 KB)
lbt
converts from LTL formulas to B├╝chi automata
(lbt_1.2.2-4_amd64.deb, 33.14 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-2_amd64.deb, 60.35 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4.2_amd64.deb, 59.64 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.8-4.1_amd64.deb, 141.88 KB)
libfreefem0
Shared libraries for FreeFEM
(libfreefem0_3.5.8-3_amd64.deb, 105.17 KB)
libgeomview-1.9.4
geomview library runtime
(libgeomview-1.9.4_1.9.4-1_amd64.deb, 559.89 KB)
libglpk0
linear programming kit with integer (MIP) support
(libglpk0_4.29-2_amd64.deb, 384.15 KB)
libgmsh2
Three-dimensional finite element mesh generator. Shared library
(libgmsh2_2.6.1.dfsg-4_amd64.deb, 5.07 MB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.14+dfsg-1_amd64.deb, 1000.07 KB)
liblrs0d
package to enumerate vertices and extreme rays (shared libraries)
(liblrs0d_0.42c-1+b1_amd64.deb, 39.21 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1-2_amd64.deb, 128.93 KB)
libpgapack-mpi1
General-purpose genetic algorithm package (mpi library)
(libpgapack-mpi1_1.1.1-3_amd64.deb, 126.87 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1.1-1_amd64.deb, 152.96 KB)
libpgapack-serial1
General-purpose genetic algorithm package (serial library)
(libpgapack-serial1_1.1.1-3_amd64.deb, 150.43 KB)
libplplot-ada
Ada support for PLplot, a plotting library
(libplplot-ada_5.9.5-4_amd64.deb, 161.15 KB)
libsbml5-octave
System Biology Markup Language library - Octave binding
(libsbml5-octave_5.6.0-1_amd64.deb, 135.51 KB)
libsprng2
SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-8_amd64.deb, 93.63 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-1_amd64.deb, 139.32 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-2_amd64.deb, 140.62 KB)
littler
GNU R scripting and command-line front-end
(littler_0.0.8-1_amd64.deb, 24.56 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_amd64.deb, 550.63 KB)
magnus
Computational group theory software with GUI
(magnus_20060324-5.1_amd64.deb, 3.53 MB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-2_amd64.deb, 423.77 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_14.0.6-2_amd64.deb, 17.31 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.1.1-1_amd64.deb, 26.42 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_15.1.1-1_amd64.deb, 194.62 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_15.8.2-2_amd64.deb, 682.39 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_16.0.4-1_amd64.deb, 716.07 KB)
mcrl2
the mCRL2 formal specification language toolset
(mcrl2_201007~rc1-1_amd64.deb, 13.34 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.12.dfsg-3+b1_amd64.deb, 1.52 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-4_amd64.deb, 1.54 MB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-4_amd64.deb, 89.20 KB)
octave-communications
communications package for Octave
(octave-communications_1.1.1-1_amd64.deb, 205.50 KB)
octave-financial
financial manipulation and plotting functions
(octave-financial_0.3.2-1_amd64.deb, 24.11 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-5_amd64.deb, 846.05 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.5.0-1_amd64.deb, 199.98 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.6.0-1_amd64.deb, 261.22 KB)
octave-gsl
GSL binding for Octave
(octave-gsl_1.0.8-2+b1_amd64.deb, 322.00 KB)
octave-image
image manipulation for Octave
(octave-image_1.0.15-1_amd64.deb, 306.49 KB)
octave-io
input/output data functions for Octave
(octave-io_1.0.12-1_amd64.deb, 74.06 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_2.2.0-1_amd64.deb, 97.64 KB)
octave-multicore
parallel processing on multiple cores for Octave
(octave-multicore_0.2.15-1+b1_amd64.deb, 29.38 KB)
octave-nlwing2
nonlinear lifting line for wings in Octave
(octave-nlwing2_1.1.1-3+b1_amd64.deb, 24.93 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.0.3-1_amd64.deb, 293.16 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.6.10-1_amd64.deb, 740.96 KB)
octave-openmpi-ext
Octave toolbox for parallel computing using MPI
(octave-openmpi-ext_1.0.2-2_amd64.deb, 506.11 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.0.12-1_amd64.deb, 167.43 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.3-2_amd64.deb, 24.93 KB)
octave-parallel
parallel execution of Octave in clusters of computers
(octave-parallel_2.0.1-1_amd64.deb, 102.94 KB)
octave-pfstools
octave bindings for pfstools
(octave-pfstools_1.8.1-2+b1_amd64.deb, 125.32 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.5-4_amd64.deb, 407.81 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.1.3-1_amd64.deb, 229.43 KB)
octave-sockets
communication through Internet sokects in Octave
(octave-sockets_1.0.6-1+b1_amd64.deb, 38.95 KB)
octave-sp
Semidefinite Programming functions for GNU Octave
(octave-sp_2003-10_amd64.deb, 318.57 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.1.0-1_amd64.deb, 38.72 KB)
octave-symband
symmetric banded matrices for Octave
(octave-symband_1.0.10-1+b1_amd64.deb, 109.68 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.2.4-1_amd64.deb, 103.34 KB)
octave3.0-headers
header files for the GNU Octave language (3.0 branch)
(octave3.0-headers_3.0.1-6lenny3_amd64.deb, 436.51 KB)
octave3.2
GNU Octave language for numerical computations (3.2 branch)
(octave3.2_3.2.4-8_amd64.deb, 9.69 MB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_amd64.deb, 1.79 MB)
open-axiom-graphics
open scientific computation platform: graphics subsystem
(open-axiom-graphics_1.4.1+svn~2626-2_amd64.deb, 168.49 KB)
open-axiom
open scientific computation platform
(open-axiom_1.4.1+svn~2626-2_amd64.deb, 24.84 MB)
orpie
RPN calculator for the terminal
(orpie_1.5.1-10_amd64.deb, 795.96 KB)
orpie
RPN calculator for the terminal
(orpie_1.5.1-8_amd64.deb, 783.07 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.5pl2-1_amd64.deb, 142.89 KB)
pdl
perl data language: Perl extensions for numerics
(pdl_2.4.7+dfsg-2_amd64.deb, 5.19 MB)
pgapack
General-purpose genetic algorithm package
(pgapack_1.1.1-3_amd64.deb, 135.24 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.1-2_amd64.deb, 10.90 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_amd64.deb, 10.18 KB)
polylib-utils
Various tools using libpolylib
(polylib-utils_5.22.5-3+dfsg_amd64.deb, 15.93 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_amd64.deb, 124.59 KB)
pspp
Statistical analysis tool
(pspp_0.6.2-3_amd64.deb, 2.33 MB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.3-1_amd64.deb, 620.19 KB)
qalc
Powerful and easy to use command line calculator
(qalc_0.9.7-4_amd64.deb, 111.86 KB)
qalc
Powerful and easy to use command line calculator
(qalc_0.9.7-8_amd64.deb, 109.18 KB)
qalculate-gtk
Powerful and easy to use desktop calculator - GTK+ version
(qalculate-gtk_0.9.7-1_amd64.deb, 1.25 MB)
quickplot
fast interactive 2D plotter and data viewer
(quickplot_0.10.3-1_amd64.deb, 270.71 KB)
quickplot
fast interactive 2D plotter and data viewer
(quickplot_0.8.15-2_amd64.deb, 355.49 KB)
r-base-core-dbg
GNU R debug symbols for statistical comp. language and environment
(r-base-core-dbg_2.7.1-1+lenny1_amd64.deb, 2.58 MB)
regina-normal-mpi
MPI utilities for Regina, the 3-manifold topology software
(regina-normal-mpi_4.93-1_amd64.deb, 112.19 KB)
rheolef
efficient Finite Element environment
(rheolef_6.2-1~exp1_amd64.deb, 533.02 KB)
rkward
a KDE frontend to the R statistics language
(rkward_0.5.3-2_amd64.deb, 1.08 MB)
rlplot
GUI application for generating publication quality graphs
(rlplot_1.5-2_amd64.deb, 1.00 MB)
sc
Text-based spreadsheet with VI-like keybindings
(sc_7.16-3_amd64.deb, 228.64 KB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-9_amd64.deb, 4.19 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.3.3-10_amd64.deb, 2.07 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.4.0.0-1~exp1_amd64.deb, 1.78 MB)
scilab-jims
Binds Java from the Scilab engine
(scilab-jims_1.1-1_amd64.deb, 182.09 KB)
scilab-jims
Binds Java from the Scilab engine
(scilab-jims_1.2-1~exp1_amd64.deb, 185.69 KB)
scilab-metanet
Scilab graphs and networks computations module.
(scilab-metanet_0.5-2-1~exp1_amd64.deb, 1.15 MB)
scilab-overload
Scilab toolbox to overload Scilab's macros
(scilab-overload_1.3.2-3_amd64.deb, 32.42 KB)
scilab-scimysql
Scilab interface to MySQL
(scilab-scimysql_0.1.1-5_amd64.deb, 79.40 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-1.1_amd64.deb, 322.98 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-2_amd64.deb, 334.45 KB)
sdpam
Matlab/Octave interface of SDPA
(sdpam_7.3.8+dfsg-1_amd64.deb, 912.26 KB)
spline
Akima spline interpolation
(spline_1.2-1_amd64.deb, 11.52 KB)
tachyon
Parallel/Multiprocessor Ray Tracing Software
(tachyon_0.99~b2+dfsg-0.4_amd64.deb, 126.72 KB)
wcalc
Flexible command-line scientific calculator
(wcalc_2.4-2_amd64.deb, 134.87 KB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_0.8.5-2_amd64.deb, 725.52 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-13_amd64.deb, 95.87 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-16_amd64.deb, 95.87 KB)
xmaxima
A computer algebra system -- x interface
(xmaxima_5.13.0-3.1+b1_amd64.deb, 371.72 KB)
xmaxima
A computer algebra system -- x interface
(xmaxima_5.21.1-2squeeze_amd64.deb, 369.00 KB)
yacas
Computer Algebra System
(yacas_1.2.2-5_amd64.deb, 423.50 KB)
yorick-hdf5
Hierarchical Data Format 5 interface for the Yorick language
(yorick-hdf5_0.8.0-1+b1_amd64.deb, 40.41 KB)
yorick-ml4
Matlab file format support for the Yorick language
(yorick-ml4_0.6.0-1_amd64.deb, 14.38 KB)
Results 1 - 164 of 164
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com