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