icms2010live

icms2010bookmark

barvinok †

• http://freshmeat.net/projects/isl
• http://freshmeat.net/projects/barvinok
  • barvinok includes isl.

Singular †

• The latest version is 3.1.1
• http://www.singular.uni-kl.de/index.php/singular-download/110.html
• ok

Sollya †

• http://sollya.gforge.inria.fr/
• ok

Skelton †

• http://www.uic.unn.ru/~zny/skeleton/
• http://www.uic.nnov.ru/~zny/skeleton/skeleton.02.01.02.zip
• ok

Normaliz †

• http://www.math.uos.de/normaliz/
• ok

HOL Zero †

• holzero-0.2.tgz

CGAL †

• http://www.cgal.org/

HiroshiMurakami? †

• Hiroshi-Murakami.taz 7/14

Rose †

• http://www.lix.polytechnique.fr/~liberti/rose-0.1.tar.gz