• CoCoA

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

  • Referenced in 7 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 non-minimal) free resolutions of such curves by an iterated...
  • AXIOM

  • Referenced in 153 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 216 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoALib

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

  • Referenced in 1195 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

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

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

  • Referenced in 1833 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HSL

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

  • Referenced in 398 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1257 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

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

  • Referenced in 1023 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 3988 articles [sw00545]
  • The result of over 30 years of cutting...