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_kfreebsd-amd64.deb, 36.66 MB)
acl2
A Computational Logic for Applicative Common Lisp: main binary
(acl2_4.0-3_kfreebsd-amd64.deb, 25.00 MB)
admesh
Tool for processing triangulated solid meshes
(admesh_0.95-12_kfreebsd-amd64.deb, 32.58 KB)
admesh
a tool for processing triangulated solid meshes
(admesh_0.95-7_kfreebsd-amd64.deb, 32.81 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.91-2_kfreebsd-amd64.deb, 591.27 KB)
ann-tools
Approximate Nearest Neighbor Searching library (tools)
(ann-tools_1.1.2+doc-3_kfreebsd-amd64.deb, 14.72 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6-1_kfreebsd-amd64.deb, 577.96 KB)
axiom
A general purpose computer algebra system: main binary and modules
(axiom_20100701-1.1_kfreebsd-amd64.deb, 41.19 MB)
bc
The GNU bc arbitrary precision calculator language
(bc_1.06.95-2_kfreebsd-amd64.deb, 107.75 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_kfreebsd-amd64.deb, 719.14 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.8.4-2_kfreebsd-amd64.deb, 73.94 KB)
cantor-backend-octave
Octave backend for Cantor
(cantor-backend-octave_4.8.4-2_kfreebsd-amd64.deb, 50.35 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.8.4-2_kfreebsd-amd64.deb, 57.99 KB)
cliquer
clique searching program
(cliquer_1.21-1_kfreebsd-amd64.deb, 53.77 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb, 14.64 MB)
cuba-partview
partition viewer for the Cuba library
(cuba-partview_3.0+20111124-2_kfreebsd-amd64.deb, 23.54 KB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_kfreebsd-amd64.deb, 22.92 KB)
dc
The GNU dc arbitrary precision reverse-polish calculator
(dc_1.06.95-2_kfreebsd-amd64.deb, 68.40 KB)
dicelab
evaluate the statistical distribution of dice rolls
(dicelab_0.7-1_kfreebsd-amd64.deb, 220.33 KB)
drgeo
interactive geometry software
(drgeo_1.1.0-10_kfreebsd-amd64.deb, 808.12 KB)
dynare
suite for non-linear models with forward looking variables
(dynare_4.1.2-2_kfreebsd-amd64.deb, 1.40 MB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.1-1_kfreebsd-amd64.deb, 1.95 MB)
edenmath.app
Scientific calculator for GNUstep
(edenmath.app_1.1.1a-7+b1_kfreebsd-amd64.deb, 33.47 KB)
edenmath.app
Scientific calculator for GNUstep
(edenmath.app_1.1.1a-7+b3_kfreebsd-amd64.deb, 34.13 KB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-1_kfreebsd-amd64.deb, 188.42 KB)
euler
interactive mathematical programming environment
(euler_1.61.0-8.1_kfreebsd-amd64.deb, 436.88 KB)
evolver
Surface Evolver
(evolver_2.30c-2_kfreebsd-amd64.deb, 992.83 KB)
evolver
Surface Evolver
(evolver_2.30c.dfsg-3_kfreebsd-amd64.deb, 971.72 KB)
freefem3d
A language and solver for partial differential equations in 3D
(freefem3d_1.0pre10-2.1_kfreebsd-amd64.deb, 4.50 MB)
gap-core
GAP computer algebra system, core components
(gap-core_4r4p12-2_kfreebsd-amd64.deb, 709.62 KB)
gcalctool
GNOME desktop calculator
(gcalctool_5.30.2-2_kfreebsd-amd64.deb, 943.93 KB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_kfreebsd-amd64.deb, 46.98 KB)
ggobi
Data visualization system for high-dimensional data
(ggobi_2.1.10-4_kfreebsd-amd64.deb, 1.26 MB)
ginac-tools
Some tools for the GiNaC symbolic framework
(ginac-tools_1.5.8-1_kfreebsd-amd64.deb, 111.61 KB)
glpk
linear programming kit
(glpk_4.43-1_kfreebsd-amd64.deb, 51.21 KB)
gmp-ecm
Factor integers using the Elliptic Curve Method
(gmp-ecm_6.3-4_kfreebsd-amd64.deb, 115.13 KB)
gmsh
three-dimensional finite element mesh generator
(gmsh_2.4.2.dfsg-5_kfreebsd-amd64.deb, 3.46 MB)
gnuplot-nox
Command-line driven interactive plotting program. No-X package
(gnuplot-nox_4.6.1-1~exp1_kfreebsd-amd64.deb, 961.44 KB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.0-8_kfreebsd-amd64.deb, 1.15 MB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.0-8_kfreebsd-amd64.deb, 1.06 MB)
grace
XY graphing and plotting tool
(grace_5.1.22-13_kfreebsd-amd64.deb, 947.59 KB)
grace
An XY plotting tool
(grace_5.1.22-8_kfreebsd-amd64.deb, 1.02 MB)
gretl
The GNU Regression, Econometric & Time-Series Library
(gretl_1.9.1-2_kfreebsd-amd64.deb, 2.54 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_kfreebsd-amd64.deb, 41.71 KB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3_kfreebsd-amd64.deb, 40.58 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_2.0.0-1_kfreebsd-amd64.deb, 649.43 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.2.0-1_kfreebsd-amd64.deb, 1.42 MB)
kbruch
fraction learning aid for KDE
(kbruch_4.8.4-1_kfreebsd-amd64.deb, 988.57 KB)
kig
interactive geometry tool for KDE
(kig_4.4.5-2_kfreebsd-amd64.deb, 2.08 MB)
kmplot
mathematical function plotter for KDE
(kmplot_4.4.5-2_kfreebsd-amd64.deb, 1.05 MB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2.1_kfreebsd-amd64.deb, 363.47 KB)
lbt
converts from LTL formulas to B├╝chi automata
(lbt_1.2.2-4_kfreebsd-amd64.deb, 33.11 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1.2_kfreebsd-amd64.deb, 116.62 KB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-4.2_kfreebsd-amd64.deb, 47.40 KB)
libcuba3
library for multidimensional numerical integration
(libcuba3_3.0+20111124-2_kfreebsd-amd64.deb, 271.64 KB)
libgeomview-dev
geomview library development package
(libgeomview-dev_1.9.4-3_kfreebsd-amd64.deb, 852.72 KB)
libglpk0
linear programming kit with integer (MIP) support
(libglpk0_4.45-1_kfreebsd-amd64.deb, 435.17 KB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs100321-1_kfreebsd-amd64.deb, 58.77 KB)
libpgapack-mpi1
A general-purpose genetic algorithm package
(libpgapack-mpi1_1.1.1-1_kfreebsd-amd64.deb, 128.97 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1.1-1_kfreebsd-amd64.deb, 152.87 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-2_kfreebsd-amd64.deb, 140.24 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1_kfreebsd-amd64.deb, 541.29 KB)
mandelbulber
3D fractal renderer and animator
(mandelbulber_1.11-1_kfreebsd-amd64.deb, 1022.81 KB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-4_kfreebsd-amd64.deb, 429.20 KB)
matita
interactive theorem prover
(matita_0.99.1-1_kfreebsd-amd64.deb, 3.91 MB)
mcl
the Markov Cluster algorithm
(mcl_10-148-1_kfreebsd-amd64.deb, 1.52 MB)
ministat
a simple tool for statistical comparison of data sets
(ministat_20100628-1_kfreebsd-amd64.deb, 13.71 KB)
mumps-test
Example/test binaries using MUMPS
(mumps-test_4.10.0.dfsg-3_kfreebsd-amd64.deb, 9.92 KB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-4_kfreebsd-amd64.deb, 1.55 MB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_kfreebsd-amd64.deb, 30.11 KB)
octave-communications
communications package for Octave
(octave-communications_1.1.1-1_kfreebsd-amd64.deb, 210.78 KB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.3.52-1_kfreebsd-amd64.deb, 1.02 MB)
octave-control
control functions for Octave from Octave-Forge
(octave-control_2.4.1-1_kfreebsd-amd64.deb, 787.45 KB)
octave-econometrics
econometrics functions for Octave
(octave-econometrics_1.0.8-2+b1_kfreebsd-amd64.deb, 47.67 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-5_kfreebsd-amd64.deb, 845.70 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.2-1_kfreebsd-amd64.deb, 100.17 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.5.0-1_kfreebsd-amd64.deb, 199.21 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_kfreebsd-amd64.deb, 363.94 KB)
octave-io
input/output data functions for Octave
(octave-io_1.0.19-1_kfreebsd-amd64.deb, 215.68 KB)
octave-linear-algebra
additional linear-algebra functions for Octave
(octave-linear-algebra_1.0.8-1+b1_kfreebsd-amd64.deb, 80.28 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.0.9-1+b1_kfreebsd-amd64.deb, 136.95 KB)
octave-nan
handles data with and without missing values in Octave
(octave-nan_1.0.9-2_kfreebsd-amd64.deb, 88.66 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.0.3-1_kfreebsd-amd64.deb, 293.86 KB)
octave-ocs
circuit simulator for Octave
(octave-ocs_0.1.0-2_kfreebsd-amd64.deb, 310.94 KB)
octave-octcdf
NetCDF data files interface for Octave
(octave-octcdf_1.1.5-1_kfreebsd-amd64.deb, 77.78 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.1.5-3+b1_kfreebsd-amd64.deb, 541.85 KB)
octave-octgpr
functions to smooth and interpolate scattered data in Octave
(octave-octgpr_1.2.0-3_kfreebsd-amd64.deb, 465.24 KB)
octave-odepkg
solve differential equations and initial value problems in Octave
(octave-odepkg_0.8.2-2_kfreebsd-amd64.deb, 760.97 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.0.12-1_kfreebsd-amd64.deb, 168.01 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.0-1_kfreebsd-amd64.deb, 291.56 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.2-2+b1_kfreebsd-amd64.deb, 40.15 KB)
octave-pfstools
octave bindings for pfstools
(octave-pfstools_1.8.5-1_kfreebsd-amd64.deb, 127.19 KB)
octave-plplot
Octave support for PLplot, a plotting library
(octave-plplot_5.9.9-5_kfreebsd-amd64.deb, 500.21 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-2+b1_kfreebsd-amd64.deb, 24.17 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-4_kfreebsd-amd64.deb, 122.62 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.1.3-1_kfreebsd-amd64.deb, 220.62 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.0.7-2_kfreebsd-amd64.deb, 34.75 KB)
octave-strings
additional string manipulation functions for Octave
(octave-strings_1.1.0-1_kfreebsd-amd64.deb, 21.95 KB)
octave-struct
additional structure manipulation functions for Octave
(octave-struct_1.0.10-1_kfreebsd-amd64.deb, 52.26 KB)
octave-symband
symmetric banded matrices for Octave
(octave-symband_1.0.10-1+b1_kfreebsd-amd64.deb, 110.06 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.2-5_kfreebsd-amd64.deb, 1.78 MB)
open-axiom-graphics
open scientific computation platform: graphics subsystem
(open-axiom-graphics_1.4.1+svn~2626-2_kfreebsd-amd64.deb, 168.26 KB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1.2_kfreebsd-amd64.deb, 479.92 KB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1_kfreebsd-amd64.deb, 457.22 KB)
pdl
perl data language: Perl extensions for numerics
(pdl_2.4.7+dfsg-2_kfreebsd-amd64.deb, 5.19 MB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_kfreebsd-amd64.deb, 10.21 KB)
picviz
Parallel coordinates plotter
(picviz_0.5-1_kfreebsd-amd64.deb, 1.61 MB)
plotdrop
A minimal GNOME frontend to GNUPlot
(plotdrop_0.5.2-3_kfreebsd-amd64.deb, 29.12 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.5-4_kfreebsd-amd64.deb, 171.97 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2.1_kfreebsd-amd64.deb, 125.58 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_kfreebsd-amd64.deb, 124.28 KB)
pspp
Statistical analysis tool
(pspp_0.6.2-3_kfreebsd-amd64.deb, 2.31 MB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.8a.dfsg-2_kfreebsd-amd64.deb, 554.19 KB)
pyxplot
data plotting program producing publication-quality output
(pyxplot_0.8.3-1_kfreebsd-amd64.deb, 619.42 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_kfreebsd-amd64.deb, 48.92 KB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.8-5+b1_kfreebsd-amd64.deb, 3.63 MB)
qtoctave
A Qt front-end to Octave
(qtoctave_0.9.2+svn255-1_kfreebsd-amd64.deb, 3.81 MB)
r-bioc-hilbertvis
GNU R package to visualise long vector data
(r-bioc-hilbertvis_1.5.0-2_kfreebsd-amd64.deb, 79.62 KB)
r-noncran-lindsey
GNU R libraries contributed by Jim and Patrick Lindsey
(r-noncran-lindsey_1.0.20071024-1.1_kfreebsd-amd64.deb, 1.11 MB)
rheolef
efficient Finite Element environment
(rheolef_6.1-2.1_kfreebsd-amd64.deb, 488.54 KB)
rkward
a KDE frontend to the R statistics language
(rkward_0.5.3-2_kfreebsd-amd64.deb, 1.23 MB)
rocs
graph theory IDE
(rocs_4.8.4-1_kfreebsd-amd64.deb, 1022.53 KB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-9_kfreebsd-amd64.deb, 4.19 MB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-6+b1_kfreebsd-amd64.deb, 4.34 MB)
scalapack-pvm-test
Scalable Linear Algebra Package - Test files for PVM
(scalapack-pvm-test_1.8.0-9_kfreebsd-amd64.deb, 4.19 MB)
sdpa
High-performance package for SemiDefinite Programs
(sdpa_7.3.8+dfsg-1_kfreebsd-amd64.deb, 383.82 KB)
sdpam
Matlab/Octave interface of SDPA
(sdpam_7.3.8+dfsg-1_kfreebsd-amd64.deb, 827.13 KB)
snappea
program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-22_kfreebsd-amd64.deb, 620.46 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.81-1_kfreebsd-amd64.deb, 532.95 KB)
socnetv
social network analysis and visualisation application
(socnetv_0.90-3_kfreebsd-amd64.deb, 543.71 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-2_kfreebsd-amd64.deb, 521.96 KB)
tiemu-skinedit
skin editor for TiEmu
(tiemu-skinedit_1.27-2_kfreebsd-amd64.deb, 50.36 KB)
tilp2
Texas Instruments hand-helds <-> PC communication program for X
(tilp2_1.12-1_kfreebsd-amd64.deb, 372.14 KB)
wcalc
Flexible command-line scientific calculator
(wcalc_2.4-2_kfreebsd-amd64.deb, 134.73 KB)
why
A software verification tool
(why_2.26+dfsg-2+squeeze1_kfreebsd-amd64.deb, 8.62 MB)
why
Software verification tool
(why_2.30+dfsg-5+b1_kfreebsd-amd64.deb, 8.19 MB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_12.04.0-1_kfreebsd-amd64.deb, 804.68 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-13_kfreebsd-amd64.deb, 95.07 KB)
yorick-hdf5
Hierarchical Data Format 5 interface for the Yorick language
(yorick-hdf5_0.8.0-1+b1_kfreebsd-amd64.deb, 40.46 KB)
yorick-optimpack
optimization of large scale problems for the Yorick language
(yorick-optimpack_1.3.1+dfsg1-1_kfreebsd-amd64.deb, 28.16 KB)
yorick-soy
sparse matrix operations for the Yorick language
(yorick-soy_1.2.01-2_kfreebsd-amd64.deb, 22.53 KB)
Results 1 - 141 of 141
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com