
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...

Modp 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 mod2 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...

Mapleflagcohomology
 Referenced in 4 articles
[sw31745]
 calculus} is to study the Tequivariant 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 highlevel 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...