icms2010bookmark

FrontPage

• Centre for Interdisciplinary Research in Computational Algebra
  • http://www-circa.mcs.st-and.ac.uk/hpcgap.php
• Parallel GAP/MPI (ParGAP/MPI)
  • http://www.ccs.neu.edu/home/gene/pargap.html
• The SCO Package
  • http://wwwb.math.rwth-aachen.de/goertzen/SCO/
• Software @ TU Braunschweig
  • http://www.tu-braunschweig.de/icm/algebra/software
• Assistant Professor Dmitrii V Pasechnik
  • http://www3.ntu.edu.sg/home/dima/software.htm
• Normaliz
  • http://www.math.uos.de/normaliz/
• http://www.risc.jku.at/research/theorema/description/
• HackageDB: Operads-1.0
  • http://hackage.haskell.org/package/Operads
• dph-mg-grobner - Project Hosting on Google Code
  • http://code.google.com/p/dph-mg-grobner/
• Leo Liberti's pages
  • http://www.lix.polytechnique.fr/~liberti/
• User's Guide for PermLib?
  • http://fma2.math.uni-magdeburg.de/~latgeo/PermLib-0.2/HTML/permlib.html
• Classification of smooth lattice polytopes with few lattice points
  • http://ehrhart.math.fu-berlin.de/people/benmuell/classification.html
• ZIBAmira
  • http://amira.zib.de/
• MD-jeep - Antonio Mucherino Web Pages
  • http://www.antoniomucherino.it/en/mdjeep.php
• MathWiki?: a Web-based Collaborative Authoring Environment for Formal Proofs (www.narcis.nl)
  • http://www.narcis.info/research/RecordID/OND1333388/Language/en
• EGC :: Home
  • http://www.cs.nyu.edu/exact/
• Algorithmic Solutions Software GmbH
  • http://www.algorithmic-solutions.com/
• Intel® Cilk++ Software Development Kit - Intel® Software Network
  • http://software.intel.com/en-us/articles/intel-cilk/
  • http://sourceforge.net/projects/cilk/ ?
• isl | freshmeat.net
  • http://freshmeat.net/projects/isl
• FLINT: Fast Library for Number Theory
  • http://www.flintlib.org/
• Sollya software tool
  • http://sollya.gforge.inria.fr/
• INTLAB - INTerval LABoratory
  • http://www.ti3.tu-harburg.de/~rump/intlab/
• CoStLy?
  • http://iamlasun8.mathematik.uni-karlsruhe.de/~ae16/CoStLy.html
• Welcome to Mathemagix
  • http://www.mathemagix.org/www/main/index.en.html
• Universitaet Wuppertal: Wissenschaftliches Rechnen / Softwaretechnologie
  • http://www.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html#cxsc-toolbox