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

acl2-infix
A Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.0-3_mipsel.deb, 187.32 KB)
acl2
Computational Logic for Applicative Common Lisp: main binary
(acl2_4.3-3_mipsel.deb, 22.51 MB)
ann-tools
Approximate Nearest Neighbor Searching library (tools)
(ann-tools_1.1.2+doc-3_mipsel.deb, 14.68 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6-1_mipsel.deb, 586.31 KB)
axiom-hypertex
General purpose computer algebra system: hypertex subsystem
(axiom-hypertex_20120501-1_mipsel.deb, 214.64 KB)
bc
GNU bc arbitrary precision calculator language
(bc_1.06.95-4_mipsel.deb, 104.62 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.25-1_mipsel.deb, 777.69 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.4.5-2_mipsel.deb, 28.93 KB)
cantor-backend-octave
Octave backend for Cantor
(cantor-backend-octave_4.8.4-2_mipsel.deb, 40.26 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.4.5-2_mipsel.deb, 63.28 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.4.5-2_mipsel.deb, 60.28 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.8.4-2_mipsel.deb, 44.15 KB)
cantor
interface for mathematical applications
(cantor_4.8.4-2_mipsel.deb, 356.89 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.3.pl4+dfsg-2_mipsel.deb, 1.73 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.3.pl4+dfsg-2_mipsel.deb, 2.42 MB)
dc
The GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-2_mipsel.deb, 68.22 KB)
drgeo
interactive geometry software
(drgeo_1.1.0-10_mipsel.deb, 797.52 KB)
drgeo
An interactive geometry software
(drgeo_1.1.0-8_mipsel.deb, 797.62 KB)
edenmath.app
Scientific calculator for GNUstep
(edenmath.app_1.1.1a-7+b3_mipsel.deb, 33.48 KB)
edenmath.app
Scientific calculator for GNUstep
(edenmath.app_1.1.1a-7+b4_mipsel.deb, 33.93 KB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-2_mipsel.deb, 169.29 KB)
euler
interactive mathematical programming environment
(euler_1.61.0-8.1_mipsel.deb, 405.18 KB)
evolver
Surface Evolver
(evolver_2.30c.dfsg-3_mipsel.deb, 793.04 KB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-3_mipsel.deb, 4.22 MB)
gambit
game theory software and tools
(gambit_0.2010.09.01-1.1_mipsel.deb, 4.13 MB)
gap-core
GAP computer algebra system, core components
(gap-core_4r4p12-2_mipsel.deb, 686.73 KB)
gcalctool
GNOME desktop calculator
(gcalctool_5.30.2-2_mipsel.deb, 975.79 KB)
gfan
Program for computing with Groebner fans
(gfan_0.3dfsg-1.1_mipsel.deb, 395.06 KB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_mipsel.deb, 100.99 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.3-4_mipsel.deb, 114.93 KB)
gmsh
three-dimensional finite element mesh generator
(gmsh_2.4.2.dfsg-5_mipsel.deb, 3.93 MB)
gnumeric
spreadsheet application for GNOME - main program
(gnumeric_1.10.8-1squeeze5_mipsel.deb, 2.27 MB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.0-8_mipsel.deb, 1.11 MB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.0-8_mipsel.deb, 1.03 MB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.1-1~exp1_mipsel.deb, 1.04 MB)
grace
An XY plotting tool
(grace_5.1.22-8_mipsel.deb, 1.05 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_mipsel.deb, 34.22 KB)
gsl-bin
GNU Scientific Library (GSL) -- binary package
(gsl-bin_1.15+dfsg-1_mipsel.deb, 27.58 KB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-15_mipsel.deb, 7.72 MB)
hyantesite
geomatic tool to compute neighbourhood population potential
(hyantesite_1.2.1-1_mipsel.deb, 24.04 KB)
kalgebra-common
contains files common for kalgebra and kalgebramobile
(kalgebra-common_4.8.4-1_mipsel.deb, 385.67 KB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_mipsel.deb, 48.61 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2_mipsel.deb, 336.35 KB)
lbt
converts from LTL formulas to B├╝chi automata
(lbt_1.2.2-4_mipsel.deb, 30.91 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1+b1_mipsel.deb, 156.89 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-2_mipsel.deb, 46.84 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4_mipsel.deb, 46.96 KB)
libcuba3
library for multidimensional numerical integration
(libcuba3_3.0+20111124-2_mipsel.deb, 277.91 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.8-4.1_mipsel.deb, 156.17 KB)
libgeomview-dev
geomview library development package
(libgeomview-dev_1.9.4-3_mipsel.deb, 890.06 KB)
libglpk0
linear programming kit with integer (MIP) support
(libglpk0_4.45-1_mipsel.deb, 428.27 KB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.14+dfsg-1_mipsel.deb, 1.03 MB)
liblrs0d
package to enumerate vertices and extreme rays (shared libraries)
(liblrs0d_0.42c-1+b1_mipsel.deb, 36.56 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1.1-1_mipsel.deb, 119.38 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1-2_mipsel.deb, 145.05 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1.1-1_mipsel.deb, 145.33 KB)
libplplot-ada0
Ada support for PLplot, a plotting library
(libplplot-ada0_5.9.9-5_mipsel.deb, 122.70 KB)
libplplot-ada
Ada support for PLplot, a plotting library
(libplplot-ada_5.9.5-4_mipsel.deb, 152.43 KB)
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
(lrslib_0.42c-1+b1_mipsel.deb, 221.42 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_mipsel.deb, 516.76 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1_mipsel.deb, 548.54 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_16.0.4-1_mipsel.deb, 724.40 KB)
matita
interactive theorem prover
(matita_0.99.1-1_mipsel.deb, 8.94 MB)
maxima
A computer algebra system -- base system
(maxima_5.21.1-2squeeze_mipsel.deb, 8.13 MB)
maxima
Computer algebra system -- base system
(maxima_5.27.0-3_mipsel.deb, 7.90 MB)
mcl
the Markov Cluster algorithm
(mcl_10-148-1_mipsel.deb, 1.57 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-3.1_mipsel.deb, 1.51 MB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_mipsel.deb, 30.20 KB)
octave-communications
communications package for Octave
(octave-communications_1.0.10-2_mipsel.deb, 216.76 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_mipsel.deb, 792.87 KB)
octave-econometrics
econometrics functions for Octave
(octave-econometrics_1.0.8-2+b1_mipsel.deb, 46.72 KB)
octave-econometrics
econometrics functions for Octave
(octave-econometrics_1.0.8-6_mipsel.deb, 49.21 KB)
octave-financial
financial manipulation and plotting functions
(octave-financial_0.3.2-1_mipsel.deb, 24.31 KB)
octave-io
input/output data functions for Octave
(octave-io_1.0.19-1_mipsel.deb, 209.78 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_2.2.0-1_mipsel.deb, 93.03 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.0.9-1+b1_mipsel.deb, 128.61 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.1.0-1_mipsel.deb, 97.20 KB)
octave-multicore
parallel processing on multiple cores for Octave
(octave-multicore_0.2.15-1+b1_mipsel.deb, 29.32 KB)
octave-nan
handles data with and without missing values in Octave
(octave-nan_2.5.5-2_mipsel.deb, 233.60 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.1.3-1_mipsel.deb, 318.09 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.1.5-3+b1_mipsel.deb, 548.51 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.6.10-1_mipsel.deb, 778.09 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.8.2-2_mipsel.deb, 803.56 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.0.12-1_mipsel.deb, 163.68 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.0-1_mipsel.deb, 295.85 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.2-1_mipsel.deb, 297.08 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.5-4_mipsel.deb, 381.32 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-2+b1_mipsel.deb, 23.77 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.0.11-2_mipsel.deb, 204.55 KB)
octave-sockets
communication through Internet sokects in Octave
(octave-sockets_1.0.6-1+b1_mipsel.deb, 33.63 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.0.9-1_mipsel.deb, 32.61 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.0.7-2_mipsel.deb, 34.75 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_mipsel.deb, 1.54 MB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.7pl3-1_mipsel.deb, 154.29 KB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.3.5-1_mipsel.deb, 217.79 KB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.5.1-2_mipsel.deb, 163.95 KB)
pgapack
General-purpose genetic algorithm package
(pgapack_1.1.1-3_mipsel.deb, 136.65 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.5-4_mipsel.deb, 152.57 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_mipsel.deb, 119.90 KB)
pspp
Statistical analysis tool
(pspp_0.6.2-3_mipsel.deb, 2.29 MB)
pspp
Statistical analysis tool
(pspp_0.7.9+git20120620-1_mipsel.deb, 3.81 MB)
qalc
Powerful and easy to use command line calculator
(qalc_0.9.7-8_mipsel.deb, 87.04 KB)
qalculate-kde
Powerful and easy to use desktop calculator - KDE version
(qalculate-kde_0.9.7-1+b1_mipsel.deb, 1.27 MB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_mipsel.deb, 47.71 KB)
qtoctave
Qt front-end to Octave
(qtoctave_0.10.1-3_mipsel.deb, 3.74 MB)
regina-normal
3-manifold topology software with normal surface support
(regina-normal_4.6-1.1+b2_mipsel.deb, 5.81 MB)
rocs
graph theory IDE
(rocs_4.8.4-1_mipsel.deb, 1.00 MB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-9_mipsel.deb, 4.08 MB)
scigraphica-gnome
Scientific graphics and data manipulation (Gnome version)
(scigraphica-gnome_0.8.0-4_mipsel.deb, 905.62 KB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.2.2-9_mipsel.deb, 1.02 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.3.3-10_mipsel.deb, 1.08 MB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.4.0.0-1~exp1_mipsel.deb, 2.50 MB)
scilab-scimysql
A Scilab interface to MySQL
(scilab-scimysql_0.1.1-2_mipsel.deb, 511.44 KB)
scilab-sivp
Scilab Image and Video Processing toolbox
(scilab-sivp_0.5.3+svn287-2_mipsel.deb, 3.79 MB)
scilab-swt
Scilab Wavelet and signal processing toolbox
(scilab-swt_0.1.0rc4-5_mipsel.deb, 375.21 KB)
sdpa
High-performance package for SemiDefinite Programs
(sdpa_7.3.8+dfsg-1_mipsel.deb, 404.04 KB)
snappea
program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-22_mipsel.deb, 625.53 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.81-1_mipsel.deb, 512.03 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-2_mipsel.deb, 490.79 KB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.1_mipsel.deb, 1.70 MB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.2_mipsel.deb, 1.68 MB)
wcalc
A flexible command-line scientific calculator
(wcalc_2.4-1.1_mipsel.deb, 127.54 KB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_0.8.5-2_mipsel.deb, 686.64 KB)
yorick-hdf5
Hierarchical Data Format 5 interface for the Yorick language
(yorick-hdf5_0.8.0-1+b1_mipsel.deb, 36.35 KB)
Results 1 - 124 of 124
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com