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

acl2-infix
Computational Logic for Applicative Common Lisp: infix interface
(acl2-infix_4.3-3_s390x.deb, 190.20 KB)
alt-ergo
Automatic theorem prover dedicated to program verification
(alt-ergo_0.94-2_s390x.deb, 678.42 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.6.dfsg.1-1_s390x.deb, 344.58 KB)
bc
GNU bc arbitrary precision calculator language
(bc_1.06.95-4_s390x.deb, 109.21 KB)
blacs-mpi-test
Basic Linear Algebra Comm. Subprograms - Test files for MPI
(blacs-mpi-test_1.1-31_s390x.deb, 609.14 KB)
cadabra
field-theory motivated computer algebra system
(cadabra_1.29-1_s390x.deb, 748.58 KB)
cantor-backend-kalgebra
KAlgebra backend for Cantor
(cantor-backend-kalgebra_4.8.4-2_s390x.deb, 21.59 KB)
cantor-backend-maxima
Maxima backend for Cantor
(cantor-backend-maxima_4.8.4-2_s390x.deb, 66.66 KB)
cantor-backend-r
R backend for Cantor
(cantor-backend-r_4.8.4-2_s390x.deb, 82.31 KB)
cantor
interface for mathematical applications
(cantor_4.8.4-2_s390x.deb, 423.66 KB)
concalc
console calculator
(concalc_0.9.2-2_s390x.deb, 61.38 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.3.pl4+dfsg-2_s390x.deb, 1.73 MB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.4dfsg-2_s390x.deb, 1.83 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.3.pl4+dfsg-2_s390x.deb, 2.42 MB)
dynare
platform for handling a wide class of economic models
(dynare_4.3.0-2_s390x.deb, 2.09 MB)
edenmath.app
Scientific calculator for GNUstep
(edenmath.app_1.1.1a-7_s390x.deb, 34.34 KB)
eukleides
Euclidean geometry drawing language
(eukleides_1.5.4-2_s390x.deb, 205.75 KB)
euler
interactive mathematical programming environment
(euler_1.61.0-8.1_s390x.deb, 436.19 KB)
galculator
A GTK+ 2.0 based calculator
(galculator_1.3.4-1_s390x.deb, 142.39 KB)
genus2reduction
Conductor and Reduction Types for Genus 2 Curves
(genus2reduction_0.3-2.2_s390x.deb, 32.73 KB)
glpk
linear programming kit
(glpk_4.45-1_s390x.deb, 52.43 KB)
gnuplot-nox
Command-line driven interactive plotting program. No-X package
(gnuplot-nox_4.6.0-8_s390x.deb, 956.93 KB)
gnuplot-qt
Command-line driven interactive plotting program. QT-package
(gnuplot-qt_4.6.0-8_s390x.deb, 1.17 MB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.0-8_s390x.deb, 1.07 MB)
gnuplot-x11
Command-line driven interactive plotting program. X-package
(gnuplot-x11_4.6.1-1~exp1_s390x.deb, 1.14 MB)
grace
XY graphing and plotting tool
(grace_5.1.22-13_s390x.deb, 954.71 KB)
grace
XY graphing and plotting tool
(grace_5.1.23-1_s390x.deb, 956.37 KB)
grpn
GTK+ reverse polish notation calculator
(grpn_1.1.2-3.1_s390x.deb, 42.43 KB)
hol-light
HOL Light theorem prover
(hol-light_20120602-1_s390x.deb, 3.58 MB)
hol88-library
Higher Order Logic, binary library modules
(hol88-library_2.02.19940316-15_s390x.deb, 1.96 MB)
hol88
Higher Order Logic, system image
(hol88_2.02.19940316-15_s390x.deb, 11.22 MB)
kalgebra
algebraic graphing calculator
(kalgebra_4.8.4-1_s390x.deb, 145.94 KB)
kbruch
fraction learning aid for KDE
(kbruch_4.8.4-1_s390x.deb, 965.79 KB)
lcalc
a program for calculating with L-functions
(lcalc_0.0.20080205-1.2_s390x.deb, 107.52 KB)
libcuba3
library for multidimensional numerical integration
(libcuba3_3.0+20111124-2_s390x.deb, 274.18 KB)
libgts-bin
utility binaries for libgts
(libgts-bin_0.7.6+darcs110121-1.1_s390x.deb, 56.36 KB)
liblrs0d
package to enumerate vertices and extreme rays (shared libraries)
(liblrs0d_0.42c-1_s390x.deb, 35.46 KB)
mace2
program that searches for finite models of first-order statements
(mace2_3.3f-1.1_s390x.deb, 556.58 KB)
mathomatic-primes
prime number tools for mathomatic
(mathomatic-primes_15.8.2-2_s390x.deb, 44.67 KB)
mcrl2
formal specification language toolset
(mcrl2_201210.1-1_s390x.deb, 12.40 MB)
ministat
a simple tool for statistical comparison of data sets
(ministat_20100628-1_s390x.deb, 14.51 KB)
octave-communications
communications package for Octave
(octave-communications_1.1.1-1_s390x.deb, 221.14 KB)
octave-geometry
geometric computing functions for Octave
(octave-geometry_1.5.0-1_s390x.deb, 198.71 KB)
octave-image
image manipulation for Octave
(octave-image_1.0.15-1_s390x.deb, 317.56 KB)
octave-image
image manipulation for Octave
(octave-image_2.0.0-1_s390x.deb, 371.04 KB)
octave-optim
unconstrained non-linear optimization toolkit for Octave
(octave-optim_1.2.2-1_s390x.deb, 305.06 KB)
octave-optiminterp
optimal interpolation package for Octave
(octave-optiminterp_0.3.3-2_s390x.deb, 26.08 KB)
octave-quaternion
quaternion package for Octave
(octave-quaternion_2.0.0-1_s390x.deb, 156.17 KB)
octave-secs2d
semi conductor simulator in 2D for Octave
(octave-secs2d_0.0.8-4_s390x.deb, 124.78 KB)
octave-sockets
communication through Internet sockets in Octave
(octave-sockets_1.0.8-1_s390x.deb, 36.75 KB)
octave-symbolic
symbolic package for Octave
(octave-symbolic_1.1.0-1_s390x.deb, 187.81 KB)
octave
GNU Octave language for numerical computations
(octave_3.6.3-2_s390x.deb, 1.86 MB)
otter
resolution-style theorem prover
(otter_3.3f-1.1_s390x.deb, 766.94 KB)
palp
A Package for Analyzing Lattice Polytopes
(palp_1.1-1.2_s390x.deb, 541.34 KB)
plotutils
GNU plotutils command line tools based on libplot
(plotutils_2.6-3_s390x.deb, 662.85 KB)
plplot-tcl
Tcl/Tk support for PLplot, a plotting library
(plplot-tcl_5.9.9-5_s390x.deb, 176.90 KB)
polylib-utils
Various tools using libpolylib
(polylib-utils_5.22.5-3+dfsg_s390x.deb, 16.44 KB)
prover9
theorem prover and countermodel generator
(prover9_0.0.200902a-2.1_s390x.deb, 135.38 KB)
qalc
Powerful and easy to use command line calculator
(qalc_0.9.7-8_s390x.deb, 98.16 KB)
qalculate-gtk
Powerful and easy to use desktop calculator - GTK+ version
(qalculate-gtk_0.9.7-3_s390x.deb, 1.28 MB)
qhull-bin
calculate convex hulls and related structures (utilities)
(qhull-bin_2009.1-3_s390x.deb, 49.42 KB)
rheolef
efficient Finite Element environment
(rheolef_6.1-2.1_s390x.deb, 403.93 KB)
rheolef
efficient Finite Element environment
(rheolef_6.2-1~exp1_s390x.deb, 429.06 KB)
rlplot
GUI application for generating publication quality graphs
(rlplot_1.5-2_s390x.deb, 1.02 MB)
scalapack-mpi-test
Scalable Linear Algebra Package - Test files for MPICH
(scalapack-mpi-test_1.8.0-9_s390x.deb, 4.33 MB)
scilab-minimal-bin
Scientific software package for numerical computations (minimal binary files)
(scilab-minimal-bin_5.4.0.0-1~exp1_s390x.deb, 2.80 MB)
scotch
programs and libraries for graph, mesh and hypergraph partitioning
(scotch_5.1.12b.dfsg-1.1_s390x.deb, 338.91 KB)
sdpa
High-performance package for SemiDefinite Programs
(sdpa_7.3.8+dfsg-1_s390x.deb, 437.19 KB)
speedcrunch
High precision calculator
(speedcrunch_0.10.1-4_s390x.deb, 529.87 KB)
tapecalc
a full-screen tape editor that lets the user edit a calculation
(tapecalc_20070214-2_s390x.deb, 24.21 KB)
why
Software verification tool
(why_2.30+dfsg-5_s390x.deb, 15.91 MB)
xgraph
Plotting program, reads stdin, allows interactive zooming
(xgraph_12.1-16_s390x.deb, 97.75 KB)
Results 1 - 72 of 72
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com