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.

Databases and data

• 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.

Centres for computational algebra

• CAIN, the Computer Algebra Information Network.
• KANT Group, Computational Algebraic Number Theory research group.
• RICAM, the Johann Radon Institute for Computational and Applied Mathematics.

Other systems

• 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.