-
CoCoA
- Referenced in 631 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1807 articles
[sw00161]
- Coq is a formal proof management system. It...
-
GAP
- Referenced in 2876 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
Macaulay2
- Referenced in 1692 articles
[sw00537]
- Macaulay2 is a software system devoted to supporting...
-
Magma
- Referenced in 2917 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 5124 articles
[sw00545]
- The result of over 30 years of cutting...
-
Normaliz
- Referenced in 151 articles
[sw00630]
- Normaliz is a tool for computations in affine...
-
PARI/GP
- Referenced in 595 articles
[sw00680]
- PARI/GP is a widely used Computer Algebra System...
-
SageMath
- Referenced in 1675 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
SINGULAR
- Referenced in 1408 articles
[sw00866]
- SINGULAR is a Computer Algebra system (CAS) for...
-
wedderga
- Referenced in 13 articles
[sw01019]
- GAP package Wedderga: Wedderburn Decomposition of Group Algebras...
-
Ada95
- Referenced in 289 articles
[sw01753]
- Ada is a structured, statically typed, imperative, wide...
-
PBGL
- Referenced in 8 articles
[sw04182]
- The Parallel Boost Graph Library: A Generic C...
-
combinat
- Referenced in 9 articles
[sw04521]
- R package combinat: combinatorics utilities , routines for combinatorics...
-
HAP
- Referenced in 38 articles
[sw04870]
- HAP is a homological algebra library for use...
-
DLMF
- Referenced in 2331 articles
[sw04968]
- NIST digital library of mathematical functions. The National...
-
ApCoCoA
- Referenced in 26 articles
[sw06344]
- ApCoCoA, which is the acronym of Applied Computations...
-
SnapPea
- Referenced in 158 articles
[sw06873]
- A program for creating and studying hyperbolic 3...
-
OEIS
- Referenced in 3479 articles
[sw07248]
- The On-Line Encyclopedia of Integer Sequence. The...
-
TomLib
- Referenced in 4 articles
[sw07718]
- The GAP Table of Marks Library TomLib. The...