Cited in
(23)- Closing the category of finitely presented functors under images made constructive
- Constructing equivariant vector bundles via the BGG correspondence
- Methods of constructive category theory
- 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
- Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture
- homalg
- cohomCalg
- PurityFiltration
- LocalizeRingForHomalg
- olga.lib
- GeneralizedMorphismsForCAP
- LinearAlgebraForCAP
- ModulePresentationsForCAP
- Stacks Project
- FreydCategoriesForCAP
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
- A constructive approach to Freyd categories
- alcove
- Locales
- ArangoDB
- ZariskiFrames
This page was built for software: CAP
