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

acl2-books
Computational Logic for Applicative Common Lisp: compiled libraries
(acl2-books_4.3-3_sparc.deb, 14.84 MB)
acl2-infix
Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.3-3_sparc.deb, 211.72 KB)
acl2
Computational Logic for Applicative Common Lisp: main binary
(acl2_4.3-3_sparc.deb, 26.91 MB)
admesh
Tool for processing triangulated solid meshes
(admesh_0.95-12_sparc.deb, 31.63 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.94-2_sparc.deb, 2.25 MB)
apcalc
Arbitrary precision calculator (original name: calc)
(apcalc_2.12.4.4-3_sparc.deb, 322.44 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6-1_sparc.deb, 564.71 KB)
axiom-graphics
A general purpose computer algebra system: graphics subsystem
(axiom-graphics_20100701-1.1_sparc.deb, 240.41 KB)
axiom-graphics
General purpose computer algebra system: graphics subsystem
(axiom-graphics_20120501-1_sparc.deb, 256.74 KB)
bc
GNU bc arbitrary precision calculator language
(bc_1.06.95-4_sparc.deb, 103.37 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.4.5-2_sparc.deb, 28.81 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.4.5-2_sparc.deb, 124.79 KB)
cantor-backend-octave
Octave backend for Cantor
(cantor-backend-octave_4.8.4-2_sparc.deb, 42.11 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.4.5-2_sparc.deb, 67.38 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.8.4-2_sparc.deb, 44.71 KB)
cliquer
clique searching program
(cliquer_1.21-1_sparc.deb, 53.32 KB)
concalc
console calculator
(concalc_0.9.2-1_sparc.deb, 68.19 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.3.pl4+dfsg-2_sparc.deb, 5.17 MB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_sparc.deb, 22.41 KB)
dc
GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-4_sparc.deb, 65.50 KB)
euler
interactive mathematical programming environment
(euler_1.61.0-8_sparc.deb, 395.63 KB)
freefem++
Provides the binaries of the FreeFem++ FE suite
(freefem++_3.19.1-1_sparc.deb, 13.78 MB)
geomview
interactive geometry viewing program
(geomview_1.9.4-3_sparc.deb, 3.56 MB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_sparc.deb, 45.30 KB)
ginac-tools
Some tools for the GiNaC symbolic framework
(ginac-tools_1.5.8-1_sparc.deb, 109.00 KB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_sparc.deb, 101.60 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.4.2-1_sparc.deb, 133.89 KB)
gmsh
Three-dimensional finite element mesh generator
(gmsh_2.6.1.dfsg-4_sparc.deb, 5.04 MB)
gnumeric-plugins-extra
spreadsheet application for GNOME - additional plugins
(gnumeric-plugins-extra_1.10.8-1squeeze5_sparc.deb, 197.62 KB)
gnumeric
spreadsheet application for GNOME - main program
(gnumeric_1.10.8-1squeeze5_sparc.deb, 2.36 MB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.1-1~exp1_sparc.deb, 1.21 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_sparc.deb, 33.82 KB)
gsl-bin
GNU Scientific Library (GSL) -- binary package
(gsl-bin_1.14+dfsg-1_sparc.deb, 28.74 KB)
gsl-bin
GNU Scientific Library (GSL) -- binary package
(gsl-bin_1.15+dfsg-1_sparc.deb, 29.34 KB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-15_sparc.deb, 5.20 MB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_2.0.0-1_sparc.deb, 647.98 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.2.0-1_sparc.deb, 1.35 MB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.3.0-1_sparc.deb, 1.40 MB)
k3dsurf
tool for mathematical surfaces
(k3dsurf_0.6.2.4-1_sparc.deb, 1.40 MB)
kalgebra-common
contains files common for kalgebra and kalgebramobile
(kalgebra-common_4.8.4-1_sparc.deb, 386.12 KB)
kalgebramobile
algebraic graphing calculator for small touch based interfaces
(kalgebramobile_4.8.4-1_sparc.deb, 30.92 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200806a-1_sparc.deb, 337.73 KB)
lbt
converts from LTL formulas to B├╝chi automata
(lbt_1.2.2-4_sparc.deb, 30.33 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4.2_sparc.deb, 54.03 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4_sparc.deb, 54.44 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.8-4.2_sparc.deb, 139.99 KB)
libgeomview-1.9.4
geomview library runtime
(libgeomview-1.9.4_1.9.4-1_sparc.deb, 523.93 KB)
libglpk0
linear programming kit with integer (MIP) support
(libglpk0_4.43-1_sparc.deb, 437.60 KB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.14+dfsg-1_sparc.deb, 1.00 MB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs100321-1_sparc.deb, 58.75 KB)
liblrs0d
package to enumerate vertices and extreme rays (shared libraries)
(liblrs0d_0.42c-1+b1_sparc.deb, 36.43 KB)
liblrs0d
package to enumerate vertices and extreme rays (shared libraries)
(liblrs0d_0.42c-1_sparc.deb, 34.99 KB)
libplplot-ada
Ada support for PLplot, a plotting library
(libplplot-ada_5.9.5-4_sparc.deb, 156.67 KB)
lp-solve
Solve (mixed integer) linear programming problems
(lp-solve_5.5.0.13-7_sparc.deb, 297.67 KB)
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
(lrslib_0.42c-1_sparc.deb, 191.05 KB)
mandelbulber
3D fractal renderer and animator
(mandelbulber_1.11-1_sparc.deb, 1.01 MB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-4_sparc.deb, 373.92 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_15.8.2-2_sparc.deb, 681.92 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_16.0.4-1_sparc.deb, 719.11 KB)
matita
interactive theorem prover
(matita_0.5.8-2+b1_sparc.deb, 5.68 MB)
maxima
A computer algebra system -- base system
(maxima_5.21.1-2squeeze_sparc.deb, 10.10 MB)
maxima
Computer algebra system -- base system
(maxima_5.27.0-3_sparc.deb, 10.62 MB)
mcl
the Markov Cluster algorithm
(mcl_10-148-1_sparc.deb, 1.37 MB)
mona
a theorem prover based on automata
(mona_1.4-13-1_sparc.deb, 405.25 KB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.12.dfsg-3+b1_sparc.deb, 1.55 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-3.1_sparc.deb, 1.50 MB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_sparc.deb, 29.29 KB)
octave-financial
financial manipulation and plotting functions
(octave-financial_0.3.2-1_sparc.deb, 24.75 KB)
octave-gsl
GSL binding for Octave
(octave-gsl_1.0.8-5_sparc.deb, 306.14 KB)
octave-image
image manipulation for Octave
(octave-image_1.0.12-1_sparc.deb, 320.76 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_sparc.deb, 346.01 KB)
octave-io
input/output data functions for Octave
(octave-io_1.0.19-1_sparc.deb, 204.95 KB)
octave-java
Java objects manipulation interface for Octave
(octave-java_1.2.8-6_sparc.deb, 568.84 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.2.0-1_sparc.deb, 212.83 KB)
octave-nan
handles data with and without missing values in Octave
(octave-nan_1.0.9-2_sparc.deb, 88.98 KB)
octave-nlwing2
nonlinear lifting line for wings in Octave
(octave-nlwing2_1.1.1-3+b1_sparc.deb, 23.86 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.0.3-1_sparc.deb, 285.68 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.3.6-1_sparc.deb, 339.17 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.1.3-1_sparc.deb, 318.82 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.5-1_sparc.deb, 68.53 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.1.5-3+b1_sparc.deb, 542.73 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.2.0-3_sparc.deb, 449.51 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.8.2-2_sparc.deb, 801.01 KB)
octave-openmpi-ext
Octave toolbox for parallel computing using MPI
(octave-openmpi-ext_1.0.2-1_sparc.deb, 425.80 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.0-1_sparc.deb, 293.13 KB)
octave-parallel
parallel execution of Octave in clusters of computers
(octave-parallel_2.0.1-1_sparc.deb, 95.91 KB)
octave-pdb
process files from protein databank in Octave
(octave-pdb_1.0.7-2+b1_sparc.deb, 47.49 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-4_sparc.deb, 24.66 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-2+b1_sparc.deb, 107.85 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.0.11-2_sparc.deb, 203.76 KB)
octave-sockets
communication through Internet sockets in Octave
(octave-sockets_1.0.8-1_sparc.deb, 32.57 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.0.9-1_sparc.deb, 33.84 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.1.0-1_sparc.deb, 37.38 KB)
octave3.2
GNU Octave language for numerical computations (3.2 branch)
(octave3.2_3.2.4-8_sparc.deb, 9.07 MB)
octave
GNU Octave language for numerical computations
(octave_3.6.2-5_sparc.deb, 1.60 MB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_sparc.deb, 1.60 MB)
otter
resolution-style theorem prover
(otter_3.3f-1.1_sparc.deb, 747.57 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.5pl9-1_sparc.deb, 141.57 KB)
pdl
perl data language: Perl extensions for numerics
(pdl_2.4.7+dfsg-2_sparc.deb, 5.04 MB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_sparc.deb, 9.91 KB)
picviz
Parallel coordinates plotter
(picviz_0.5-1+b1_sparc.deb, 1.61 MB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.9-5_sparc.deb, 159.29 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.12b.dfsg-1.1_sparc.deb, 82.97 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.8a.dfsg-2_sparc.deb, 482.12 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.3-1_sparc.deb, 593.11 KB)
qalculate-gtk
Powerful and easy to use desktop calculator - GTK+ version
(qalculate-gtk_0.9.7-1_sparc.deb, 1.25 MB)
qalculate-kde
Powerful and easy to use desktop calculator - KDE version
(qalculate-kde_0.9.7-1+b1_sparc.deb, 1.31 MB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-1_sparc.deb, 45.10 KB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8-1_sparc.deb, 2.49 MB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.9-1_sparc.deb, 3.61 MB)
regina-normal
3-manifold topology software with normal surface support
(regina-normal_4.6-1.1+b2_sparc.deb, 6.09 MB)
rheolef
efficient Finite Element environment
(rheolef_6.2-1~exp1_sparc.deb, 485.01 KB)
rkward
a KDE frontend to the R statistics language
(rkward_0.5.3-2_sparc.deb, 1.06 MB)
rlplot
GUI application for generating publication quality graphs
(rlplot_1.5-2_sparc.deb, 991.48 KB)
sc
Text-based spreadsheet with VI-like keybindings
(sc_7.16-3_sparc.deb, 222.21 KB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-6+b1_sparc.deb, 4.27 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.2.2-9_sparc.deb, 1.39 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.3.3-10_sparc.deb, 1.84 MB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.4.0.0-1~exp1_sparc.deb, 1.59 MB)
scilab-include
Scientific software package for numerical computations (include files)
(scilab-include_5.2.2-9_sparc.deb, 87.78 KB)
scilab-swt
Scilab Wavelet and signal processing toolbox
(scilab-swt_0.1.0rc4-5_sparc.deb, 373.35 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-1.1_sparc.deb, 297.64 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.8a.dfsg-2_sparc.deb, 694.19 KB)
sdpa
High-performance package for SemiDefinite Programs
(sdpa_7.3.8+dfsg-1_sparc.deb, 384.01 KB)
singular
A commutative algebra system
(singular_3-0-4-3.dfsg-3.1_sparc.deb, 3.05 MB)
snappea
program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-22_sparc.deb, 609.52 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.90-3_sparc.deb, 544.14 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-2_sparc.deb, 523.00 KB)
spline
Akima spline interpolation
(spline_1.2-1_sparc.deb, 11.56 KB)
tachyon
Parallel/Multiprocessor Ray Tracing Software
(tachyon_0.99~b2+dfsg-0.4_sparc.deb, 118.58 KB)
why
A software verification tool
(why_2.26+dfsg-2+squeeze1_sparc.deb, 8.22 MB)
yacas
Computer Algebra System
(yacas_1.2.2-5_sparc.deb, 422.48 KB)
yorick-optimpack
optimization of large scale problems for the Yorick language
(yorick-optimpack_1.3.1+dfsg1-1_sparc.deb, 28.24 KB)
Results 1 - 133 of 133
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com