Mohamed Barakat Veröffentlichungen
Kontakt
Forschungsinteressen
Lebenslauf
Veröffentlichungen
Lehre

Software Projekte

: The homalg project. (2007-2014).
: The conley package. (2006-2008).
: The jets package. (2000-2008).

(Zentralblatt MATH, MathSciNet, Google Scholar, arXiv)

In Vorbereitung

2 Mohamed Barakat: Computations of unitary groups in characteristic 2. (in preparation).
1 Mohamed Barakat and Simon Görtzen: Simplicial Cohomology of Orbifolds Revisited. (in preparation).

Publikationen (referiert) und Preprints

22 Mohamed Barakat and Markus Lange-Hegermann: A constructive approach to the module of twisted global sections on relative projective spaces. Preprint, arXiv:1409.6100 (submitted).
21 Mohamed Barakat and Markus Lange-Hegermann: Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves. Preprint, arXiv:1409.2028 (submitted).
20 Takuro Abe, Mohamed Barakat, Michael Cuntz, Torsten Hoge, and Hiroaki Terao: The freeness of ideal subarrangements of Weyl arrangements. Journal of the Eur. Math. Soc. 18,6 (2016), 1339-1348.
19 Mohamed Barakat: On subdirect factors of a projective module and applications to system theory. Multidimensional Systems and Signal Processing 26,2 (2015), 339-348.
18 Mohamed Barakat and Markus Lange-Hegermann: On the Ext-computability of Serre quotient categories. Journal of Algebra 420 (2014), 333-349.
17 Mohamed Barakat and Markus Lange-Hegermann: Characterizing Serre quotients with no section functor and applications to coherent sheaves. Appl. Categor. Struct. 22,3 (2014), 457-466.
16 Mohamed Barakat and Markus Lange-Hegermann: On monads of exact reflective localizations of Abelian categories. Homology, Homotopy and Applications 15,2 (2013), 145-151.
15 Mohamed Barakat and Michael Cuntz: Coxeter and crystallographic arrangements are inductively free. Adv. Math. 229, no. 1 (2012), 691-709.
14 Mohamed Barakat and Markus Lange-Hegermann: An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization. J. Algebra Appl. 10, no. 2 (2011), 269-293.
13 Mohamed Barakat and Simon Görtzen: Simplicial cohomology of smooth orbifolds in GAP. Proceedings of the ICMS (Kobe, Japan), Lecture Notes in Computer Science 6327 (2010), 46-49.
12 Mohamed Barakat: Conley Index Theory. Proceedings of the MTNS (Budapest, Hungary) (2010), 1645-1651.
11 Mohamed Barakat: Purity Filtration and the Fine Structure of Autonomy. Proceedings of the MTNS (Budapest, Hungary) (2010), 1657-1661.
10 Mohamed Barakat: Spectral Filtrations via Generalized Morphisms. Preprint, arXiv:0904.0240 (submitted).
9 Mohamed Barakat and Stanislaus Maier-Paape: Computation of connection matrices using the software package conley. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 19, no. 9 (2009), 3033-3056.
8 Mohamed Barakat and Barbara Bremer: Higher Extension Modules and the Yoneda Product. Preprint, arXiv:math.KT/0802.3179 (submitted).
7 Mohamed Barakat and Daniel Robertz: conley: computing connection matrices in Maple. J. Symbolic Comput. 44, no. 5 (2009), 540-557.
6 Mohamed Barakat and Daniel Robertz: homalg - A Meta-Package for Homological Algebra. J. Algebra Appl. 7, no. 3 (2008), 299-317.
5 Mohamed Barakat and Daniel Robertz: Computing invariants of multidimensional linear systems on an abstract homological level. MTNS Proceedings, Kyoto, Japan (2006), 542-559.
4 Mohamed Barakat and Daniel Robertz: homalg: First steps to an abstract package for homological algebra. EACA Proceedings, Sevilla, Spain (2006), 29-32.
3 Mohamed Barakat: The existence of Cartan connections and geometrizable principal bundles. Arch. Math. 83, no. 2 (2004), 159-163.
2 Mohamed Barakat: jets. A MAPLE-package for formal differential geometry. Computer algebra in scientific computing, (EACA Konstanz), Springer, Berlin (2001), 1-12.
1 Mohamed Barakat and Martin Oberlack: Reduction and long time behaviour of homogeneous turbulence under spatially constant mean-velocity gradient. Advances in turbulence VIII: Proc. of the 8th European Turbulence Conference, Barcelona, Spain (2000), 865-868.

Nicht referierte Publikationen

6 Mohamed Barakat, Max Horn, Frank Lübeck, Oleksandr Motsak, Max Neunhöffer, Hans Schönemann: The GAP package SingularInterface. (submitted to Computeralgebra-Rundbrief) (2014), 1-4.
5 Mohamed Barakat: Computations of unitary groups in characteristic 2. (for J.-P. Serre) (2013), (http://www.mathematik.uni-kl.de/~barakat/__for_JP_Serre/UnitaryGroup.pdf).
4 Mohamed Barakat: Computing Ext in Serre quotient categories. Mini-Workshop: Algebraic and Analytic Techniques for Polynomial Vector Fields, MFO report no. 57 (2013), 19-21.
3 Mohamed Barakat and Markus Lange-Hegermann: The homalg project. Computeralgebra Rundbrief (2012), 6-9.
2 Mohamed Barakat: Jet groupoids and the invariance of geometric structures. Mini-Workshop: Algebraic and Analytic Techniques for Polynomial Vector Fields, MFO report no. 57 (2010), 19-21.
1 Mohamed Barakat: Spectral Sequences and Effective Computations. Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra, MFO report no. 50 (2009), 7-12.

Diplomarbeit

Mohamed Barakat: Pro-nilpotente Lie Algebren. Lehrstuhl B für Mathematik, RWTH-Aachen University (1997).

Doktorarbeit

Mohamed Barakat: Functional Spaces. A Direct Approach. RWTH-Aachen University (2002).

Habilitationsschrift

Mohamed Barakat: The Homomorphism Theorem and Effective Computations. RWTH-Aachen University (2009).
Universität KaiserslauternFachbereich MathematikAG Algebra, Geometrie und Computeralgebra CAS Singular KIS