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

acl2-books
Computational Logic for Applicative Common Lisp: compiled libraries
(acl2-books_4.3-3_kfreebsd-i386.deb, 12.90 MB)
acl2-infix
A Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.0-3_kfreebsd-i386.deb, 379.84 KB)
acl2
Computational Logic for Applicative Common Lisp: main binary
(acl2_4.3-3_kfreebsd-i386.deb, 23.20 MB)
admesh
Tool for processing triangulated solid meshes
(admesh_0.95-12_kfreebsd-i386.deb, 32.11 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.91-2_kfreebsd-i386.deb, 454.77 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.94-2_kfreebsd-i386.deb, 1.92 MB)
aribas
interpreter for arithmetic
(aribas_1.64-5_kfreebsd-i386.deb, 189.10 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_kfreebsd-i386.deb, 343.79 KB)
axiom-graphics
General purpose computer algebra system: graphics subsystem
(axiom-graphics_20120501-1_kfreebsd-i386.deb, 261.39 KB)
axiom
General purpose computer algebra system: main binary and modules
(axiom_20120501-1_kfreebsd-i386.deb, 12.65 MB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_kfreebsd-i386.deb, 715.85 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.4.5-2_kfreebsd-i386.deb, 31.78 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.4.5-2_kfreebsd-i386.deb, 142.29 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.4.5-2_kfreebsd-i386.deb, 88.39 KB)
cvc3
An automatic theorem prover for SMT problems
(cvc3_2.2-13_kfreebsd-i386.deb, 22.80 KB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_kfreebsd-i386.deb, 23.16 KB)
dc
The GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-2_kfreebsd-i386.deb, 64.81 KB)
dc
GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-4_kfreebsd-i386.deb, 67.25 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.0-2_kfreebsd-i386.deb, 1.95 MB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-1_kfreebsd-i386.deb, 166.94 KB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-2_kfreebsd-i386.deb, 180.57 KB)
euler
interactive mathematical programming environment
(euler_1.61.0-8_kfreebsd-i386.deb, 384.69 KB)
evolver
Surface Evolver
(evolver_2.30c-2_kfreebsd-i386.deb, 761.05 KB)
evolver
Surface Evolver
(evolver_2.30c.dfsg-3_kfreebsd-i386.deb, 769.78 KB)
freefem3d
A language and solver for partial differential equations in 3D
(freefem3d_1.0pre10-2.1_kfreebsd-i386.deb, 4.45 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-5_kfreebsd-i386.deb, 3.60 MB)
gambit
game theory software and tools
(gambit_0.2010.09.01-1.1_kfreebsd-i386.deb, 4.37 MB)
genus2reduction
Conductor and Reduction Types for Genus 2 Curves
(genus2reduction_0.3-2.2_kfreebsd-i386.deb, 29.88 KB)
genus2reduction
Conductor and Reduction Types for Genus 2 Curves
(genus2reduction_0.3-2_kfreebsd-i386.deb, 29.57 KB)
geomview
interactive geometry viewing program
(geomview_1.9.4-3_kfreebsd-i386.deb, 3.57 MB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_kfreebsd-i386.deb, 108.25 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.43-1_kfreebsd-i386.deb, 136.91 KB)
glpk-utils
linear programming kit - utility files
(glpk-utils_4.45-1_kfreebsd-i386.deb, 139.98 KB)
glpk
linear programming kit
(glpk_4.45-1_kfreebsd-i386.deb, 52.04 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.4.2-1_kfreebsd-i386.deb, 134.41 KB)
gnumeric
spreadsheet application for GNOME - main program
(gnumeric_1.10.8-1squeeze5_kfreebsd-i386.deb, 2.27 MB)
gnuplot-nox
A command-line driven interactive plotting program
(gnuplot-nox_4.4.0-1.1+b1_kfreebsd-i386.deb, 971.07 KB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.0-8_kfreebsd-i386.deb, 1.10 MB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.1-1~exp1_kfreebsd-i386.deb, 1.10 MB)
gnuplot-x11
A command-line driven interactive plotting program
(gnuplot-x11_4.4.0-1.1+b1_kfreebsd-i386.deb, 681.29 KB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.0-8_kfreebsd-i386.deb, 1.01 MB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.1-1~exp1_kfreebsd-i386.deb, 1.02 MB)
grace
XY graphing and plotting tool
(grace_5.1.22-13_kfreebsd-i386.deb, 924.99 KB)
graphthing
tool to create, manipulate and study graphs
(graphthing_1.3.2-3_kfreebsd-i386.deb, 163.52 KB)
gretl
GNU Regression, Econometric & Time-Series Library
(gretl_1.9.9-1_kfreebsd-i386.deb, 2.86 MB)
gsl-bin
GNU Scientific Library (GSL) -- binary package
(gsl-bin_1.14+dfsg-1_kfreebsd-i386.deb, 28.27 KB)
hol-light
HOL Light theorem prover
(hol-light_20120602-1_kfreebsd-i386.deb, 3.59 MB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-13.1_kfreebsd-i386.deb, 11.48 MB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.3.0-1_kfreebsd-i386.deb, 1.43 MB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_kfreebsd-i386.deb, 41.17 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.4.5-2_kfreebsd-i386.deb, 907.30 KB)
kig
interactive geometry tool for KDE
(kig_4.4.5-2_kfreebsd-i386.deb, 2.08 MB)
kmplot
mathematical function plotter for KDE
(kmplot_4.8.4-2_kfreebsd-i386.deb, 974.48 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1.2_kfreebsd-i386.deb, 100.90 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4.2_kfreebsd-i386.deb, 47.90 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4_kfreebsd-i386.deb, 48.10 KB)
libfreefem-dev
Development library, header files and manpages
(libfreefem-dev_3.5.8-4.2_kfreebsd-i386.deb, 126.30 KB)
libgeomview-dev
geomview library development package
(libgeomview-dev_1.9.4-3_kfreebsd-i386.deb, 825.19 KB)
libglpk0
linear programming kit with integer (MIP) support
(libglpk0_4.43-1_kfreebsd-i386.deb, 409.38 KB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.14+dfsg-1_kfreebsd-i386.deb, 887.27 KB)
libmeschach1.2
library for performing operations on matrices and vectors
(libmeschach1.2_1.2b-13_kfreebsd-i386.deb, 139.82 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1.1-1_kfreebsd-i386.deb, 113.90 KB)
libsprng2
The SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-5_kfreebsd-i386.deb, 90.10 KB)
libsprng2
SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-8_kfreebsd-i386.deb, 96.42 KB)
lp-solve
Solve (mixed integer) linear programming problems
(lp-solve_5.5.0.13-7_kfreebsd-i386.deb, 295.70 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_kfreebsd-i386.deb, 531.10 KB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-4_kfreebsd-i386.deb, 410.79 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.1.1-1_kfreebsd-i386.deb, 25.07 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_16.0.4-1_kfreebsd-i386.deb, 710.93 KB)
mcl
the Markov Cluster algorithm
(mcl_10-148-1_kfreebsd-i386.deb, 1.34 MB)
mcrl2
the mCRL2 formal specification language toolset
(mcrl2_201007~rc1-1_kfreebsd-i386.deb, 12.96 MB)
mcrl2
formal specification language toolset
(mcrl2_201210.1-1_kfreebsd-i386.deb, 12.89 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.12.dfsg-3+b1_kfreebsd-i386.deb, 1.51 MB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-3.1_kfreebsd-i386.deb, 1.53 MB)
octave-audio
functions to work with audio files in Octave
(octave-audio_1.1.4-2+b1_kfreebsd-i386.deb, 75.08 KB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_kfreebsd-i386.deb, 29.54 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_kfreebsd-i386.deb, 783.79 KB)
octave-econometrics
econometrics functions for Octave
(octave-econometrics_1.0.8-6_kfreebsd-i386.deb, 48.86 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-2+b1_kfreebsd-i386.deb, 625.68 KB)
octave-ftp
Octave binding for ftplib, and MATLAB compatible APIs
(octave-ftp_1.0.2-4+b1_kfreebsd-i386.deb, 80.73 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.2.1-1_kfreebsd-i386.deb, 70.22 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.1-1_kfreebsd-i386.deb, 92.55 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.2-1_kfreebsd-i386.deb, 93.94 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.5.0-1_kfreebsd-i386.deb, 199.84 KB)
octave-image
image manipulation for Octave
(octave-image_1.0.12-1_kfreebsd-i386.deb, 316.31 KB)
octave-image
image manipulation for Octave
(octave-image_1.0.15-1_kfreebsd-i386.deb, 297.96 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_kfreebsd-i386.deb, 361.15 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_2.2.0-1_kfreebsd-i386.deb, 94.56 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.1.0-1_kfreebsd-i386.deb, 102.08 KB)
octave-nan
handles data with and without missing values in Octave
(octave-nan_1.0.9-2_kfreebsd-i386.deb, 88.02 KB)
octave-nlwing2
nonlinear lifting line for wings in Octave
(octave-nlwing2_1.1.1-3+b1_kfreebsd-i386.deb, 23.92 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.0.3-1_kfreebsd-i386.deb, 279.76 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.0.13-2_kfreebsd-i386.deb, 102.96 KB)
octave-parallel
parallel execution of Octave in clusters of computers
(octave-parallel_2.0.1-1_kfreebsd-i386.deb, 92.35 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.5-4_kfreebsd-i386.deb, 399.94 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.2.0-1_kfreebsd-i386.deb, 223.03 KB)
octave-sockets
communication through Internet sokects in Octave
(octave-sockets_1.0.6-1+b1_kfreebsd-i386.deb, 36.87 KB)
octave-sockets
communication through Internet sockets in Octave
(octave-sockets_1.0.8-1_kfreebsd-i386.deb, 36.63 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.1.0-1_kfreebsd-i386.deb, 37.65 KB)
octave-struct
additional structure manipulation functions for Octave
(octave-struct_1.0.10-1_kfreebsd-i386.deb, 44.66 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_kfreebsd-i386.deb, 1.77 MB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1.2_kfreebsd-i386.deb, 476.72 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.5pl9-1_kfreebsd-i386.deb, 137.10 KB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.3.5-1_kfreebsd-i386.deb, 213.57 KB)
pdl
perl data language: Perl extensions for numerics
(pdl_2.4.7+dfsg-2_kfreebsd-i386.deb, 4.89 MB)
picviz
Parallel coordinates plotter
(picviz_0.5-1_kfreebsd-i386.deb, 1.60 MB)
plotdrop
A minimal GNOME frontend to GNUPlot
(plotdrop_0.5.2-3_kfreebsd-i386.deb, 28.26 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.5-4_kfreebsd-i386.deb, 155.41 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.9-5_kfreebsd-i386.deb, 170.45 KB)
polylib-utils
Various tools using libpolylib
(polylib-utils_5.22.5-1+dfsg_kfreebsd-i386.deb, 14.92 KB)
pspp
Statistical analysis tool
(pspp_0.7.9+git20120620-1_kfreebsd-i386.deb, 3.77 MB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.12b.dfsg-2_kfreebsd-i386.deb, 93.91 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.3-1_kfreebsd-i386.deb, 546.42 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.4-5+b1_kfreebsd-i386.deb, 646.35 KB)
qalculate-kde
Powerful and easy to use desktop calculator - KDE version
(qalculate-kde_0.9.7-1+b1_kfreebsd-i386.deb, 1.32 MB)
qtoctave
Qt front-end to Octave
(qtoctave_0.10.1-3_kfreebsd-i386.deb, 3.81 MB)
r-noncran-lindsey
GNU R libraries contributed by Jim and Patrick Lindsey
(r-noncran-lindsey_1.0.20071024-1.1_kfreebsd-i386.deb, 1.08 MB)
regina-normal
software for 3-manifold topology and normal surfaces
(regina-normal_4.93-1_kfreebsd-i386.deb, 5.58 MB)
rocs
graph theory IDE
(rocs_4.4.5-2_kfreebsd-i386.deb, 178.37 KB)
rocs
graph theory IDE
(rocs_4.8.4-1_kfreebsd-i386.deb, 1.01 MB)
sc
Text-based spreadsheet with VI-like keybindings
(sc_7.16-3_kfreebsd-i386.deb, 211.15 KB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-6+b1_kfreebsd-i386.deb, 3.56 MB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-9_kfreebsd-i386.deb, 3.46 MB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-9_kfreebsd-i386.deb, 3.45 MB)
snappea
a program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-20.1_kfreebsd-i386.deb, 617.17 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.81-1_kfreebsd-i386.deb, 526.56 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-4_kfreebsd-i386.deb, 448.57 KB)
tilp2
Texas Instruments hand-helds <-> PC communication program for X
(tilp2_1.12-1_kfreebsd-i386.deb, 363.27 KB)
udav
application for data visualization based on MathGL
(udav_0.5.2-1+b2_kfreebsd-i386.deb, 259.75 KB)
wcalc
Flexible command-line scientific calculator
(wcalc_2.4-2_kfreebsd-i386.deb, 130.62 KB)
why
Software verification tool
(why_2.30+dfsg-5+b1_kfreebsd-i386.deb, 7.11 MB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_0.8.5-2_kfreebsd-i386.deb, 752.96 KB)
yorick-optimpack
optimization of large scale problems for the Yorick language
(yorick-optimpack_1.3.1+dfsg1-1_kfreebsd-i386.deb, 27.26 KB)
Results 1 - 133 of 133
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com