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_armel.deb, 32.64 MB)
acl2-books
Computational Logic for Applicative Common Lisp: compiled libraries
(acl2-books_4.3-3_armel.deb, 36.22 MB)
acl2-infix
A Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.0-3_armel.deb, 383.74 KB)
acl2-infix
Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.3-3_armel.deb, 368.90 KB)
acl2
A Computational Logic for Applicative Common Lisp: main binary
(acl2_4.0-3_armel.deb, 22.43 MB)
acl2
Computational Logic for Applicative Common Lisp: main binary
(acl2_4.3-3_armel.deb, 23.37 MB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.91-2_armel.deb, 162.61 KB)
apcalc
Arbitrary precision calculator (original name: calc)
(apcalc_2.12.4.4-3_armel.deb, 303.56 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6-1_armel.deb, 567.25 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_armel.deb, 335.53 KB)
axiom-hypertex
General purpose computer algebra system: hypertex subsystem
(axiom-hypertex_20120501-1_armel.deb, 212.28 KB)
axiom
A general purpose computer algebra system: main binary and modules
(axiom_20100701-1.1_armel.deb, 36.93 MB)
axiom
General purpose computer algebra system: main binary and modules
(axiom_20120501-1_armel.deb, 35.26 MB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-31_armel.deb, 512.15 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.8.4-2_armel.deb, 18.52 KB)
cantor-backend-qalculate
Qalculate! backend for Cantor
(cantor-backend-qalculate_4.8.4-2_armel.deb, 130.18 KB)
circlepack
creation and display of circle packings
(circlepack_5.1-7_armel.deb, 465.94 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.2.pl2+dfsg-1_armel.deb, 3.50 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.4dfsg-2_armel.deb, 922.84 KB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_armel.deb, 23.32 KB)
dc
The GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-2_armel.deb, 65.47 KB)
dicelab
evaluate the statistical distribution of dice rolls
(dicelab_0.7-1_armel.deb, 219.00 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.0-2_armel.deb, 1.79 MB)
freefem++
Provides the binaries of the FreeFem++ FE suite
(freefem++_3.20-1_armel.deb, 13.86 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-3_armel.deb, 4.19 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-5_armel.deb, 4.05 MB)
galculator
A GTK+ 2.0 based calculator
(galculator_1.3.4-1_armel.deb, 129.75 KB)
gap-core
GAP computer algebra system, core components
(gap-core_4r4p12-2_armel.deb, 641.82 KB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_armel.deb, 43.31 KB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_armel.deb, 103.05 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.43-1_armel.deb, 137.58 KB)
glpk
linear programming kit
(glpk_4.43-1_armel.deb, 51.21 KB)
glpk
linear programming kit
(glpk_4.45-1_armel.deb, 52.07 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.4.2-1_armel.deb, 136.22 KB)
gmsh
three-dimensional finite element mesh generator
(gmsh_2.4.2.dfsg-5_armel.deb, 3.80 MB)
gnumeric-plugins-extra
spreadsheet application for GNOME - additional plugins
(gnumeric-plugins-extra_1.10.17-1.1_armel.deb, 207.70 KB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.0-8_armel.deb, 1.16 MB)
grace
XY graphing and plotting tool
(grace_5.1.23-1_armel.deb, 941.83 KB)
gretl
GNU Regression, Econometric & Time-Series Library
(gretl_1.9.9-1_armel.deb, 2.85 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_armel.deb, 36.08 KB)
gsl-bin
GNU Scientific Library (GSL) -- binary package
(gsl-bin_1.15+dfsg-1_armel.deb, 29.16 KB)
hol88-library
Higher Order Logic, binary library modules
(hol88-library_2.02.19940316-13.1_armel.deb, 4.33 MB)
hol88-library
Higher Order Logic, binary library modules
(hol88-library_2.02.19940316-15_armel.deb, 4.51 MB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-15_armel.deb, 11.82 MB)
k3dsurf
tool for mathematical surfaces
(k3dsurf_0.6.2.4-1_armel.deb, 1.41 MB)
kalgebra-common
contains files common for kalgebra and kalgebramobile
(kalgebra-common_4.8.4-1_armel.deb, 386.32 KB)
kalgebra
algebraic graphing calculator for KDE
(kalgebra_4.4.5-2_armel.deb, 363.04 KB)
kalgebra
algebraic graphing calculator
(kalgebra_4.8.4-1_armel.deb, 123.50 KB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_armel.deb, 49.24 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.4.5-2_armel.deb, 871.49 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.8.4-1_armel.deb, 950.02 KB)
kcalc
simple and scientific calculator
(kcalc_4.8.4-2_armel.deb, 175.88 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2_armel.deb, 331.00 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1.2_armel.deb, 149.04 KB)
libcuba3
library for multidimensional numerical integration
(libcuba3_3.0+20111124-2_armel.deb, 305.46 KB)
libglpk0
linear programming kit with integer (MIP) support
(libglpk0_4.43-1_armel.deb, 429.37 KB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs100321-1_armel.deb, 62.06 KB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs110121-1.1_armel.deb, 55.86 KB)
libpgapack-serial1
General-purpose genetic algorithm package (serial library)
(libpgapack-serial1_1.1.1-3_armel.deb, 140.69 KB)
libsbml5-octave
System Biology Markup Language library - Octave binding
(libsbml5-octave_5.6.0-1_armel.deb, 130.22 KB)
libsprng2
The SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-5_armel.deb, 91.58 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-2_armel.deb, 127.43 KB)
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
(lrslib_0.42c-1+b1_armel.deb, 210.34 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_armel.deb, 501.00 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1_armel.deb, 503.51 KB)
magnus
Computational group theory software with GUI
(magnus_20060324-5.2_armel.deb, 3.60 MB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-4_armel.deb, 360.63 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.1.1-1_armel.deb, 27.29 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.8.2-2_armel.deb, 44.54 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_15.1.1-1_armel.deb, 198.36 KB)
maxima
A computer algebra system -- base system
(maxima_5.21.1-2squeeze_armel.deb, 9.41 MB)
mcrl2
the mCRL2 formal specification language toolset
(mcrl2_201007~rc1-1_armel.deb, 12.35 MB)
mcrl2
formal specification language toolset
(mcrl2_201202.0-2+b1_armel.deb, 10.88 MB)
ministat
a simple tool for statistical comparison of data sets
(ministat_20100628-1_armel.deb, 15.42 KB)
mona
a theorem prover based on automata
(mona_1.4-13-1_armel.deb, 401.12 KB)
mumps-test
Example/test binaries using MUMPS
(mumps-test_4.10.0.dfsg-3_armel.deb, 11.44 KB)
octave-ann
octave binding to the approximate nearest neighbors library
(octave-ann_1.0.2+dfsg-2+b1_armel.deb, 125.08 KB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-4_armel.deb, 88.74 KB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_armel.deb, 30.11 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_armel.deb, 798.97 KB)
octave-financial
financial manipulation and plotting functions
(octave-financial_0.3.2-1_armel.deb, 24.65 KB)
octave-ftp
Octave binding for ftplib, and MATLAB compatible APIs
(octave-ftp_1.0.2-4+b1_armel.deb, 74.85 KB)
octave-io
input/output data functions for Octave
(octave-io_1.0.12-1_armel.deb, 76.88 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.1.0-1_armel.deb, 101.53 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.0.13-2_armel.deb, 102.11 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.5-1_armel.deb, 66.78 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.1.5-3+b1_armel.deb, 545.18 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.2.0-3_armel.deb, 450.44 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.0-1_armel.deb, 292.17 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.2-2+b1_armel.deb, 38.95 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.3-2_armel.deb, 24.22 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.5-4_armel.deb, 391.19 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.9-5_armel.deb, 489.24 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-2+b1_armel.deb, 25.04 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-2+b1_armel.deb, 109.94 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-4_armel.deb, 119.13 KB)
octave-sockets
communication through Internet sokects in Octave
(octave-sockets_1.0.6-1+b1_armel.deb, 36.70 KB)
octave-sockets
communication through Internet sockets in Octave
(octave-sockets_1.0.8-1_armel.deb, 31.69 KB)
octave-sp
Semidefinite Programming functions for GNU Octave
(octave-sp_2003-10_armel.deb, 322.43 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.1.0-1_armel.deb, 21.70 KB)
octave-symbolic
symbolic package for Octave
(octave-symbolic_1.0.9-2_armel.deb, 227.76 KB)
otter
resolution-style theorem prover
(otter_3.3f-1.1_armel.deb, 745.62 KB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1.2_armel.deb, 476.42 KB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1_armel.deb, 483.33 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.7pl3-1_armel.deb, 151.22 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.1-2_armel.deb, 10.66 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_armel.deb, 9.92 KB)
picviz
Parallel coordinates plotter
(picviz_0.5-1_armel.deb, 1.62 MB)
plotdrop
A minimal GNOME frontend to GNUPlot
(plotdrop_0.5.2-3_armel.deb, 30.76 KB)
plotutils
GNU plotutils command line tools based on libplot
(plotutils_2.6-3_armel.deb, 652.41 KB)
plplot-tcl-dev
Tcl/Tk development support for PLplot, a plotting library
(plplot-tcl-dev_5.9.9-5_armel.deb, 133.89 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.9-5_armel.deb, 167.90 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_armel.deb, 116.83 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.12b.dfsg-2_armel.deb, 105.12 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-1_armel.deb, 46.54 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_armel.deb, 46.58 KB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.8-5+b1_armel.deb, 3.46 MB)
qtoctave
A Qt front-end to Octave
(qtoctave_0.9.2+svn255-1_armel.deb, 3.83 MB)
quickplot
fast interactive 2D plotter and data viewer
(quickplot_0.10.3-1_armel.deb, 396.53 KB)
regina-normal
software for 3-manifold topology and normal surfaces
(regina-normal_4.93-1_armel.deb, 5.27 MB)
rkward
a KDE frontend to the R statistics language
(rkward_0.5.3-2_armel.deb, 1.05 MB)
rocs
graph theory IDE
(rocs_4.8.4-1_armel.deb, 1.02 MB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-9_armel.deb, 3.88 MB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-6+b1_armel.deb, 4.35 MB)
scilab-jims
Binds Java from the Scilab engine
(scilab-jims_1.1-1_armel.deb, 165.55 KB)
scilab-jims
Binds Java from the Scilab engine
(scilab-jims_1.2-1~exp1_armel.deb, 171.77 KB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.3.3-10_armel.deb, 2.69 MB)
scilab-scimysql
Scilab interface to MySQL
(scilab-scimysql_0.1.1-5_armel.deb, 75.02 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-1.1_armel.deb, 354.71 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-2_armel.deb, 365.54 KB)
singular
A commutative algebra system
(singular_3-0-4-3.dfsg-3.1+b1_armel.deb, 2.96 MB)
singular
A commutative algebra system
(singular_3-0-4-3.dfsg-3.1_armel.deb, 2.99 MB)
spline
Akima spline interpolation
(spline_1.2-1_armel.deb, 13.32 KB)
tiemu-skinedit
skin editor for TiEmu
(tiemu-skinedit_1.27-2_armel.deb, 48.29 KB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.1_armel.deb, 1.69 MB)
udav
application for data visualization based on MathGL
(udav_0.5.2-1+b1_armel.deb, 263.03 KB)
why
Software verification tool
(why_2.30+dfsg-5_armel.deb, 11.17 MB)
wzip
Lossy compression and denoising
(wzip_1.1.3_armel.deb, 38.15 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-13_armel.deb, 99.11 KB)
yorick-ml4
Matlab file format support for the Yorick language
(yorick-ml4_0.6.0-1_armel.deb, 13.20 KB)
yorick-optimpack
optimization of large scale problems for the Yorick language
(yorick-optimpack_1.3.1+dfsg1-1_armel.deb, 30.63 KB)
Results 1 - 141 of 141
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com