![[DIR]](/icons/back.gif){kind=icon}
Parent Directory| -15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01 | page 02 of 03 |
| +01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15 | <- Back | Next page -> |
![[DIR]](/icons/folder.gif){kind=icon} gimps | ||
| ginac | ||
| glpk | ||
| gmm | ||
| gmp-ecm | ||
| gp2c | ||
| gretl | ||
| gsl-shell | ||
| jags | ||
| lcalc | ||
| lean | ||
| lpsolve | ||
| lrcalc | ||
| mathematica | ||
| mathlib-tools | ||
| mathmod | ||
| mathomatic | ||
| maxima | ||
![[TXT]](/icons/text.gif){kind=icon} metadata.xml | ||
| metamath | ||
| minisat | ||
| msieve | ||
| nauty | ||
| nestedsums | ||
| normaliz | ||
| num-utils | ||
| octave | ||
| octave-epstk | ||
| otter | ||
| pari |
| -15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01 | page 02 of 03 |
| +01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15 | <- Back | Next page -> |