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

arpack2-dev
Fortran77 subroutines to solve large scale eigenvalue problems.
(arpack2-dev_2.1-3_hppa.deb, 787.24 KB)
autoclass
automatic classification or clustering
(autoclass_3.3.3-5_hppa.deb, 452.58 KB)
coq
proof assistant for higher-order logic (toplevel and compiler)
(coq_8.0pl2-2_hppa.deb, 6.96 MB)
coqide
proof assistant for higher-order logic (gtk interface)
(coqide_8.2.pl2+dfsg-2_hppa.deb, 2.31 MB)
genesis
General-purpose neural simulator
(genesis_2.2-2_hppa.deb, 4.12 MB)
libcdd-test
Test programs for libcdd-dev
(libcdd-test_094b.dfsg-2_hppa.deb, 61.20 KB)
r-gnome
GNU R Gnome gui for statistical computing system
(r-gnome_1.5.1-0woody1_hppa.deb, 55.82 KB)
rheolef
Finite elements for partial differential equations
(rheolef_5.93-2_hppa.deb, 583.50 KB)
Results 1 - 8 of 8
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com