homalg
From MaRDI portal
Homalg
Cited in
(87)- Computation of free non-commutative gröbner bases over Z with Singular:Letterplace
- A constructive study of the module structure of rings of partial differential operators.
- An Overview of the Computational Aspects of Nonunique Factorization Invariants
- Factoring and decomposing a class of linear functional systems
- Recent progress in an algebraic analysis approach to linear systems
- The \textsc{SDEval} benchmarking toolkit
- On the generation of rank 3 simple matroids with an application to Terao's freeness conjecture
- Coxeter and crystallographic arrangements are inductively free
- Linear systems over localizations of rings
- Gauge backgrounds and zero-mode counting in F-theory
- Current challenges in developing open source computer algebra systems
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
- Almost direct sum decomposition and implementation of 2D behaviors
- Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture
- conley
- Ginv
- numericalsgps
- Plural
- SINGULAR
- ALLTYPES
- CoqEAL
- SymbolicData
- OreModules
- PoCaB
- NumericalSemigroupsWithGenus
- GBNP
- PurityFiltration
- Janet
- a-tint
- D-modules
- DifferentialThomas
- QuillenSuslin
- Jets
- alexander
- JanetOre
- primdec
- purityfiltration.lib
- resolve.lib
- LocalizeRingForHomalg
- AlgebraicThomas
- OreMorphisms
- Sheaves
- InvolutiveBases
- SDeval
- gitfan.lib
- locnormal.lib
- modnormal.lib
- normal.lib
- paraplanecurves.lib
- parallel.lib
- polymake.so
- NCGB
- On the ext-computability of Serre quotient categories
- 4ti2gap
- 4ti2interface
- singular
- olga.lib
- NormalizInterface
- BGG
- CAP
- GeneralizedMorphismsForCAP
- LinearAlgebraForCAP
- MatricesForHomalg
- ModulePresentationsForCAP
- Stacks Project
- Letterplace
- Ncpoly
- FreydCategoriesForCAP
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
- Formal algorithmic elimination for PDEs
- On subdirect factors of a projective module and applications to system theory.
- scientific article; zbMATH DE number 5222433 (Why is no real title available?)
- Grade filtration of linear functional systems.
- LocalizeRingForHomalg
- A constructive approach to Freyd categories
- numericalsgps, a GAP package for numerical semigroups
- alcove
- Letterplace
- conley: Computing connection matrices in Maple
- Locales
- ArangoDB
- ZariskiFrames
- Purity filtration and the fine structure of autonomy.
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- scientific article; zbMATH DE number 5901504 (Why is no real title available?)
- Simplicial blowups and discrete normal surfaces in \textsf{simpcomp}
- Formalized linear algebra over elementary divisor rings in \textsc{Coq}
This page was built for software: homalg
