CAP

MaRDI QIDQ39639swMATHFDO

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
• 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