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
- 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
- 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
This page was built for software: CAP
