
CodepthThree
 Referenced in 4 articles
[sw12131]
 algebra structure on Tor * Q (R,k) provides for a classification of such local rings ... classifying a local ring as above by computation of a few cohomological invariants...

gmspoly.lib
 Referenced in 1 article
[sw31083]
 computing the GaussManin system of a cohomologically tame polynomial f. Schulze’s algorithm [Sch05 ... considered as an affine algebraic analogue of local analytic isolated hypersurface singularities. They have only ... like tameness, Mtameness, Malgrangetameness, and cohomological tameness, and their relations, are reviewed...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

FLINT
 Referenced in 55 articles
[sw00297]
 Fast library for number theory: an introduction. We...

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

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

Gmsh
 Referenced in 627 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Kronecker
 Referenced in 113 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LSQR
 Referenced in 368 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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

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

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

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

MuPAD
 Referenced in 138 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

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

NTL
 Referenced in 206 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

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