
CodepthThree
 Referenced in 4 articles
[sw12131]
 Local rings of embedding codepth 3: a classification algorithm ... ideal of a regular local ring Q with residue field k. The length...

ChainComplexOperations
 Referenced in 1 article
[sw28278]
 module of codimension c over a regular local ring S, then ... least 2c. Walker’s proof works for rings where 2 is invertible, and in this ... complexes. 2) If S is a regular local ring of dimension d with residue field...

Bruns
 Referenced in 1 article
[sw27123]
 module M over a regular local ring S containing a field (the field is conjecturally...

graal.lib
 Referenced in 1 article
[sw13975]
 ring and lifting the result to the localization afterwards. Features include a check for regularity...

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

ACL2
 Referenced in 274 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

Coq
 Referenced in 1751 articles
[sw00161]
 Coq is a formal proof management system. It...

dpgb
 Referenced in 16 articles
[sw00217]
 Improving the DISPGB algorithm using the discriminant ideal...

FGb
 Referenced in 234 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

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

HSL
 Referenced in 265 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Isabelle
 Referenced in 598 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

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