swMATH27925MaRDI QIDQ39639FDOQ39639
Author name not available (Why is that?)
Official website: https://homalg-project.github.io/CAP_project/
Source code repository: https://github.com/homalg-project/CAP_project
Cited In (23)
- Closing the category of finitely presented functors under images made constructive
- Methods of constructive category theory
- Constructing equivariant vector bundles via the BGG correspondence
- On the generation of rank 3 simple matroids with an application to Terao's freeness conjecture
- Linear systems over localizations of rings
- Gauge backgrounds and zero-mode counting in F-theory
- alcove
- Locales
- 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
- homalg
- cohomCalg
- PurityFiltration
- LocalizeRingForHomalg
- A constructive approach to Freyd categories
- olga.lib
- GeneralizedMorphismsForCAP
- LinearAlgebraForCAP
- ModulePresentationsForCAP
- Stacks Project
- FreydCategoriesForCAP
- ArangoDB
- ZariskiFrames
This page was built for software: CAP
