LDA010
b7df015bb4
copy
|
преди 7 години | |
|---|---|---|
| .. | ||
| 4ti2 | преди 7 години | |
| Macaulay2 | преди 7 години | |
| agda | преди 7 години | |
| agda-lib-ffi | преди 7 години | |
| agda-stdlib | преди 7 години | |
| axiom | преди 7 години | |
| bertini | преди 7 години | |
| cado-nfs | преди 7 години | |
| calc | преди 7 години | |
| cgal | преди 7 години | |
| coq | преди 7 години | |
| cvc3 | преди 7 години | |
| dataplot | преди 7 години | |
| diagrtb | преди 7 години | |
| drgeo | преди 7 години | |
| dunshire | преди 7 години | |
| e | преди 7 години | |
| ent | преди 7 години | |
| euler | преди 7 години | |
| factmsieve | преди 7 години | |
| fann | преди 7 години | |
| flint | преди 7 години | |
| form | преди 7 години | |
| freemat | преди 7 години | |
| fricas | преди 7 години | |
| frobby | преди 7 години | |
| genius | преди 7 години | |
| geogebra | преди 7 години | |
| geomview | преди 7 години | |
| gfan | преди 7 години | |
| ggnfs | преди 7 години | |
| gimps | преди 7 години | |
| ginac | преди 7 години | |
| glpk | преди 7 години | |
| gmm | преди 7 години | |
| gmp-ecm | преди 7 години | |
| gretl | преди 7 години | |
| gsl-shell | преди 7 години | |
| gwnum | преди 7 години | |
| isabelle | преди 7 години | |
| jags | преди 7 години | |
| kodkod | преди 7 години | |
| kodkodi | преди 7 години | |
| lpsolve | преди 7 години | |
| lybniz | преди 7 години | |
| mathmod | преди 7 години | |
| mathomatic | преди 7 години | |
| maxima | преди 7 години | |
| minisat | преди 7 години | |
| mlpy | преди 7 години | |
| msieve | преди 7 години | |
| nauty | преди 7 години | |
| nestedsums | преди 7 години | |
| normaliz | преди 7 години | |
| num-utils | преди 7 години | |
| nusmv | преди 7 години | |
| octave | преди 7 години | |
| octave-epstk | преди 7 години | |
| otter | преди 7 години | |
| p9m4 | преди 7 години | |
| pari | преди 7 години | |
| pari-data | преди 7 години | |
| polymake | преди 7 години | |
| prng | преди 7 години | |
| prover9 | преди 7 години | |
| pspp | преди 7 години | |
| pymc | преди 7 години | |
| pymc3 | преди 7 години | |
| qtoctave | преди 7 години | |
| reduce | преди 7 години | |
| relational | преди 7 години | |
| rkward | преди 7 години | |
| rngstreams | преди 7 години | |
| rstudio | преди 7 години | |
| rw | преди 7 години | |
| sha1-polyml | преди 7 години | |
| singular | преди 7 години | |
| snns | преди 7 години | |
| spass | преди 7 години | |
| spin | преди 7 години | |
| topcom | преди 7 години | |
| twelf | преди 7 години | |
| unuran | преди 7 години | |
| wxmaxima | преди 7 години | |
| xmds | преди 7 години | |
| yacas | преди 7 години | |
| yafu | преди 7 години | |
| z3 | преди 7 години | |
| metadata.xml | преди 7 години | |