swMATH411MaRDI QIDQ13171FDOQ13171
Author name not available (Why is that?)
Official website: http://homalg-project.github.io/
Source code repository: https://github.com/homalg-project/homalg_project
Cited In (84)
- alcove
- Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
- 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
- The \textsc{SDEval} benchmarking toolkit
- Recent progress in an algebraic analysis approach to linear systems
- 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
- Current challenges in developing open source computer algebra systems
- Gauge backgrounds and zero-mode counting in F-theory
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
- Locales
- Almost direct sum decomposition and implementation of 2D behaviors
- On the ext-computability of Serre quotient categories
- Ginv
- numericalsgps
- SINGULAR
- ALLTYPES
- SymbolicData
- OreModules
- PoCaB
- NumericalSemigroupsWithGenus
- Title not available (Why is that?)
- Formal algorithmic elimination for PDEs
- 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
- LocalizeRingForHomalg
- numericalsgps, a GAP package for numerical semigroups
- On subdirect factors of a projective module and applications to system theory.
- A constructive approach to Freyd categories
- Grade filtration of linear functional systems.
- 4ti2gap
- 4ti2interface
- singular
- olga.lib
- NormalizInterface
- BGG
- CAP
- GeneralizedMorphismsForCAP
- LinearAlgebraForCAP
- MatricesForHomalg
- ModulePresentationsForCAP
- Stacks Project
- Letterplace
- Letterplace
- Ncpoly
- FreydCategoriesForCAP
- ArangoDB
- ZariskiFrames
- conley: Computing connection matrices in Maple
- Purity filtration and the fine structure of autonomy.
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- Simplicial blowups and discrete normal surfaces in \textsf{simpcomp}
- Formalized linear algebra over elementary divisor rings in \textsc{Coq}
- Title not available (Why is that?)
- Computation of free non-commutative gröbner bases over Z with Singular:Letterplace
This page was built for software: homalg
