4ti2 | 8.00b | August 9 2015 |
Macaulay2 | 7.00b | April 15 2016 |
agda | 7.00b | February 16 2017 at 10:21 |
agda-lib-ffi | 6.00b | August 9 2015 |
agda-stdlib | 7.00b | February 16 2017 at 10:21 |
axiom | 6.00b | August 9 2015 |
bertini | 5.00b | August 9 2015 |
cado-nfs | 5.00b | February 19 2017 at 18:20 |
calc | 8.00b | March 7 2016 |
cgal | 8.00b | May 6 2016 |
coq | 8.00b | January 23 2017 at 09:04 |
cvc3 | 7.00b | October 29 2016 at 22:29 |
dataplot | 7.00b | February 18 2016 |
diagrtb | 6.00b | August 9 2015 |
drgeo | 6.00b | February 12 2017 at 17:02 |
dunshire | 5.00b | November 16 2016 at 14:00 |
e | 8.00b | January 2 2017 at 23:11 |
ent | 6.00b | August 9 2015 |
euler | 6.00b | August 9 2015 |
factmsieve | 6.00b | August 9 2015 |
fann | 7.00b | January 15 2017 at 11:20 |
flint | 10.00b | January 5 2016 |
form | 5.00b | August 9 2015 |
freemat | 6.00b | August 9 2015 |
fricas | 7.00b | February 16 2017 at 18:51 |
frobby | 7.00b | February 19 2017 at 23:45 |
genius | 5.00b | November 27 2016 at 15:04 |
geogebra | 6.00b | March 9 2017 at 14:23 |
geomview | 6.00b | August 9 2015 |
gfan | 6.00b | February 19 2017 at 18:35 |