
GENOM3CK
 Referenced in 2 articles
[sw07655]
 algebraic link) of each singularity, the Alexander polynomial of each algebraic link, the deltainvariant...

KnotTwister
 Referenced in 1 article
[sw34526]
 fundamental groups and computes twisted Alexander polynomials. These are used to give lower bounds ... obstructions. Furthermore it now computes twisted Alexander polynomials of knots which are isotopy invariants. Some...

Homfly
 Referenced in 2 articles
[sw14573]
 Homfly polynomial, as a matrix of coefficients, and also calculations of Alexander, Conway and Jones ... before recompiling. The program itself handles the polynomial coefficients of an element of the Hecke...

CASA
 Referenced in 111 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 3222 articles
[sw00320]
 GAP is a system for computational discrete algebra...

KnotPlot
 Referenced in 29 articles
[sw00491]
 KnotPlot is a program to visualize and manipulate...

Macaulay2
 Referenced in 1963 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3366 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5408 articles
[sw00545]
 The result of over 30 years of cutting...

Mathemagix
 Referenced in 43 articles
[sw00553]
 Mathemagix: Towards large scale programming for symbolic and...

Mathematica
 Referenced in 6458 articles
[sw00554]
 Almost any workflow involves computing results, and that...

MultRoot
 Referenced in 100 articles
[sw00604]
 Algorithm 835: MultRoot  a Matlab package for computing...

PARI/GP
 Referenced in 655 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

PolyBoRi
 Referenced in 49 articles
[sw00723]
 Polybori: A framework for Gröbnerbasis computations with...

SageMath
 Referenced in 2047 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1523 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

BERGMAN
 Referenced in 35 articles
[sw02980]
 Problems in interaction with the computer algebra system...

MIPLIB
 Referenced in 334 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

GLOBALLib
 Referenced in 32 articles
[sw04653]
 GLOBALLib is a collection of Nonlinear Programming models...