
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 1 article
[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 101 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

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

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

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

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

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

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

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

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

PolyBoRi
 Referenced in 48 articles
[sw00723]
 This work presents a new framework for Gröbner...

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

SINGULAR
 Referenced in 1441 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 317 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

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