Logo des Repositoriums

Auflistung nach Autor:in "Barakat, Mohamed"

1 - 4 von 4
  • Zeitschriftenartikel
    The GAP package SingularInterface
    (Computeralgebra-Rundbrief: Vol. 55, 2014) Barakat, Mohamed; Horn, Max; Lübeck, Frank; Motsak, O.; Neunhöffer, M.; Schönemann, Hannes
  • Zeitschriftenartikel
    The homalg project
    (Computeralgebra-Rundbrief: Vol. 26, No. 2, 2012) Barakat, Mohamed; Lange-Hegermann, Markus
    Mohamed Barakat, Markus Lange-Hegermann (TU Kaiserslautern, RWTH-Aachen) barakat@mathematik.uni-kl.de markus.lange.hegermann@rwth-aachen.de filtration, etc. We use these properties in applications to algebraic system theory, an ongoing work with Q UADRAT and C LUZEAU. Building on this infrastructure the project supports applications to algebraic geometry. This includes a constructive version of the BGGcorrespondence, TATE resolutions of coherent sheaves on projective schemes, their characteristic classes and cohomology, higher direct images under morphisms to affine spaces, divisors, etc. Recently, G UTSCHE contributed a package for toric varieties.
  • Zeitschriftenartikel
    The homalg project
    (Computeralgebra-Rundbrief: Vol. 51, 2012) Barakat, Mohamed; Lange-Hegermann, Markus
  • Zeitschriftenartikel
    Investigating Terao’s freeness conjecture with computer algebra
    (Computeralgebra-Rundbrief: Vol. 68, 2021) Barakat, Mohamed; Kühne, Lukas