
CoCoA
 Referenced in 537 articles
[sw00143]
 readily compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical...

PieriMaps
 Referenced in 9 articles
[sw12137]
 describe a software package for constructing minimal free resolutions of graded GL n (ℚ)equivariant...

CodepthThree
 Referenced in 2 articles
[sw12131]
 field k. The length of the minimal free resolution of R=Q/I is called...

mregular
 Referenced in 3 articles
[sw10947]
 require the computation of a minimal graded free resolution of the ideal. It also determines...

RelativeCanonicalResolution
 Referenced in 1 article
[sw15390]
 normalized scroll and compute the relative canonical resolution. The construction of these curves is based ... provide functions to compute (possibly nonminimal) free resolutions of such curves by an iterated...

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

BARON
 Referenced in 240 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoALib
 Referenced in 31 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

CSDP
 Referenced in 171 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

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

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

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

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

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

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

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

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