• ACUOS2

  • Referenced in 9 articles [sw31984]
  • combination of associativity (A), commutativity (C), and unity (U) algebraic axioms is finitary. However, existing...
  • ToricVarieties

  • Referenced in 2 articles [sw20307]
  • handle toric varieties by their commutative algebra structure and by their combinatorics. For combinatorics...
  • 3BA

  • Referenced in 2 articles [sw25685]
  • coming from different areas such as commutative algebra, SAT or SMT, that can be used...
  • Adinkra.m

  • Referenced in 2 articles [sw29074]
  • tensor supermultiplet. The commutator algebra of the other two supersymmetries are still found...
  • NCPOLY

  • Referenced in 6 articles [sw13518]
  • objects under a non–commutative multiplication, where commutator relations must be introduced explicitly by rule ... environment for computing in an algebra where the non–commutativity is defined by Lie-bracket...
  • Chordality

  • Referenced in 1 article [sw20560]
  • most important objects in combinatorial commutative algebra. The algebraic importance of chordal graphs is twofolds ... that, by using Alexander duality, the algebraic mechanism behind chordal graphs is quite rich ... power of chordal graphs in combinatorial commutative algebra...
  • ZpL

  • Referenced in 1 article [sw35033]
  • sample of examples coming from linear algebra, commutative algebra and differential equations...
  • SUPERCALC

  • Referenced in 6 articles [sw00928]
  • calculations. Nature of problem: Symbolic computation of commutators, handling of ordered products, evaluation of infinite ... Solution method: Using the algebraic properties of bracket structures, the commutator (or Poisson bracket...
  • m2r

  • Referenced in 1 article [sw20712]
  • algebraic statistics, which brings tools from commutative algebra and algebraic geometry to bear on statistical...
  • DoCon

  • Referenced in 1 article [sw26352]
  • recently a good-sized piece of commutative algebra. One of the project aims...
  • NCSOStools

  • Referenced in 17 articles [sw06920]
  • NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials. NCSOStools ... solving sum of Hermitian squares (with commutators) programs for polynomials in NC variables...
  • homolog.lib

  • Referenced in 1 article [sw26614]
  • SINGULAR Commut. algebra: homolog.lib Exti, Massey-products, versal deformation of modules...
  • Bruns

  • Referenced in 1 article [sw27123]
  • freie Auflösung eines drei-Erzeugenden Ideals (J. Algebra 39 (1976), no. 2, 429-439), shows ... theory of ”basic elements”, a commutative algebra version of the general position arguments...
  • purityfiltration.lib

  • Referenced in 1 article [sw10991]
  • Purity Filtration of Modules over (Non-)commutative Algebras. Purity is a notion with several meanings...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • intersection of (some) graded structures of commutative algebra and computing the stratification of linear actions...
  • ArtinAlgebras

  • Referenced in 1 article [sw26629]
  • This package contains functions for handling commutative algebras over fields (e.g. matrix algebras), such...
  • TangentCone

  • Referenced in 1 article [sw31576]
  • Proposition 15.28 in the book ”Commutative Algebra with a View Toward Algebraic Geometry”, by David...
  • Congruence

  • Referenced in 2 articles [sw08632]
  • rationals or a non-commutative division algebra, in its rational group algebra...
  • JAS

  • Referenced in 15 articles [sw05877]
  • designed software library using generic types for algebraic computations implemented in the Java programming language ... focus at the moment is on commutative and solvable polynomials, power-series, multivariate polynomial factorization...