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

acl2
Computational Logic for Applicative Common Lisp: main binary
(acl2_4.3-3_armhf.deb, 22.32 MB)
admesh
Tool for processing triangulated solid meshes
(admesh_0.95-12_armhf.deb, 30.03 KB)
apcalc
Arbitrary precision calculator (original name: calc)
(apcalc_2.12.4.4-3_armhf.deb, 283.96 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_armhf.deb, 323.71 KB)
axiom-hypertex
General purpose computer algebra system: hypertex subsystem
(axiom-hypertex_20120501-1_armhf.deb, 204.32 KB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-31_armhf.deb, 471.87 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_armhf.deb, 602.41 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.8.4-2_armhf.deb, 55.34 KB)
cantor-backend-qalculate
Qalculate! backend for Cantor
(cantor-backend-qalculate_4.8.4-2_armhf.deb, 117.59 KB)
cantor
interface for mathematical applications
(cantor_4.8.4-2_armhf.deb, 322.33 KB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_armhf.deb, 21.76 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.0-2_armhf.deb, 1.64 MB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-2_armhf.deb, 173.71 KB)
freefem++
Provides the binaries of the FreeFem++ FE suite
(freefem++_3.19.1-1_armhf.deb, 12.97 MB)
freefem++
Provides the binaries of the FreeFem++ FE suite
(freefem++_3.20-1_armhf.deb, 12.72 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-5_armhf.deb, 3.21 MB)
gambit
game theory software and tools
(gambit_0.2010.09.01-1.1_armhf.deb, 3.50 MB)
gap-core
GAP computer algebra system, core components
(gap-core_4r4p12-2_armhf.deb, 608.59 KB)
gap-guava
Coding theory library for GAP
(gap-guava_3.6-2_armhf.deb, 2.26 MB)
geomview
interactive geometry viewing program
(geomview_1.9.4-3_armhf.deb, 3.54 MB)
gfan
Program for computing with Groebner fans
(gfan_0.3dfsg-1.1_armhf.deb, 354.60 KB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_armhf.deb, 44.06 KB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_armhf.deb, 98.60 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.45-1_armhf.deb, 142.27 KB)
gnuplot-nox
Command-line driven interactive plotting program. No-X package
(gnuplot-nox_4.6.0-8_armhf.deb, 873.75 KB)
gnuplot-nox
Command-line driven interactive plotting program. No-X package
(gnuplot-nox_4.6.1-1~exp1_armhf.deb, 933.53 KB)
grace
XY graphing and plotting tool
(grace_5.1.23-1_armhf.deb, 888.30 KB)
kalgebra
algebraic graphing calculator
(kalgebra_4.8.4-1_armhf.deb, 114.14 KB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_armhf.deb, 37.59 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.8.4-1_armhf.deb, 940.25 KB)
kcalc
simple and scientific calculator
(kcalc_4.8.4-2_armhf.deb, 164.81 KB)
kig
interactive geometry tool for KDE
(kig_4.8.4-1_armhf.deb, 1.66 MB)
libcuba3
library for multidimensional numerical integration
(libcuba3_3.0+20111124-2_armhf.deb, 263.30 KB)
libmeschach1.2
library for performing operations on matrices and vectors
(libmeschach1.2_1.2b-13_armhf.deb, 125.94 KB)
libpgapack-mpi1
General-purpose genetic algorithm package (mpi library)
(libpgapack-mpi1_1.1.1-3_armhf.deb, 105.82 KB)
libsprng2
SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-8_armhf.deb, 89.82 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-2_armhf.deb, 117.98 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_armhf.deb, 477.84 KB)
mumps-test
Example/test binaries using MUMPS
(mumps-test_4.10.0.dfsg-3_armhf.deb, 10.80 KB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-4+b1_armhf.deb, 1.39 MB)
octave-communications
communications package for Octave
(octave-communications_1.1.1-1_armhf.deb, 163.59 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_armhf.deb, 794.50 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.6.0-1_armhf.deb, 255.98 KB)
octave-gsl
GSL binding for Octave
(octave-gsl_1.0.8-5_armhf.deb, 308.08 KB)
octave-image
image manipulation for Octave
(octave-image_1.0.15-1_armhf.deb, 281.05 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_armhf.deb, 330.79 KB)
octave-java
Java objects manipulation interface for Octave
(octave-java_1.2.8-6_armhf.deb, 570.08 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.2.0-1_armhf.deb, 124.07 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.3.6-1_armhf.deb, 296.72 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.5-1_armhf.deb, 64.06 KB)
octave-openmpi-ext
Octave toolbox for parallel computing using MPI
(octave-openmpi-ext_1.0.2-2_armhf.deb, 185.64 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.9-5_armhf.deb, 481.54 KB)
octave-quaternion
quaternion package for Octave
(octave-quaternion_2.0.0-1_armhf.deb, 154.77 KB)
octave-quaternion
quaternion package for Octave
(octave-quaternion_2.0.2-1_armhf.deb, 189.54 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.1.3-1_armhf.deb, 217.52 KB)
octave-sockets
communication through Internet sockets in Octave
(octave-sockets_1.0.8-1_armhf.deb, 30.40 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.1.0-1_armhf.deb, 37.01 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.1.0-1_armhf.deb, 20.59 KB)
otter
resolution-style theorem prover
(otter_3.3f-1.1_armhf.deb, 733.93 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.7pl3-1_armhf.deb, 143.83 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_armhf.deb, 9.82 KB)
plplot-tcl-dev
Tcl/Tk development support for PLplot, a plotting library
(plplot-tcl-dev_5.9.9-5_armhf.deb, 135.87 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2.1_armhf.deb, 114.54 KB)
qalculate-gtk
Powerful and easy to use desktop calculator - GTK+ version
(qalculate-gtk_0.9.7-3_armhf.deb, 1.23 MB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.8-5+b1_armhf.deb, 3.18 MB)
rocs
graph theory IDE
(rocs_4.8.4-1_armhf.deb, 953.89 KB)
sc
Text-based spreadsheet with VI-like keybindings
(sc_7.16-3_armhf.deb, 210.41 KB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-9_armhf.deb, 3.52 MB)
scilab-scimax
Symbolic computations for Scilab based on Maxima
(scilab-scimax_2.1.4-2_armhf.deb, 320.27 KB)
scilab-sivp
Scilab Image and Video Processing toolbox
(scilab-sivp_0.5.3+svn287-2_armhf.deb, 3.79 MB)
scilab-swt
Scilab Wavelet and signal processing toolbox
(scilab-swt_0.1.0rc4-5_armhf.deb, 362.46 KB)
sdpa
High-performance package for SemiDefinite Programs
(sdpa_7.3.8+dfsg-1_armhf.deb, 264.84 KB)
sdpam
Matlab/Octave interface of SDPA
(sdpam_7.3.8+dfsg-1_armhf.deb, 598.26 KB)
tachyon
Parallel/Multiprocessor Ray Tracing Software
(tachyon_0.99~b2+dfsg-0.4_armhf.deb, 109.28 KB)
tapecalc
a full-screen tape editor that lets the user edit a calculation
(tapecalc_20070214-2_armhf.deb, 20.28 KB)
why
Software verification tool
(why_2.30+dfsg-5+b1_armhf.deb, 15.89 MB)
wzip
Lossy compression and denoising
(wzip_1.1.3_armhf.deb, 35.26 KB)
xmaxima
Computer algebra system -- x interface
(xmaxima_5.27.0-3_armhf.deb, 385.53 KB)
Results 1 - 78 of 78
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com