summaryrefslogtreecommitdiff
path: root/sci-mathematics
ModeNameSize
d---------4ti2156logplain
-rw-r--r--Manifest.gz19158logplain
d---------abc201logplain
d---------acl2154logplain
d---------alectryon161logplain
d---------alt-ergo205logplain
d---------arb121logplain
d---------bertini168logplain
d---------boolector218logplain
d---------btor2tools174logplain
d---------cadabra208logplain
d---------cadical207logplain
d---------calc156logplain
d---------cgal239logplain
d---------cliquer123logplain
d---------coq-mathcomp184logplain
d---------coq-serapi212logplain
d---------coq211logplain
d---------cryptominisat188logplain
d---------cubicle159logplain
d---------cudd121logplain
d---------cvc4154logplain
d---------dataplot160logplain
d---------diagrtb155logplain
d---------dsfmt154logplain
d---------dunshire128logplain
d---------easycrypt180logplain
d---------eclib174logplain
d---------ent153logplain
d---------eprover178logplain
d---------euler158logplain
d---------fann200logplain
d---------flint200logplain
d---------flocq171logplain
d---------form204logplain
d---------fricas206logplain
d---------frobby158logplain
d---------gap208logplain
d---------gappa168logplain
d---------gappalib-coq185logplain
d---------genius156logplain
d---------geogebra-bin222logplain
d---------geomview160logplain
d---------gfan156logplain
d---------giac207logplain
d---------gimps251logplain
d---------ginac203logplain
d---------glpk200logplain
d---------gmm162logplain
d---------gmp-ecm127logplain
d---------gp2c122logplain
d---------gretl154logplain
d---------gsl-shell208logplain
d---------jags166logplain
d---------kind2122logplain
d---------kissat170logplain
d---------lcalc125logplain
d---------lean199logplain
d---------libpoly125logplain
d---------lpsolve162logplain
d---------lrcalc198logplain
d---------mathematica559logplain
d---------mathlib-tools165logplain
d---------mathmod125logplain
d---------mathomatic131logplain
d---------maxima207logplain
-rw-r--r--metadata.xml1326logplain
d---------metamath-databases138logplain
d---------metamath157logplain
d---------minisat159logplain
d---------msieve157logplain
d---------nauty122logplain
d---------nestedsums130logplain
d---------normaliz175logplain
d---------num-utils159logplain
d---------octave-epstk127logplain
d---------octave349logplain
d---------opensmt156logplain
d---------otter155logplain
d---------pari-data129logplain
d---------pari157logplain
d---------petsc396logplain
d---------picosat154logplain
d---------planarity128logplain
d---------plfit122logplain
d---------polymake156logplain
d---------primecount125logplain
d---------primesieve126logplain
d---------prng156logplain
d---------prover9159logplain
d---------proverif255logplain
d---------psmt2-frontend216logplain
d---------pspp156logplain
d---------rkward123logplain
d---------rngstreams127logplain
d---------rw117logplain
d---------sha1-polyml126logplain
d---------singular161logplain
d---------slepc311logplain
d---------smtinterpol168logplain
d---------spin156logplain
d---------stp155logplain
d---------sympow157logplain
d---------topcom159logplain
d---------twelf157logplain
d---------unuran202logplain
d---------vampire122logplain
d---------verifpal158logplain
d---------verit126logplain
d---------why3-for-spark165logplain
d---------why3121logplain
d---------wxmaxima229logplain
d---------yacas125logplain
d---------yafu157logplain
d---------yices2126logplain
d---------z3164logplain