mohamed-barakat
Professor of Mathematics. Research: Algorithmic aspects of category theory, homological algebra, algebraic geometry & their computer algebra implementation.
University of SiegenSiegen
Pinned Repositories
CAP_project
CAP project -- Categories, Algorithms, and Programming
CapAndHomalg.jl
The CAP and homalg projects compatibility package for Julia
CapAndHomalgNotebooks
CAP and homalg based packages
CategoricalTowers
Towers of category constructors
homalg_project
Deposited packages of the homalg project
MatroidGeneration
Generate low-rank matroids
AbelianSystems
A homalg based package for systems over computable Abelian categories
Adelman.jl
mohamed-barakat's Repositories
mohamed-barakat/MotivesForBiArrangements
Orlik-Solomon bicomplexes for bi-arrangements
mohamed-barakat/Adelman.jl
mohamed-barakat/alcove
Algebraic combinatorics package for GAP
mohamed-barakat/alexander
Simplicial Homology and Cohomology
mohamed-barakat/ArangoDBInterface
An interface to ArangoDB
mohamed-barakat/CAP_project
Repository for all packages of the CAP project
mohamed-barakat/CAP_project.jl
mohamed-barakat/CapAndHomalg.jl
The CAP and homalg projects compatibility package for Julia
mohamed-barakat/CategoricalTowers
Towers of category constructors
mohamed-barakat/CddInterface
Gap Interface to Cdd
mohamed-barakat/D-Modules
A homalg based package for D-Modules and special injective cogenerators
mohamed-barakat/FinGSetsForCAP
The elementary topos of skeletal finite G-sets
mohamed-barakat/FinSetsForCAP
The elementary topos of finite sets
mohamed-barakat/HeckeCategories
Categorification of Hecke algebras
mohamed-barakat/HigherHomologicalAlgebra
A collection of gap packages for categorical homological algebra with special focus on homotopy categories and derived equivalences
mohamed-barakat/homalg_project
Deposited packages of the homalg project
mohamed-barakat/homalg_starter
A fast starter for the homalg project
mohamed-barakat/HomalgProject.jl
The homalg project compatibility package for Julia
mohamed-barakat/LessGenerators
Find smaller generating sets for modules
mohamed-barakat/LoopIntegrals
Compute master integrals using commutative and noncommutative methods from computational algebraic geometry
mohamed-barakat/MatricesForHomalg.jl
Matrices for the homalg project
mohamed-barakat/MatroidGeneration
Generate low-rank matroids
mohamed-barakat/OscarForHomalg
A homalg interface to OSCAR (Singular/Nemo/AbstractAlgebra/Hecke) using JuliaInterface
mohamed-barakat/PackageJanitor
mohamed-barakat/ParallelizedIterators
Parallely evaluating recursive iterators
mohamed-barakat/PrimaryDecomposition
Tools for primary decomposition
mohamed-barakat/QPA2
mohamed-barakat/Sheaves
A homalg based package for coherent sheaves
mohamed-barakat/VirtualCAS
mohamed-barakat/ZXCalculusForCAP
An implementation of the category of ZX-diagrams in CAP