FrontPage
- Centre for Interdisciplinary Research in Computational Algebra
- Parallel GAP/MPI (ParGAP/MPI)
- The SCO Package
- Software @ TU Braunschweig
- Assistant Professor Dmitrii V Pasechnik
- Normaliz
- http://www.risc.jku.at/research/theorema/description/
- HackageDB: Operads-1.0
- dph-mg-grobner - Project Hosting on Google Code
- Leo Liberti's pages
- User's Guide for PermLib
- Classification of smooth lattice polytopes with few lattice points
- ZIBAmira
- MD-jeep - Antonio Mucherino Web Pages
- MathWiki: a Web-based Collaborative Authoring Environment for Formal Proofs (www.narcis.nl)
- EGC :: Home
- Algorithmic Solutions Software GmbH
- Intel® Cilk++ Software Development Kit - Intel® Software Network
- isl | freshmeat.net
- FLINT: Fast Library for Number Theory
- Sollya software tool
- INTLAB - INTerval LABoratory
- CoStLy
- Welcome to Mathemagix
- Universitaet Wuppertal: Wissenschaftliches Rechnen / Softwaretechnologie
Last-modified: 2015-01-09 (金) 18:44:24