• 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 Gauss-Manin system of a cohomologically tame polynomial f. Schulze’s algorithm [Sch05 ... Sabbah’s theory [Sab98], is used to compute a good basis of (the Brieskorn lattice ... considered as an affine algebraic analogue of local analytic isolated hypersurface singularities. They have only ... cohomology of the Milnor (typical) fibre (see gmssing.lib). The data computed by this library encodes...
  • AXIOM

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • 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...
  • 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...
  • Gmsh

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

  • Referenced in 105 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LSQR

  • Referenced in 343 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • 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...
  • Maple

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

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MuPAD

  • Referenced in 137 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • Normaliz

  • Referenced in 143 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • NTL

  • Referenced in 194 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • PARI/GP

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

  • Referenced in 280 articles [sw00724]
  • polymake is open source software for research in...