GAP package LinearAlgebraForCAP. LinearAlgebraForCAP provides a skeletal model of the category of finite dimensional vector spaces over a computable field.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Barakat, Mohamed; Behrends, Reimer; Jefferson, Christopher; Kühne, Lukas; Leuner, Martin: On the generation of rank 3 simple matroids with an application to Terao’s freeness conjecture (2021)
- Posur, Sebastian: A constructive approach to Freyd categories (2021)
- Posur, Sebastian: Linear systems over localizations of rings (2018)
- Bies, Martin; Mayrhofer, Christoph; Weigand, Timo: Gauge backgrounds and zero-mode counting in F-theory (2017)