• LIESUPER

  • Referenced in 2 articles [sw15674]
  • symbolic computations in (free) Lie (super)algebras. For this purpose we will introduce ... liebracket, which satisfies the bilinearity and the (graded) skew-symmetry of the liebracket. Moreover...
  • Blaze

  • Referenced in 3 articles [sw33224]
  • Blaze C++ linear algebra library. Blaze is an open-source, high-performance C++ math library ... domain-specific language with HPC-grade performance, making it one of the most intuitive...
  • purityfiltration.lib

  • Referenced in 1 article [sw10991]
  • Purity Filtration of Modules over (Non-)commutative Algebras. Purity is a notion with several meanings ... homological grade number j_A(M) of a module M over an K-algebra...
  • mregular

  • Referenced in 4 articles [sw10947]
  • require the computation of a minimal graded free resolution of the ideal. It also determines ... Proceedings of MEGA-2000, J. Pure Appl. Algebra 164 (2001), and ’Saturation and Castelnuovo-Mumford...
  • reesclos.lib

  • Referenced in 1 article [sw31020]
  • using the Rees Algebra R[It] of I. It computes the integral closure ... which is a graded subalgebra of R[t]. The degree-k-component is the integral...
  • PencilsOfQuadrics

  • Referenced in 0 articles [sw36754]
  • center of the even Clifford algebra. Using a maximal linear subspace contained in the intersection ... Morita bundle that connects graded modules over the coordinate ring of the hyperelliptic curve ... modules over the even Clifford algebra. This leads to a proof of Reid’s theorem...
  • RTL

  • Referenced in 1 article [sw39354]
  • point clouds by geometric objects of higher grade and the LaTeX export module enabling automated ... uses the Eigen library as a linear algebra back-end, and is designed with high...
  • Bruns

  • Referenced in 1 article [sw27123]
  • general position arguments of the algebraic geometers. The ”Syzygy Theorem” of Evans and Griffiths (Syzygies ... field is conjecturally not necessary), or a graded module over a polynomial ring...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

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

  • Referenced in 21 articles [sw00078]
  • Clifford and Graßmann Hopf algebras via the BIGEBRA...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

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

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

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

  • Referenced in 313 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Gmsh

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

  • Referenced in 30 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

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