4ti2 | 8.00b | November 21 2014 at 10:29 |
Macaulay2 | 10.00b | August 18 2014 at 18:21 |
agda | 14.00b | August 18 2014 at 18:21 |
agda-executable | 8.00b | August 18 2014 at 18:21 |
agda-lib-ffi | 6.00b | August 18 2014 at 18:21 |
agda-stdlib | 10.00b | August 18 2014 at 18:21 |
axiom | 7.00b | August 18 2014 at 18:21 |
bertini | 6.00b | November 21 2013 |
cado-nfs | 8.00b | September 10 2014 at 09:22 |
calc | 11.00b | August 18 2014 at 18:21 |
cgal | 6.00b | August 18 2014 at 18:21 |
coq | 11.00b | November 29 2014 at 12:25 |
cvc3 | 7.00b | August 18 2014 at 18:21 |
dataplot | 7.00b | October 26 2014 at 15:55 |
diagrtb | 7.00b | August 18 2014 at 18:21 |
drgeo | 7.00b | August 18 2014 at 18:21 |
e | 8.00b | August 18 2014 at 18:21 |
ent | 7.00b | November 21 2013 |
euler | 7.00b | August 18 2014 at 18:21 |
factmsieve | 7.00b | August 18 2014 at 18:21 |
fann | 8.00b | August 18 2014 at 18:21 |
flint | 9.00b | November 26 2014 at 00:28 |
form | 6.00b | August 18 2014 at 18:21 |
freemat | 9.00b | December 6 2014 at 22:30 |
fricas | 8.00b | November 24 2014 at 13:28 |
frobby | 7.00b | August 18 2014 at 18:21 |
genius | 7.00b | August 18 2014 at 18:21 |
geogebra | 7.00b | August 23 2014 at 17:29 |
geomview | 7.00b | November 7 2014 at 05:40 |
gfan | 8.00b | August 18 2014 at 18:21 |