homalg

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

Described by source

• homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA

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