icms2010live の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• icms2010live へ行く。

[[icms2010bookmark]]

* [[barvinok]] [#g5a5192c]
- http://freshmeat.net/projects/isl
- http://freshmeat.net/projects/barvinok
-- barvinok includes isl.

* Singular [#y302f546]
- The latest version is 3.1.1
- http://www.singular.uni-kl.de/index.php/singular-download/110.html
- ok
* Sollya [#qa7a599c]
- http://sollya.gforge.inria.fr/
- ok

* Skelton [#wcdf856f]
- http://www.uic.unn.ru/~zny/skeleton/
- http://www.uic.nnov.ru/~zny/skeleton/skeleton.02.01.02.zip
- ok

* Normaliz [#f7fbfb93]
- http://www.math.uos.de/normaliz/
- ok

* HOL Zero [#m740959d]
- holzero-0.2.tgz

* CGAL [#q7bb0e6b]
- http://www.cgal.org/

* HiroshiMurakami [#a6c2171b]
- Hiroshi-Murakami.taz 7/14

* Rose [#w6c8634d]
- http://www.lix.polytechnique.fr/~liberti/rose-0.1.tar.gz