-
CoCoA
- Referenced in 554 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1418 articles
[sw00161]
- Coq is a formal proof management system. It...
-
GAP
- Referenced in 2336 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
Macaulay2
- Referenced in 1294 articles
[sw00537]
- Macaulay2 is a software system devoted to supporting...
-
Magma
- Referenced in 2262 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 4374 articles
[sw00545]
- The result of over 30 years of cutting...
-
Normaliz
- Referenced in 119 articles
[sw00630]
- Normaliz is a tool for computations in affine...
-
PARI/GP
- Referenced in 461 articles
[sw00680]
- PARI/GP is a widely used Computer Algebra System...
-
SageMath
- Referenced in 1198 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
SINGULAR
- Referenced in 1162 articles
[sw00866]
- SINGULAR is a Computer Algebra system (CAS) for...
-
wedderga
- Referenced in 12 articles
[sw01019]
- GAP package Wedderga: Wedderburn Decomposition of Group Algebras...
-
PBGL
- Referenced in 7 articles
[sw04182]
- The Parallel Boost Graph Library: A Generic C...
-
combinat
- Referenced in 7 articles
[sw04521]
- R package combinat: combinatorics utilities , routines for combinatorics...
-
DLMF
- Referenced in 1331 articles
[sw04968]
- NIST digital library of mathematical functions. The National...
-
ApCoCoA
- Referenced in 17 articles
[sw06344]
- ApCoCoA, which is the acronym of Applied Computations...
-
SnapPea
- Referenced in 138 articles
[sw06873]
- A program for creating and studying hyperbolic 3...
-
OEIS
- Referenced in 2698 articles
[sw07248]
- The On-Line Encyclopedia of Integer Sequence. The...
-
LMFDB
- Referenced in 44 articles
[sw07249]
- Welcome to the LMFDB, the database of L...
-
TomLib
- Referenced in 3 articles
[sw07718]
- The GAP Table of Marks Library TomLib. The...
-
algcurves
- Referenced in 9 articles
[sw09188]
- Maple: The algcurves package offers tools for studying...