(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.