• Macaulay2

  • Referenced in 1904 articles [sw00537]
  • powerful debugger supporting the creation of new classes of mathematical objects and the installation ... them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary...
  • Mod-p group cohomology

  • Referenced in 8 articles [sw08638]
  • groups. It yields minimal presentations of the cohomology rings, can compute various ring invariants (Poincaré ... essential classes. It provided the first complete computation of the mod-2 cohomology rings...
  • fakequadrics

  • Referenced in 6 articles [sw34706]
  • Commensurability classes of fake quadrics. A fake quadric is a smooth projective surface that ... same rational cohomology as a smooth quadric surface but is not biholomorphic ... irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this...
  • Maple-flag-cohomology

  • Referenced in 4 articles [sw31745]
  • calculus} is to study the T-equivariant cohomology H∗T(G/T) with regard ... structure constants for the product of Schubert classes. The algorithm is implemented in Maple...
  • HilbK3

  • Referenced in 2 articles [sw14934]
  • study cup products in the integral cohomology of the Hilbert scheme of n points ... deal with the question of which classes can be represented by products of lower degrees...
  • PurityFiltration

  • Referenced in 10 articles [sw07656]
  • complexes, spectral sequences, associated cohomology, or Spencer cohomology used in the literature of algebraic analysis ... original linear system. In particular, many classes of underdetermined/overdetermined linear systems of partial differential equations...
  • AXIOM

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

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

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

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Kronecker

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

  • Referenced in 53 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA...
  • LinBox

  • Referenced in 41 articles [sw00522]
  • LinBox: A Generic Library for Exact Linear Algebra...
  • Magma

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

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

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

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

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

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