CAP
From MaRDI portal
Software:39639
swMATH27925MaRDI QIDQ39639FDOQ39639
Author name not available (Why is that?)
Source code repository: https://github.com/homalg-project/CAP_project
Cited In (9)
- Closing the category of finitely presented functors under images made constructive
- Constructing equivariant vector bundles via the BGG correspondence
- 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
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
- A constructive approach to Freyd categories
- Methods of constructive category theory
- On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture
This page was built for software: CAP
