summaryrefslogtreecommitdiff
path: root/sci-mathematics
ModeNameSize
d---------4ti2156logplain
-rw-r--r--Manifest.gz16682logplain
d---------agda-stdlib166logplain
d---------agda155logplain
d---------alectryon161logplain
d---------alt-ergo242logplain
d---------arb288logplain
d---------bertini122logplain
d---------cadabra158logplain
d---------cadical159logplain
d---------calc204logplain
d---------cgal242logplain
d---------cliquer123logplain
d---------coq-mathcomp130logplain
d---------coq-serapi163logplain
d---------coq358logplain
d---------cryptominisat162logplain
d---------cvc4200logplain
d---------dataplot160logplain
d---------diagrtb155logplain
d---------dsfmt154logplain
d---------dunshire128logplain
d---------easycrypt256logplain
d---------eclib174logplain
d---------ent153logplain
d---------euler158logplain
d---------fann200logplain
d---------flint295logplain
d---------flintqs122logplain
d---------form121logplain
d---------fricas202logplain
d---------frobby158logplain
d---------genius204logplain
d---------geogebra-bin225logplain
d---------geomview160logplain
d---------gfan156logplain
d---------giac302logplain
d---------gimps203logplain
d---------ginac247logplain
d---------glpk154logplain
d---------gmm202logplain
d---------gmp-ecm207logplain
d---------gp2c122logplain
d---------gretl154logplain
d---------gsl-shell217logplain
d---------jags166logplain
d---------lcalc125logplain
d---------lean292logplain
d---------lpsolve129logplain
d---------lrcalc198logplain
d---------mathematica453logplain
d---------mathlib-tools187logplain
d---------mathmod125logplain
d---------mathomatic131logplain
d---------maxima258logplain
-rw-r--r--metadata.xml1326logplain
d---------metamath-databases138logplain
d---------metamath157logplain
d---------minisat159logplain
d---------msieve157logplain
d---------nauty122logplain
d---------nestedsums130logplain
d---------normaliz230logplain
d---------num-utils159logplain
d---------octave-epstk127logplain
d---------octave252logplain
d---------otter155logplain
d---------pari-data129logplain
d---------pari203logplain
d---------petsc208logplain
d---------planarity180logplain
d---------polymake205logplain
d---------primecount125logplain
d---------primesieve125logplain
d---------prng156logplain
d---------prover9159logplain
d---------psmt2-frontend216logplain
d---------pspp211logplain
d---------relational160logplain
d---------rkward123logplain
d---------rngstreams127logplain
d---------rstudio162logplain
d---------rw117logplain
d---------sha1-polyml129logplain
d---------singular267logplain
d---------slepc170logplain
d---------smtinterpol168logplain
d---------spin156logplain
d---------stp155logplain
d---------sympow157logplain
d---------topcom159logplain
d---------twelf157logplain
d---------unuran123logplain
d---------vampire173logplain
d---------verit126logplain
d---------why3-for-spark276logplain
d---------why3220logplain
d---------wxmaxima280logplain
d---------yacas203logplain
d---------yafu157logplain
d---------z3254logplain