summaryrefslogtreecommitdiff
path: root/sci-mathematics
ModeNameSize
d---------4ti2243logplain
d---------Macaulay2215logplain
d---------agda-lib-ffi185logplain
d---------agda-stdlib162logplain
d---------agda158logplain
d---------axiom155logplain
d---------bertini122logplain
d---------cado-nfs315logplain
d---------calc256logplain
d---------cgal243logplain
d---------coq327logplain
d---------cvc3201logplain
d---------dataplot212logplain
d---------diagrtb155logplain
d---------drgeo154logplain
d---------dunshire125logplain
d---------e196logplain
d---------ent153logplain
d---------euler155logplain
d---------factmsieve159logplain
d---------fann253logplain
d---------flint339logplain
d---------form119logplain
d---------freemat154logplain
d---------fricas205logplain
d---------frobby158logplain
d---------genius156logplain
d---------geogebra161logplain
d---------geomview160logplain
d---------gfan197logplain
d---------ggnfs158logplain
d---------gimps199logplain
d---------ginac292logplain
d---------glpk372logplain
d---------gmm160logplain
d---------gmp-ecm225logplain
d---------gretl202logplain
d---------gsl-shell164logplain
d---------gwnum120logplain
d---------isabelle156logplain
d---------jags256logplain
d---------kodkod155logplain
d---------kodkodi124logplain
d---------lpsolve126logplain
d---------lybniz123logplain
d---------mathmod125logplain
d---------mathomatic232logplain
d---------maxima303logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat217logplain
d---------mlpy121logplain
d---------msieve200logplain
d---------nauty122logplain
d---------nestedsums131logplain
d---------normaliz256logplain
d---------num-utils175logplain
d---------nusmv154logplain
d---------octave-epstk178logplain
d---------octave252logplain
d---------otter202logplain
d---------p9m4153logplain
d---------pari-data129logplain
d---------pari519logplain
d---------polymake177logplain
d---------prng201logplain
d---------prover9159logplain
d---------pspp293logplain
d---------pymc153logplain
d---------qtoctave161logplain
d---------reduce161logplain
d---------relational125logplain
d---------rkward170logplain
d---------rngstreams127logplain
d---------rstudio1137logplain
d---------rw120logplain
d---------sha1-polyml128logplain
d---------singular255logplain
d---------snns246logplain
d---------spass120logplain
d---------spin288logplain
d---------topcom156logplain
d---------twelf154logplain
d---------unuran155logplain
d---------wxmaxima229logplain
d---------xmds243logplain
d---------yacas246logplain
d---------yafu198logplain