
RedHom
 Referenced in 12 articles
[sw08776]
 elementary reductions and coreductions and discrete Morse theory. Reduction methods are applied to speed ... used to compute Betti numbers, torsion coefficients, homology generators, persistence intervals and maps induced...

OreAlgebraicAnalysis
 Referenced in 4 articles
[sw15153]
 purely algebraic viewpoint, using Dmodule theory and homological algebra techniques. The different types ... deciding moduletheoretic properties, such as torsionfreeness, reflexivity, projectiveness, freeness, and (3) algorithms from ... packages by means of examples from control theory. Joint work with Alban Quadrat, Maris Tonso...

GammaMaP
 Referenced in 2 articles
[sw28384]
 general and flexible. As examples, we reproduce torsion conditions for AdS3 compactification of type ... variations of 10dimensional supersymmetric YangMills theory...

ANSYS
 Referenced in 666 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

homalg
 Referenced in 30 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

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

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

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

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

Matlab
 Referenced in 12640 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

nauty
 Referenced in 575 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Normaliz
 Referenced in 154 articles
[sw00630]
 Normaliz is a tool for computations in affine...

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

PLTMG
 Referenced in 215 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...

RCWA
 Referenced in 6 articles
[sw00786]
 RCWA is a package for GAP 4. It...