Name: Mohamed Barakat
Type: User
Company: University of Siegen
Bio: Professor of Mathematics. Research: Algorithmic aspects of
category theory, homological algebra, algebraic geometry & their computer algebra implementation.
Twitter: math_barakat
Location: Siegen
Blog: https://mohamed-barakat.github.io/
Mohamed Barakat's Projects
A homalg based package for systems over computable Abelian categories
Algebraic combinatorics package for GAP
Simplicial Homology and Cohomology
Algebraic Thomas decomposition
An interface to ArangoDB
A GAP Package to produce documentations.
Tools for block theory
A GAP package for Boij Soederberg theory
Repository for all packages of the CAP project
The CAP and homalg projects compatibility package for Julia
CAP and homalg based packages
Towers of category constructors
Gap Interface to Cdd
Combinatorics for the homalg project
A homalg based package for Conley Index Theory
A homalg based package for D-Modules and special injective cogenerators
A Gap/CAP package to create derived categories
A Jekyll version of the beautiful Docsy!
The elementary topos of skeletal finite G-sets
Finite topologies as locales
The elementary topos of finite sets
GAP packages for Julia integration
Categorification of Hecke algebras
A collection of gap packages for categorical homological algebra with special focus on homotopy categories and derived equivalences
Deposited packages of the homalg project
A fast starter for the homalg project
Scripts for gathering statistics of the homalg-project
The homalg project compatibility package for Julia