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_s390.deb, 449.46 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.94-2_s390.deb, 673.77 KB)
apcalc
Arbitrary precision calculator (original name: calc)
(apcalc_2.12.4.4-3_s390.deb, 338.21 KB)
axiom-graphics
A general purpose computer algebra system: graphics subsystem
(axiom-graphics_20100701-1.1_s390.deb, 249.60 KB)
axiom
General purpose computer algebra system: main binary and modules
(axiom_20120501-1_s390.deb, 12.89 MB)
bc
GNU bc arbitrary precision calculator language
(bc_1.06.95-4_s390.deb, 107.04 KB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-28.2_s390.deb, 452.75 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_s390.deb, 696.42 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.8.4-2_s390.deb, 21.98 KB)
cantor-backend-sage
Sage backend for Cantor
(cantor-backend-sage_4.8.4-2_s390.deb, 47.91 KB)
cantor
interface for mathematical applications
(cantor_4.4.5-2_s390.deb, 343.95 KB)
circlepack
creation and display of circle packings
(circlepack_5.1-7_s390.deb, 447.72 KB)
concalc
console calculator
(concalc_0.9.2-1_s390.deb, 58.16 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.3.pl4+dfsg-2_s390.deb, 1.73 MB)
cvc3
Automatic theorem prover for SMT problems
(cvc3_2.4.1-4_s390.deb, 24.69 KB)
drgeo
interactive geometry software
(drgeo_1.1.0-10_s390.deb, 809.51 KB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.1-1_s390.deb, 1.92 MB)
euler
interactive mathematical programming environment
(euler_1.61.0-8_s390.deb, 408.51 KB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-3_s390.deb, 3.56 MB)
freemat
mathematics framework (mostly matlab compatible)
(freemat_4.0-5_s390.deb, 3.35 MB)
gambit
Game theory analysis software and tools
(gambit_0.2006.01.20-3_s390.deb, 4.74 MB)
gambit
game theory software and tools
(gambit_0.2010.09.01-1.1_s390.deb, 4.14 MB)
gbase
small numeric base converter
(gbase_0.5-2.2_s390.deb, 10.79 KB)
gfan
Program for computing with Groebner fans
(gfan_0.3dfsg-1.1_s390.deb, 428.97 KB)
gfm
Texas Instruments hand-helds file manipulation program for X
(gfm_1.03-2_s390.deb, 48.99 KB)
ginac-tools
Some tools for the GiNaC symbolic framework
(ginac-tools_1.5.8-1_s390.deb, 114.00 KB)
ginac-tools
GiNaC symbolic framework support tools
(ginac-tools_1.6.2-1_s390.deb, 112.63 KB)
gmsh
Three-dimensional finite element mesh generator
(gmsh_2.6.1.dfsg-4_s390.deb, 4.96 MB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.0-8_s390.deb, 1.12 MB)
gnuplot-x11
X11-terminal driver for gnuplot
(gnuplot-x11_4.0.0-2_s390.deb, 177.73 KB)
gnuplot-x11
A command-line driven interactive plotting program
(gnuplot-x11_4.4.0-1.1+b1_s390.deb, 744.13 KB)
grace
An XY plotting tool
(grace_5.1.22-8_s390.deb, 1.01 MB)
grace
XY graphing and plotting tool
(grace_5.1.23-1_s390.deb, 940.50 KB)
graphthing
tool to create, manipulate and study graphs
(graphthing_1.3.2-3.1_s390.deb, 159.20 KB)
gretl
The GNU Regression, Econometric & Time-Series Library
(gretl_1.9.1-2_s390.deb, 2.52 MB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3_s390.deb, 38.72 KB)
hol88-library
Higher Order Logic, binary library modules
(hol88-library_2.02.19940316-15_s390.deb, 1.76 MB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_2.0.0-1_s390.deb, 628.59 KB)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
(jags_3.3.0-1_s390.deb, 1.45 MB)
kalgebra
algebraic graphing calculator for KDE
(kalgebra_4.4.5-2_s390.deb, 385.13 KB)
kali
Draw tilings, frieze patterns, and so on
(kali_3.1-11_s390.deb, 45.86 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.8.4-1_s390.deb, 954.39 KB)
kcalc
simple and scientific calculator
(kcalc_4.8.4-2_s390.deb, 183.10 KB)
kig
interactive geometry tool for KDE
(kig_4.8.4-1_s390.deb, 1.82 MB)
kseg
Sketchpad for planar Euclidean geometry
(kseg_0.4.0.3-3_s390.deb, 765.74 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2.1_s390.deb, 385.91 KB)
ladr4-apps
the LADR deduction library, miscellaneous applications
(ladr4-apps_0.0.200902a-2_s390.deb, 380.46 KB)
libgsl0
The GNU Scientific Library (GSL) -- library package
(libgsl0_1.1.1-1_s390.deb, 557.89 KB)
libgsl0ldbl
GNU Scientific Library (GSL) -- library package
(libgsl0ldbl_1.14+dfsg-1_s390.deb, 879.07 KB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs110121-1.1_s390.deb, 54.48 KB)
libmeschach1.2
library for performing operations on matrices and vectors
(libmeschach1.2_1.2b-13_s390.deb, 143.82 KB)
libpgapack-serial1
A general-purpose genetic algorithm package
(libpgapack-serial1_1.1.1-1_s390.deb, 146.97 KB)
libpgapack-serial1
General-purpose genetic algorithm package (serial library)
(libpgapack-serial1_1.1.1-3_s390.deb, 149.05 KB)
libsprng2
The SPRNG Scalable Parallel RNG library -- library package
(libsprng2_2.0a-2_s390.deb, 92.88 KB)
lie
Computer algebra package for Lie group computations
(lie_2.2.2+dfsg-2_s390.deb, 146.25 KB)
maria
reachability analyzer for Algebraic System Nets
(maria_1.3.5-2_s390.deb, 406.96 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.1.1-1_s390.deb, 26.48 KB)
mathomatic
portable Computer Algebra System (CAS)
(mathomatic_14.0.6-2_s390.deb, 161.23 KB)
maxima
A computer algebra system -- base system
(maxima_5.21.1-2squeeze_s390.deb, 9.98 MB)
ministat
a simple tool for statistical comparison of data sets
(ministat_20100628-1_s390.deb, 14.21 KB)
netgen
Automatic 3d tetrahedral mesh generator
(netgen_4.9.13.dfsg-4_s390.deb, 1.50 MB)
octave-combinatorics
combinatorics function for Octave
(octave-combinatorics_1.0.9-2+b1_s390.deb, 30.04 KB)
octave-communications
communications package for Octave
(octave-communications_1.0.10-2_s390.deb, 233.12 KB)
octave-fixed
fixed point computation for Octave
(octave-fixed_0.7.10-2+b1_s390.deb, 613.84 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.1-1_s390.deb, 103.16 KB)
octave-general
provide extra general functions for Octave
(octave-general_1.3.2-1_s390.deb, 103.10 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.6.0-1_s390.deb, 257.04 KB)
octave-gsl
GSL binding for Octave
(octave-gsl_1.0.8-5_s390.deb, 274.66 KB)
octave-miscellaneous
miscellaneous tools for Octave
(octave-miscellaneous_1.0.9-1+b1_s390.deb, 135.80 KB)
octave-nurbs
non-uniform rational B-splines for Octave
(octave-nurbs_1.3.6-1_s390.deb, 354.30 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.0-1_s390.deb, 293.95 KB)
octave-secs1d
semi conductor simulator in 1D for Octave
(octave-secs1d_0.0.8-4_s390.deb, 25.36 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.0.11-2_s390.deb, 198.00 KB)
octave-signal
signal processing functions for Octave
(octave-signal_1.1.3-1_s390.deb, 228.96 KB)
octave-sp
Semidefinite Programming functions for GNU Octave
(octave-sp_2003-10_s390.deb, 316.99 KB)
octave-specfun
special mathematical functions for Octave
(octave-specfun_1.0.9-1_s390.deb, 33.60 KB)
octave-symband
symmetric banded matrices for Octave
(octave-symband_1.0.10-1+b1_s390.deb, 110.57 KB)
octave-symbolic
symbolic package for Octave
(octave-symbolic_1.0.9-2_s390.deb, 205.11 KB)
octave-tsa
time series analysis in Octave
(octave-tsa_4.2.4-1_s390.deb, 106.27 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_s390.deb, 1.73 MB)
orpie
RPN calculator for the terminal
(orpie_1.5.1-8_s390.deb, 438.21 KB)
pari-gp2c
PARI/GP GP to C compiler
(pari-gp2c_0.0.5pl9-1_s390.deb, 146.20 KB)
pari-gp
PARI/GP Computer Algebra System binaries
(pari-gp_2.3.5-1_s390.deb, 219.10 KB)
pdl
The perl data language. Perl extensions for numerics.
(pdl_2.3.2-0.2_s390.deb, 1.81 MB)
pgapack
General-purpose genetic algorithm package
(pgapack_1.1.1-3_s390.deb, 135.65 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.1-2_s390.deb, 11.33 KB)
pi
Compute Archimedes' constant Pi to arbitrary precision
(pi_1.3.2-1.2_s390.deb, 10.56 KB)
picviz
Parallel coordinates plotter
(picviz_0.5-1+b1_s390.deb, 1.62 MB)
plotdrop
A minimal GNOME frontend to GNUPlot
(plotdrop_0.5.2-3_s390.deb, 30.45 KB)
plotutils
The GNU plotutils (plotting utilities) package
(plotutils_2.5-4_s390.deb, 622.96 KB)
plplot-tcl-dev
Tcl/Tk development support for PLplot, a plotting library
(plplot-tcl-dev_5.9.9-5_s390.deb, 135.94 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.5-4_s390.deb, 163.54 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.9-5_s390.deb, 167.68 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2.1_s390.deb, 132.51 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2_s390.deb, 129.61 KB)
ptscotch
MPI programs and libraries for graph, mesh and hypergraph partitioning
(ptscotch_5.1.12b.dfsg-1.1_s390.deb, 88.03 KB)
qalc
Powerful and easy to use command line calculator
(qalc_0.9.7-8_s390.deb, 78.62 KB)
qalculate-gtk
Powerful and easy to use desktop calculator - GTK+ version
(qalculate-gtk_0.9.7-3_s390.deb, 1.24 MB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-1_s390.deb, 45.72 KB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_s390.deb, 45.27 KB)
qtiplot
data analysis and scientific plotting
(qtiplot_0.9.8.8-5+b1_s390.deb, 3.41 MB)
qtoctave
Qt front-end to Octave
(qtoctave_0.10.1-3_s390.deb, 3.88 MB)
quickplot
fast interactive 2D plotter and data viewer
(quickplot_0.8.15-2_s390.deb, 349.53 KB)
r-bioc-hilbertvis
GNU R package to visualise long vector data
(r-bioc-hilbertvis_1.14.0-1_s390.deb, 1023.17 KB)
r-bioc-hilbertvis
GNU R package to visualise long vector data
(r-bioc-hilbertvis_1.5.0-2_s390.deb, 81.28 KB)
rheolef
efficient Finite Element environment
(rheolef_6.1-2.1_s390.deb, 382.21 KB)
rkward
KDE frontend to the R statistics language
(rkward_0.5.7-2_s390.deb, 1.53 MB)
rocs
graph theory IDE
(rocs_4.4.5-2_s390.deb, 161.61 KB)
sc
Text-based spreadsheet with VI-like keybindings
(sc_7.16-3_s390.deb, 223.95 KB)
scilab-full-bin
Scientific software package for numerical computations (all binary files)
(scilab-full-bin_5.3.3-10_s390.deb, 1.21 MB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.4.0.0-1~exp1_s390.deb, 2.61 MB)
scilab-overload
Scilab toolbox to overload Scilab's macros
(scilab-overload_1.3.2-3_s390.deb, 33.94 KB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.8a.dfsg-2_s390.deb, 750.07 KB)
snappea
program for creating and studying hyperbolic 3-manifolds
(snappea_3.0d3-22_s390.deb, 623.71 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-4_s390.deb, 496.96 KB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.1_s390.deb, 1.80 MB)
tiemu
Texas Instruments calculators emulator (without GDB)
(tiemu_3.02-1.2_s390.deb, 1.80 MB)
udav
application for data visualization based on MathGL
(udav_0.5.2-1+b1_s390.deb, 245.95 KB)
why
A software verification tool
(why_2.26+dfsg-2+squeeze1_s390.deb, 13.90 MB)
wxmaxima
GUI for the computer algebra system Maxima
(wxmaxima_12.04.0-1_s390.deb, 763.65 KB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-16_s390.deb, 94.78 KB)
xmaxima
A computer algebra system -- x interface
(xmaxima_5.21.1-2squeeze_s390.deb, 368.98 KB)
Results 1 - 122 of 122
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com