Icon  Name                    Last modified      Size  
[DIR] Parent Directory - [DIR] 4ti2/ 20-Aug-2018 23:09 - [DIR] Macaulay2/ 20-Aug-2018 23:09 - [   ] Manifest.gz 20-Aug-2018 12:09 15K [DIR] agda-lib-ffi/ 20-Aug-2018 23:09 - [DIR] agda-stdlib/ 20-Aug-2018 23:09 - [DIR] agda/ 20-Aug-2018 23:09 - [DIR] alt-ergo/ 20-Aug-2018 23:09 - [DIR] arb/ 20-Aug-2018 23:09 - [DIR] axiom/ 20-Aug-2018 23:09 - [DIR] bertini/ 20-Aug-2018 23:09 - [DIR] calc/ 20-Aug-2018 23:09 - [DIR] cgal/ 20-Aug-2018 23:09 - [DIR] coq/ 20-Aug-2018 23:09 - [DIR] cvc3/ 20-Aug-2018 23:09 - [DIR] cvc4/ 20-Aug-2018 23:09 - [DIR] dataplot/ 20-Aug-2018 23:09 - [DIR] diagrtb/ 20-Aug-2018 23:09 - [DIR] drgeo/ 20-Aug-2018 23:09 - [DIR] dunshire/ 20-Aug-2018 23:09 - [DIR] e/ 20-Aug-2018 23:09 - [DIR] ent/ 20-Aug-2018 23:09 - [DIR] euler/ 20-Aug-2018 23:09 - [DIR] factmsieve/ 20-Aug-2018 23:09 - [DIR] fann/ 20-Aug-2018 23:09 - [DIR] flint/ 20-Aug-2018 23:09 - [DIR] form/ 20-Aug-2018 23:09 - [DIR] fricas/ 20-Aug-2018 23:09 - [DIR] frobby/ 20-Aug-2018 23:09 - [DIR] genius/ 20-Aug-2018 23:09 - [DIR] geogebra/ 20-Aug-2018 23:09 - [DIR] geomview/ 20-Aug-2018 23:09 - [DIR] gfan/ 20-Aug-2018 23:09 - [DIR] ggnfs/ 20-Aug-2018 23:09 - [DIR] gimps/ 20-Aug-2018 23:09 - [DIR] ginac/ 20-Aug-2018 23:09 - [DIR] glpk/ 20-Aug-2018 23:09 - [DIR] gmm/ 20-Aug-2018 23:09 - [DIR] gmp-ecm/ 20-Aug-2018 23:09 - [DIR] gretl/ 20-Aug-2018 23:09 - [DIR] gsl-shell/ 20-Aug-2018 23:09 - [DIR] gwnum/ 20-Aug-2018 23:09 - [DIR] isabelle/ 20-Aug-2018 23:09 - [DIR] jags/ 20-Aug-2018 23:09 - [DIR] kodkod/ 20-Aug-2018 23:09 - [DIR] kodkodi/ 20-Aug-2018 23:09 - [DIR] lpsolve/ 20-Aug-2018 23:09 - [DIR] lybniz/ 20-Aug-2018 23:09 - [DIR] mathmod/ 20-Aug-2018 23:09 - [DIR] mathomatic/ 20-Aug-2018 23:09 - [DIR] maxima/ 20-Aug-2018 23:09 - [   ] metadata.xml 24-Aug-2015 17:30 1.3K [DIR] minisat/ 20-Aug-2018 23:09 - [DIR] mlpy/ 20-Aug-2018 23:09 - [DIR] msieve/ 20-Aug-2018 23:09 - [DIR] nauty/ 20-Aug-2018 23:09 - [DIR] nestedsums/ 20-Aug-2018 23:09 - [DIR] normaliz/ 20-Aug-2018 23:09 - [DIR] num-utils/ 20-Aug-2018 23:09 - [DIR] nusmv/ 20-Aug-2018 23:09 - [DIR] octave-epstk/ 20-Aug-2018 23:09 - [DIR] octave/ 20-Aug-2018 23:09 - [DIR] otter/ 20-Aug-2018 23:09 - [DIR] p9m4/ 20-Aug-2018 23:09 - [DIR] pari-data/ 20-Aug-2018 23:09 - [DIR] pari/ 20-Aug-2018 23:09 - [DIR] polymake/ 20-Aug-2018 23:09 - [DIR] prng/ 20-Aug-2018 23:09 - [DIR] prover9/ 20-Aug-2018 23:09 - [DIR] pspp/ 20-Aug-2018 23:09 - [DIR] pymc/ 20-Aug-2018 23:09 - [DIR] pymc3/ 20-Aug-2018 23:09 - [DIR] reduce/ 20-Aug-2018 23:09 - [DIR] relational/ 20-Aug-2018 23:09 - [DIR] rkward/ 20-Aug-2018 23:09 - [DIR] rngstreams/ 20-Aug-2018 23:09 - [DIR] rstudio/ 20-Aug-2018 23:09 - [DIR] rw/ 20-Aug-2018 23:09 - [DIR] sha1-polyml/ 20-Aug-2018 23:09 - [DIR] singular/ 20-Aug-2018 23:09 - [DIR] snns/ 20-Aug-2018 23:09 - [DIR] spass/ 20-Aug-2018 23:09 - [DIR] spin/ 20-Aug-2018 23:09 - [DIR] topcom/ 20-Aug-2018 23:09 - [DIR] twelf/ 20-Aug-2018 23:09 - [DIR] unuran/ 20-Aug-2018 23:09 - [DIR] why3-for-spark/ 20-Aug-2018 23:09 - [DIR] wxmaxima/ 20-Aug-2018 23:09 - [DIR] xmds/ 20-Aug-2018 23:09 - [DIR] yacas/ 20-Aug-2018 23:09 - [DIR] yafu/ 20-Aug-2018 23:09 - [DIR] z3/ 20-Aug-2018 23:09 -
Halifax, Nova Scotia [44.636607, -63.591380] mirror maintained by Karl Vollmer of ITS and Chris Maxwell and Jeff Allen of CS @ Dalhousie University
Sponsored By: Computer Science @ Dalhousie University, Networks & Systems @ Dalhousie University, ACORN Members