summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2158logplain
d---------Macaulay2193logplain
d---------agda241logplain
d---------axiom192logplain
d---------calc340logplain
d---------cgal201logplain
d---------coq325logplain
d---------dataplot249logplain
d---------drgeo191logplain
d---------ent190logplain
d---------euler192logplain
d---------fann293logplain
d---------freemat237logplain
d---------fricas239logplain
d---------frobby195logplain
d---------genius240logplain
d---------geomview243logplain
d---------gfan234logplain
d---------gimps601logplain
d---------ginac283logplain
d---------glpk245logplain
d---------gmm241logplain
d---------gretl237logplain
d---------jags158logplain
d---------lybniz160logplain
d---------mathomatic269logplain
d---------maxima241logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat164logplain
d---------nauty159logplain
d---------nestedsums168logplain
d---------normaliz195logplain
d---------num-utils212logplain
d---------nusmv283logplain
d---------octave-epstk164logplain
d---------octave342logplain
d---------otter239logplain
d---------pari238logplain
d---------polymake246logplain
d---------prng190logplain
d---------pspp238logplain
d---------qtoctave295logplain
d---------reduce198logplain
d---------relational163logplain
d---------rkward207logplain
d---------rngstreams164logplain
d---------scilab245logplain
d---------singular248logplain
d---------snns191logplain
d---------spin238logplain
d---------topcom193logplain
d---------unuran192logplain
d---------wxmaxima260logplain
d---------xmds235logplain
d---------yacas191logplain