The following pages link to CAP (Q39639):
Displaying 8 items.
- Linear systems over localizations of rings (Q1650744) (← links)
- Gauge backgrounds and zero-mode counting in F-theory (Q1706896) (← links)
- Constructing equivariant vector bundles via the BGG correspondence (Q1994121) (← links)
- A constructive approach to Freyd categories (Q2035866) (← links)
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties (Q5018379) (← links)
- Methods of constructive category theory (Q5043423) (← links)
- Closing the category of finitely presented functors under images made constructive (Q5087653) (← links)
- Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture (Q5879126) (← links)
