This page contains links to computational algebra sites. If you would like us to link to another similar site, please contact us with the details.
- The ATLAS of Finite Group Representations.
- Brendan McKay's page of graphs, trees, and other combinatorial data.
- The Graded Ring Database includes classifications of toric varieties, polarised K3 surfaces, and Fano 3-folds and 4-folds.
- CAIN, the Computer Algebra Information Network.
- KANT Group, Computational Algebraic Number Theory research group.
- RICAM, the Johann Radon Institute for Computational and Applied Mathematics.
- CoCoA, a commutative algebra system.
- GAP, a system for computational discrete algebra, with particular emphasis on computational group theory.
- JavaView, a 3D geometry viewer written in Java.
- KANT/KASH, for computations in algebraic number fields.
- LattE, dedicated to the problems of counting and detecting lattice points inside convex polytopes.
- Macaulay2, a software system focussing on algebraic geometry and commutative algebra.
- NZMATH, a Python-based number theory calculation system.
- PALP, a package for analysing lattice polytopes.
- PARI, a package for number theory.
- polymake, a tool for studying the combinatorics of convex polytopes and polyhedra.
- SAGE, an open-source mathematics software system with a Python-based interface.
- Singular, a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
- ZEN, a toolbox for fast computations in finite extensions over finite rings.